[sv-ec] [SV-ec] Mantis 3763: Any reason why formal argument name cannot be of same name as covergroup label?

http://www.eda-stds.org/svdb/view.php?id=3763
Aside from style, why are we putting the restriction?
Is there a restriction?
If a simulator accepts the example originally shown (see below) would that
be an error?
It seems that a compiler should be able to differentiate between a formal
argument name and a label.

covergroup cg ( ref int x , ref int y, *input int c*);
coverpoint x; // creates coverpoint "x" covering the formal "x"
x: coverpoint x; // INVALID: coverpoint label "x" already exists
b: coverpoint y; // creates coverpoint "b" covering the formal "y"
*c*: coverpoint x; // creates coverpoint "c" covering the formal "x"
option.weight = c; // set weight of "cg" to value of formal "c"

BTW, I am the one who initiated the mantis, but now, after a revisit of
some issues, I am questioning its validity.
I am sure that the mantis was challenged and approved for a good reason.

Ben Cohen

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