[sv-ac] Strange reference to Implication subclause

Hi all,

Subclause 16.8.1 Typed formal arguments in sequence declarations, P.359, lines 17-20, reads:

A reference to a typed formal argument within a sequence_match_item (see 16.10) shall not stand as the variable_lvalue in either an operator_assignment or an inc_or_dec_expression unless the formal argument is a local variable argument (see 16.8.2, 16.12.6).

The reference 16.12.6 points to the subclause describing the property implication, and it is not clear to me in this context. Note that this reference is not new, and has already existed in LRM2009.

Does anybody have a good explanation?

Thanks,
Dmitry
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

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