A special annotation intended solely for representing an unqualified type in the qualifier hierarchy, as an argument to SubtypeOf#value(), in a type qualifier declaration.

This annotation may not be written in source code; it is an implementation detail of the checker.

Use this qualifier only when experimenting with very simple type systems. For any more realistic type systems, introduce a top and bottom qualifier that gets stored in bytecode.