@TypeQualifier @InvisibleQualifier @SubtypeOf(value={Regex.class,PartialRegex.class}) @Target(value={}) public @interface RegexBottom
This annotation may not be written in source code; it is an implementation detail of the checker.