CVS difference for ai22s/ai22-0007-1.txt

Differences between 1.1 and version 1.2
Log of other versions for file ai22s/ai22-0007-1.txt

--- ai22s/ai22-0007-1.txt	2021/11/12 06:51:18	1.1
+++ ai22s/ai22-0007-1.txt	2021/11/19 07:42:35	1.2
@@ -1,5 +1,6 @@
-!standard 4.3(6)                                    21-11-11  AI22-0007-1/01
+!standard 4.3(6)                                    21-11-18  AI22-0007-1/02
 !class binding interpretation 21-11-11
+!status ARG Approved 11-0-0  21-11-18
 !status work item 21-11-11
 !status received 21-11-10
 !priority Low
@@ -26,10 +27,8 @@
 Modify 4.3(6):
    If an aggregate is of a tagged type, a check is made that its value belongs
    to the first subtype of the type. Constraint_Error is raised if this check
-   fails. {If the first subtype is subject to a discriminant constraint, then
-   the discriminant-checking portion of this check shall be performed
-   before the initialization of any non-discriminant components of the
-   aggregate object.}
+   fails. {Any discriminant check is check is performed before the
+   initialization of any nondiscriminant component of the aggregate object.}
 
 !discussion
 

Questions? Ask the ACAA Technical Agent