[sv-ec] extends construct

The BNF for the extends of a class declaration does not allow 
type parameters or type references:
 
class_type ::= ps_class_identifier [ parameter_value_assignment ]

{ :: class_identifier [ parameter_value_assignment ] }

 

I assume that the following class declaration should be legal:

class B;

endclass

B va;

parameter type T = B;

class C extends T;

endclass

 

Can we also have a type reference since we can use a type reference as a
datatype for declaring

any variable?

class D extends type(va);

endclass

 

Francoise