blob: cb5cecca92cdd8a75786972209889fcafecead21 [file] [log] [blame]
-- { dg-do compile }
procedure Discr57 is
type T1(Scalar : Boolean) is abstract tagged null record;
subtype S1 is T1 (Scalar => False);
type T2(Lower_Bound : Natural) is new
S1 with null record;
Obj : constant T2 :=
(Lower_Bound => 123);
begin
null;
end Discr57;