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