1--  { dg-do compile }
2package body Iface2 is
3   procedure change (This, That : Prot.Any_Future) is
4   begin
5      null;
6   end;
7end Iface2;
8