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

Annotation Interface AinferSibling1

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