@TypeQualifier @SubtypeOf(value={}) @Target(value={}) public @interface Bottom
TreeAnnotator.addTreeKind(com.sun.source.tree.Tree.Kind, javax.lang.model.element.AnnotationMirror)
to
add implicit annotations and needs to manually add the bottom qualifier to the
qualifier hierarchy.
This annotation may not be written in source code; it is an implementation detail of the checker.