[sv-ec] reference via scope operator to parametrized superclass item

LRM has special chapter :8.24.1 Class resolution operator for parameterized
classes
 
Unfortunatelly this chapter misses one important feature of scope operator -
it can be used to reference to super classs item. Chapter 8.24.1 does not
explicitly states that :: can be used on unadorned base class name to
reference base class item.
IMHO codes like below are shoould be legal and LRM should description should
be extended:
 
CODE:
 
class B#(p=1);
 int a;
endclass
 
class C#(p=1) extends B#(p);
 bit a;
 function void foo;
  $display(B::a); //<<<<<<<<this reference via :: is not described in LRM
 endfunction
endclass      
 
module top;
 C c;
 initial begin
  c = new;
  c.foo();
 end
endmodule
 
 
Should I fill a mantis on that?
 
 
DANiel

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.