Package org.checkerframework.checker.testchecker.disbaruse.qual

Annotation Interface DisbarUseTop

@Target(TYPE_USE)
@SubtypeOf({})
@DefaultQualifierInHierarchy
public @interface DisbarUseTop