1-- { dg-do compile }
2
3with Discr12_Pkg; use Discr12_Pkg;
4
5procedure 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
33begin
34  Null;
35end;
36