gcc/testsuite/gnat.dg/specs/gen_interface_p.ads

generic 
   type I is interface;
   with procedure P (X : I) is abstract;
package gen_interface_p is
end;