gcc/testsuite/gnat.dg/iface2.ads

   1 with Iface1;
   2 generic
   3    with package Prot is new Iface1 (<>);
   4 package Iface2 is
   5    procedure change (This, That : Prot.Any_Future);
   6 end Iface2;