-
Enhancement
-
Resolution: Fixed
-
P5
-
7
-
rc
-
x86
-
windows_vista
-
Verified
A DESCRIPTION OF THE REQUEST :
http://java.sun.com/docs/books/jls/third_edition/html/typesValues.html#4.3 states that "Reference types may be parameterized with type arguments" but then it goes on to define TypeVariable as a possible ReferenceType.
As far as I understand, TypeVariables cannot be parameterized.
Also, the first paragraph states "There are three kinds of reference types: class types, interface types, and array types" but then the formal definition that follows includes four possible types.
JUSTIFICATION :
The specification seems to contradict itself
http://java.sun.com/docs/books/jls/third_edition/html/typesValues.html#4.3 states that "Reference types may be parameterized with type arguments" but then it goes on to define TypeVariable as a possible ReferenceType.
As far as I understand, TypeVariables cannot be parameterized.
Also, the first paragraph states "There are three kinds of reference types: class types, interface types, and array types" but then the formal definition that follows includes four possible types.
JUSTIFICATION :
The specification seems to contradict itself