CVS difference for ai22s/ai22-0010-1.txt
--- ai22s/ai22-0010-1.txt 2021/11/19 07:42:35 1.4
+++ ai22s/ai22-0010-1.txt 2022/01/28 07:06:50 1.5
@@ -1,5 +1,6 @@
-!standard 7.3(13) 21-11-18 AI22-0010-1/03
+!standard 7.3(13) 22-01-14 AI22-0010-1/04
!class binding interpretation 21-11-11
+!status Corrigendum 1-2022 22-01-14
!status work item 21-11-11
!status received 21-10-14
!priority Medium
@@ -84,6 +85,16 @@
a private part does not apply to descendants of the partial view. Ergo, this
rule does not break privacy.
+!corrigendum 7.3(13)
+
+@dinsa
+If the ancestor subtype of a private extension has constrained discriminants,
+then the parent subtype of the full view shall impose a statically matching
+constraint on those discriminants.
+@dinst
+Each predicate specification that applies to some ancestor of a private
+extension shall also apply to some ancestor of the full view.
+
!ACATS test
An ACATS B-Test is needed to check this rule.
@@ -421,7 +432,7 @@
type T4 is new Pkg2.T2 with private;
private
type T4 is new Pkg2.T2 with null record;
- V : T4 := 0; -- Still raises Assertion_Error here.
+ V : T4 := 0; -- Still raises Assertion_Error here.
end Pkg3;
The predicate does NOT apply to type T4 (since it is not visible to it), but
Questions? Ask the ACAA Technical Agent