Type Annotations RI update

Werner Dietl wdietl at gmail.com
Sun Feb 3 23:58:14 PST 2013

- I diagnosed and fixed a problem with annotations in array component
and inner type positions: they ARRAY or INNER_TYPE tag was repeated
for each occurring annotation - leading to wrong type positions.
The fix is here:


It would be great if SQE could add a combo-test for more syntactic locations.

I fixed two other small issues:


These can be reviewed for a push to TL.

- Last Wednesday I described my understanding of the way
AnnotatedTypes are constructed:


I am awaiting comments on how to proceed.

- I spent some time investigating why we are generating TypeCompounds
with UNKNOWN positions. I reverted my prototype, but it improved my
understanding and when we work on the above point we can resolve those

- I think it would be good to finalize javax.lang.model soon. My
understanding is that Joel is working on this. Is this right?
Did we decide whether we will introduce TypeKind.ANNOTATED? In code
that uses TypeKind.isPrimitive an annotated primitive type won't be
transparent. That is, asking "@TA int" whether it is primitive will
return false.

- To me a method reference receiver seems like a scoping mechanism,
not a type use. I tried a few examples and asked Mike for

cu, WMD.


More information about the type-annotations-dev mailing list