(j3.2006) another example of a forward reference

[Malcolm Cohen]

<<<
Although paragraph 5 of Clause 4.5.3.1 says that type
parameters may be used as primaries in specification
expressions, the definition of specification expressions in
Clause 7.1.11 does not include type parameters among the
permissible primaries.
>>>

Actually it does.  Type parameters are item (14).

<<<
  Constant expressions and kind type
parameters have a similar issue.
>>>

And this is item (10).

Cheers,
-- 
................................Malcolm Cohen, Nihon NAG, Tokyo.