1-- { dg-do compile } 2 3procedure Discr_Test2 is 4 type Ptr is access all integer; 5 type Ar is array (Integer range <>) of Ptr; 6 7 type Inner (Discr : Integer) is record 8 Comp : Ar (1..Discr); 9 end record; 10 11 type Wrapper (Discr : Integer) is record 12 Comp : Inner (Discr); 13 end record; 14 15 Val : constant Wrapper := (0, Comp => <>); 16begin 17 null; 18end; 19