Package org.checkerframework.framework.testchecker.supportedquals.qual

Annotation Interface BottomQualifier

@SubtypeOf(Qualifier.class)
@Target({TYPE_USE,TYPE_PARAMETER})
@TargetLocations({LOWER_BOUND,UPPER_BOUND})
public @interface BottomQualifier