gcc/testsuite/gnat.dg/specs/sync_iface_test.ads

   1 --  { dg-do compile }
   2 --  { dg-options "-gnatc" }
   3
   4 package Sync_Iface_Test is
   5    type Iface is limited interface;
   6    procedure Do_Test
   7      (Container : in out Iface;
   8       Process   : access procedure (E : Natural)) is abstract;
   9
  10    protected type Buffer is new Iface with
  11       overriding procedure Do_Test
  12         (Process : access procedure (E : Natural));
  13    end;
  14 end;