[sv-ec] virtual interface variables declarations

I found that the text in section 25.9 describing the limitations for virtual interfaces variables declarations is not
sufficient.
It currently states:

Virtual interfaces shall not be used as ports, interface items, or as members of unions.

Strictly reading this, I would expect I can have a virtual interface variable as a formal of a task/function declared

in an interface or as a variable declared in a scope inside (named begin end block, task/function decl) inside the interface.

However I think the intent was to disallow virtual interfaces completely inside interfaces.

can someone confirm that it was the intent?

interface I4;

I2 i2();

task t ();

static virtual interface I2 t1 = VI2; //Is this illegal?

VI2 = i2;

endtask

endinterface

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