gcc-4.9/gcc/testsuite/gnat.dg/aggr2.adb


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

-- { 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;