blob: 4bccd255d7a2d6c4afa48e00694dc068cbfb64c3 [file] [log] [blame]
-- { dg-do compile }
-- { dg-options "-gnatc" }
package Sync_Iface_Test is
type Iface is limited interface;
procedure Do_Test
(Container : in out Iface;
Process : access procedure (E : Natural)) is abstract;
protected type Buffer is new Iface with
overriding procedure Do_Test
(Process : access procedure (E : Natural));
end;
end;