@TypeQualifier @SubtypeOf(value={}) @DefaultFor(value={LOCAL_VARIABLE,RESOURCE_VARIABLE}) @Documented @Retention(value=RUNTIME) @Target(value={}) public @interface FenumTop
This annotation may not be written in source code; it is an implementation detail of the checker.