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