(j3.2006) Did we intend this to be OK?

[Van Snyder]

On Thu, 2015-10-08 at 10:46 +0900, Cohen Malcolm wrote:
> >I could not find a constraint or other normative text to support this
> >error message.
> 
> "An extended type includes all of the type parameters, all of the 
> components, and the nonoverridden (4.5.7.3)
> type-bound procedures of its parent type."
> 
> Therefore G already exists in the extended type, therefore you cannot 
> specify a different access.

OK, I understand this now.  The definition of type-bound procedure in
1.3.115.6, where all the links land, doesn't explicitly include generic
interfaces, but I found it in 4.5.5p3.

> 
> Cheers,