[sv-ec] mantis item 2848

I filed a mantis item today regarding virtual interfaces which can get
assigned interfaces containing class declarations.
I think it should be illegal to traverse through such virtual interface
to a class handle declared in the interface if its 
class datatype is also in the interface declaration.
The datatype of the virtual interface select expression cannot be
statically determined by the elaborator.
ex:
interface ifc;
   class C;
   int i;
   endclass
     C ch;
   
endinterface // ifc

module top;

   ifc ifc1();

   ifc ifc2();
   
   virtual interface ifc vi = ifc1;
   
   initial begin
      vi.ch = new(); // is this legal
      $display(vi.ch.i); // is this legal?
      vi = ifc2;
      $display (vi.ch.i);
   end

endmodule // top 
 
Comments?
 
Francoise
       '

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