checkers.util.test
Annotation Type WarskiQual

@TypeQualifier
@SubtypeOf(value={})
@Retention(value=RUNTIME)
@Target(value={FIELD,LOCAL_VARIABLE,METHOD,PARAMETER,TYPE})
public @interface WarskiQual

Example from Adam Warski. The Checker Framework should issue an error message of some sort, because the code is malformed: it should use @SubtypeOf({Unqualified.java}) rather than