ubuntu-buildroot/output/build/host-gcc-initial-11.4.0/gcc/testsuite/gnat.dg/warn20_pkg.ads

generic
   type T is private;
   None : T;
package Warn20_Pkg is
   generic
      with procedure Dispatch (X : T) is null;
   procedure Foo;
end;