Package org.checkerframework.checker.testchecker.ainfer.qual

Annotation Interface AinferToIgnore

@IgnoreInWholeProgramInference public @interface AinferToIgnore
Toy type system for testing field inference.
See Also: