-- { dg-do compile }
procedure aggr2 is
task type T_Task;
--
task body T_Task is begin null; end;
type Lim_Rec is record
T : T_Task;
end record;
generic
Formal : Lim_Rec;
package P_G is
end P_G;
package P is new P_G (Formal => (T => <>));
begin
null;
end;