Type annotations for non-Java languages?

[Eric Bruneton]

Hi,

I understand that Section 2 of the Type Annotations Specification is 
specific to the Java language, but the attributes specified in Section 3 
could in principle be reused by compilers for other languages.

However, currently Section 3 has some restrictions that are specific to 
the Java language, and I think it would be useful to remove them:
- in Section 3.2, in the caption of Figure 1, I think "elements marked * 
will never appear" should be removed, because non Java languages may 
allow these constructs.
- in Section 3.3.10, nothing is said about invokedynamic. I think this 
should be fixed.

Eric