CVS difference for ai12s/ai12-0162-1.txt

Differences between 1.6 and version 1.7
Log of other versions for file ai12s/ai12-0162-1.txt

--- ai12s/ai12-0162-1.txt	2016/02/16 03:20:41	1.6
+++ ai12s/ai12-0162-1.txt	2016/04/12 04:48:39	1.7
@@ -66,6 +66,15 @@
 !corrigendum B.3.3(25/2)
+@xbullet<Evaluation of a membership test if the @fa<subtype_mark> denotes a
+constrained unchecked union subtype and the expression lacks inferable
+@xbullet<Evaluation of an individual membership test if the @fa<subtype_mark>
+(if any) denotes a constrained unchecked union subtype and the
+@i<tested_>@fa<simple_expression> lacks inferable discriminants.>
 No ASIS effect.

Questions? Ask the ACAA Technical Agent