[JSR308] annotation for wildcard types

[Neal Gafter]

> to support contravariant subtyping. It is tempting to
> think of +/- are variance annotations.


They are variance annotations, but not in the sense of JSR175 annotations.
The variance/wildcard syntax affects the type system and static semantics of
the language, which is something that annotations simply do not do.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.csail.mit.edu/pipermail/jsr308/attachments/20070201/c67084dd/attachment.htm