Annotation Interface MaybeLeaked

Temporary type qualifier:

This is the default type qualifier for the Leaked hierarchy.

Once the stub parser gets updated to read non-type-qualifier annotations on stub files (Issue 383), this annotation can be removed, and NonLeaked and LeakedToResult can be made to be type annotations but not type qualifiers and not in a type hierarchy.

See the Checker Framework Manual:
Aliasing Checker