gcc/testsuite/gnat.dg/itype.ads

package itype is
   generic
      type T is private;
   function G return not null access constant T;
end itype;