gcc/testsuite/gnat.dg/discr_test2.adb

   1 --  { dg-do compile }
   2
   3 procedure 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 => <>);
  16 begin
  17    null;
  18 end;