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