gcc/testsuite/gnat.dg/interface2.adb

   1 -- { dg-do run }
   2
   3 procedure interface2 is
   4  package Types is
   5     type Iface     is synchronized interface;
   6     type Any_Iface is access all Iface'Class;
   7 --
   8     protected type T_PO (S : Integer) is new Iface with end;
   9     task type T_Task    (R : Any_Iface);
  10 --
  11     Obj_1 : aliased T_PO (0);
  12     Obj_2 : T_Task (Obj_1'Access); --  Test
  13   end Types;
  14 --
  15   package body Types is
  16     protected body T_PO is end;
  17     task body T_Task    is begin null; end;
  18   end Types;
  19 --
  20 begin
  21    null;
  22 end;