1-- { dg-do compile }
2
3with Prot2_Pkg1;
4with Prot2_Pkg2;
5
6package body Prot2 is
7
8   type A is array (1 .. Prot2_Pkg1.Num) of Integer;
9
10   type E is (One, Two);
11
12   type Rec (D : E := One) is record
13      case D is
14         when One => L : A;
15         when Two => null;
16      end case;
17   end record;
18
19   package My_Pkg2 is new Prot2_Pkg2 (Rec);
20
21   procedure Dummy is begin null; end;
22
23end Prot2;
24