[sv-ac] Mantis 1533

Hi Manisha:

Mantis 1533 says that the LRM is not clear about the types
of local variables in properties and sequences.

In 1667, we now have:

   The data type of an assertion variable declaration shall be
   specified explicitly. The data type shall be one of the types
   allowed within assertions as defined in Subclause 16.5.1.

Does this resolve 1533?  

It seems to me that in 1533 you worry that local variables of class
types are problematic rather than suggesting that we find a way to
define the behavior of local variables of class types.

J.H.

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