gcc/testsuite/gnat.dg/discr19.adb

   1 -- { dg-do compile }
   2
   3 procedure Discr19 is
   4
   5    type Arr_Int_T is array (Integer range <>) of Integer;
   6
   7    type Abs_Tag_Rec_T (N : Integer; M : Integer) is abstract tagged record
   8       Arr_Int : Arr_Int_T (1..M);
   9    end record;
  10
  11    type Tag_Rec_T (M : Integer)
  12      is new Abs_Tag_Rec_T (N => 1, M => M) with null record;
  13
  14 begin
  15    null;
  16 end;