-- RM 7.3(13) -- 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. package Test_248173 is type T1(b: boolean) is tagged null record; type T2 is new T1(b => false) with private; private F: constant boolean := false; type T2 is new T1(b => F) with null record; -- OK end Test_248173; test_248173.ads:10:27: constraint not conformant to previous declaration gnatmake: "test_248173.ads" compilation error
Confirmed.
This has been fixed in SVN trunk (135230).