CVS difference for ai12s/ai12-0351-1.txt
--- ai12s/ai12-0351-1.txt 2020/01/17 05:59:20 1.3
+++ ai12s/ai12-0351-1.txt 2020/01/24 06:02:09 1.4
@@ -99,6 +99,22 @@
property by putting the static compatibility requirement into the lead-in
text.
+!corrigendum 12.5.1(7)
+
+@drepl
+For a generic formal derived type with no @fa<discriminant_part>:
+@dby
+For a generic formal derived type with no @fa<discriminant_part>, the actual
+subtype shall be statically compatible with the ancestor subtype. Furthermore:
+
+!corrigendum 12.5.1(8)
+
+@drepl
+If the ancestor subtype is constrained, the actual subtype shall be constrained,
+and shall be statically compatible with the ancestor;
+@dby
+If the ancestor subtype is constrained, the actual subtype shall be constrained;
+
!ASIS
No ASIS effect.
Questions? Ask the ACAA Technical Agent