gcc/testsuite/gnat.dg/discr12.adb

   1 -- { dg-do compile }
   2
   3 with Discr12_Pkg; use Discr12_Pkg;
   4
   5 procedure Discr12 is
   6
   7   subtype Small_Int is Integer range 1..10;
   8
   9   package P is
  10
  11     type PT_W_Disc (D : Small_Int) is private;
  12
  13     type Rec_W_Private (D1 : Integer) is
  14     record
  15       C : PT_W_Disc (D1);
  16     end record;
  17
  18     type Rec_01 (D3 : Integer) is
  19     record
  20       C1 : Rec_W_Private (D3);
  21     end record;
  22
  23     type Arr is array (1 .. 5) of Rec_01(Dummy(0));
  24
  25   private
  26     type PT_W_Disc (D : Small_Int) is
  27     record
  28       Str : String (1 .. D);
  29     end record;
  30
  31   end P;
  32
  33 begin
  34   Null;
  35 end;