NoDefaultQualifierForUse (checker-framework 3.39.0-eisop1 API)

```
@Documented
@Retention(RUNTIME)
@Target(TYPE)
public @interface NoDefaultQualifierForUse
```
Declaration annotation applied to type declarations to specify that the annotation on the type declaration should not be applied to unannotated uses of the type. Instead, another default should be applied based on the location of the type or some other defaulting rule.

See the Checker Framework Manual:
Debugging Options

Optional Element Summary

Optional Elements
Modifier and Type	Optional Element	Description
`java.lang.Class<? extends java.lang.annotation.Annotation>[]`	`value`	Top qualifier in hierarchies for which no default annotation for use should be applied.

- Element Detail
  - value
```
java.lang.Class<? extends java.lang.annotation.Annotation>[] value
```
    Top qualifier in hierarchies for which no default annotation for use should be applied.
    
    Default:
    
    {}