1--  { dg-do compile }
2--  { dg-options "-gnatc" }
3
4package 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;
14end;
15