CVS difference for 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)
+@drepl
+@xbullet<Evaluation of a membership test if the @fa<subtype_mark> denotes a
+constrained unchecked union subtype and the expression lacks inferable
+discriminants.>
+@dby
+@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.>
+
!ASIS
No ASIS effect.
Questions? Ask the ACAA Technical Agent