gcc-4.9/gcc/testsuite/gnat.dg/iface2.ads


1
2
3
4
5
6

with Iface1;
generic
   with package Prot is new Iface1 (<>);
package Iface2 is
   procedure change (This, That : Prot.Any_Future);
end Iface2;