[sv-bc] Mantis 1804 (Enhancement) : Add abiltiy to require equiv types for typed formal args

Hi,
 
FYI.
 
Mantis 1804 (Enhancement) was filed under SV-AC:
 
Add abiltiy to require equiv types for typed formal args
 
It is desired to have a type qualifier, protected, that will require
that actual args have an equivalent type as the formal argument
declaration. 

It is also desired that this qualifier can apply to the
property/sequence as a whole or to the individual arguments.

Strict typing makes debug much easier but is inconsistent with function
and task default argument passing. The mechanism defined in this
proposal could potentially be extended to tasks and functions. 
 
There is no proposal yet.
 
Shalom
	

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