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