Missing location of Runtime[In]VisibleTypeAnnotations attribute

[Alex Buckley]

Section 3 of the spec says: "A type annotation is stored in a 
Runtime[In]visibleTypeAnnotations attribute on the smallest enclosing 
class, field, method, or Code structure."

Subsections then give the exact storage location for most, but not all, 
of the possible type annotations. The location is missing in 3.3.9 "Type 
tests, object creation, and method/constructor references" - an omission 
which partly led to dropped annotations in the RI [1]. Also, 3.3.10 
gives a location but is inconsistent about the name of the structure 
being stored.

Alex

[1] 
http://mail.openjdk.java.net/pipermail/type-annotations-dev/2013-February/000629.html