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

Annotation Interface AinferParent

@SubtypeOf(AinferDefaultType.class) @Target({TYPE_USE,TYPE_PARAMETER}) public @interface AinferParent
Toy type system for testing field inference.
See Also: