CVS difference for ai22s/cor22con.txt

--- ai22s/cor22con.txt	2022/01/14 05:48:06	1.1
+++ ai22s/cor22con.txt	2022/02/05 05:33:56	1.2
@@ -17,3 +17,28 @@
 !comment @xbullet<For a (first) subtype defined by a type declaration, any
 !comment predicates of parent or progenitor subtypes apply.>
 
+!corrigendum 4.3.5(11/5)
+!AI-0021-1
+!AI-0032-1
+
+@drepl
+For an Aggregate aspect, the key type of Assign_Indexed shall be the same 
+type as that of the parameters of New_Indexed. Additionally, if both 
+Add_Unnamed and Assign_Indexed are specified, the final parameters shall 
+be of the same type @emdash the element type of the container type.
+@dby
+For an Aggregate aspect, neither the element type nor the key type (if any) 
+of the container type shall be a limited type. Additionally, the key type of
+Assign_Indexed shall be the same type as that
+of the parameters of New_Indexed and that type shall be a discrete type. If
+both Add_Unnamed and Assign_Indexed are specified, the final parameters shall
+be of the same type @emdash the element type of the container type.
+
+None of the subprograms specified for an Aggregate aspect shall have a formal 
+access parameter, nor an explicitly aliased formal parameter.
+
+If the container type @i<T> is not abstract, then none of the subprograms 
+specified in the Aggregate aspect for @i<T> shall be abstract.
+
+In addition to the places where Legality Rules normally apply (see 12.3),
+these rules apply also in the private part of an instance of a generic unit.