Annotation Interface PolyInterned


A polymorphic qualifier for the Interning type system.

Any method written using @PolyInterned conceptually has two versions: one in which every instance of @PolyInterned has been replaced by @Interned, and one in which every instance of @PolyInterned has been erased.

See the Checker Framework Manual:
Interning Checker, Qualifier polymorphism