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

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

--- ai22s/ai22-0003-1.txt	2021/11/19 07:42:35	1.2
+++ ai22s/ai22-0003-1.txt	2022/01/28 07:06:50	1.3
@@ -1,5 +1,6 @@
-!standard 4.2.1(14/5)                                    21-11-18  AI22-0003-1/02
+!standard 4.2.1(14/5)                                    22-01-14  AI22-0003-1/03
 !class binding interpretation 21-11-11
+!status Corrigendum 1-2022 22-01-14
 !status ARG Approved 11-0-0  21-11-18
 !status work item 21-11-11
 !status received 21-11-10
@@ -44,6 +45,14 @@
 4.2.1(14/5) appears to be a vestigial rule left over from an earlier model
 that we have since moved away from. The 13.1 rules about inheritance are all
 that is needed; the worse-than-redundant 4.2.1 rule should be deleted.
+
+!corrigendum 4.2.1(14/5)
+
+@ddel
+If a nonabstract tagged type inherits any user-defined literal aspect, then
+each inherited aspect shall be directly specified as a nonabstract function
+for the type unless the inherited aspect denotes a nonabstract function, or
+functions, and the type is a null extension.
 
 !ACATS test
 

Questions? Ask the ACAA Technical Agent