To specify that all objects of a given type are interned, annotate the class declaration:
public @Interned class MyInternedClass { ... }
This is equivalent to annotating every use of MyInternedClass, in a declaration or elsewhere. For
example, enum classes are implicitly so annotated.
org.checkerframework.checker.interning.InterningChecker