gcc/testsuite/gnat.dg/iface2.adb - gcc - Git at Google

 --  { dg-do compile }
 package body Iface2 is
    procedure change (This, That : Prot.Any_Future) is
    begin
       null;
    end;
 end Iface2;
	-- { dg-do compile }
	package body Iface2 is
	procedure change (This, That : Prot.Any_Future) is
	begin
	null;
	end;
	end Iface2;