gcc/testsuite/gnat.dg/aggr2.adb

   1 -- { dg-do compile }
   2
   3 procedure 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 => <>));
  18 begin
  19    null;
  20 end;
  21