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

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

--- ai22s/ai22-0007-1.txt	2021/11/20 07:49:18	1.3
+++ ai22s/ai22-0007-1.txt	2022/01/20 02:59:50	1.4
@@ -1,5 +1,6 @@
-!standard 4.3(6)                                    21-11-18  AI22-0007-1/02
+!standard 4.3(6)                                    22-01-19  AI22-0007-1/03
 !class binding interpretation 21-11-11
+!status Corrigendum 1-2022 22-01-19
 !status ARG Approved 11-0-0  21-11-18
 !status work item 21-11-11
 !status received 21-11-10
@@ -72,6 +73,18 @@
 been constructed). On the other hand, we do not want to change the point
 at which predicate checks are performed, they require the full object to be
 available.
+
+!corrigendum 4.3(6)
+
+@drepl
+If an @fa<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. 
+@dby
+If an @fa<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. Any discriminant check is performed before the 
+initialization of any nondiscriminant component of the aggregate object.
 
 !ACATS test
 

Questions? Ask the ACAA Technical Agent