1-- { dg-do compile }
2
3procedure aggr2 is
4   task type T_Task;
5--
6   task body T_Task is begin null; end;
7--
8   type Lim_Rec is record
9      T : T_Task;
10   end record;
11--
12   generic
13      Formal : Lim_Rec;
14   package P_G is
15   end P_G;
16--
17   package P is new P_G (Formal => (T => <>));
18begin
19   null;
20end;
21
22