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

Annotation Interface DisbarUseBottom

@DefaultFor(LOWER_BOUND)
@SubtypeOf(DisbarUseTop.class)
@Target(TYPE_USE)
public @interface DisbarUseBottom