gcc/testsuite/gnat.dg/generic_inst12_pkg1.adb

package body Generic_Inst12_Pkg1 is

  procedure Inner_G (Val : T) is
  begin
    null;
  end;

  procedure Proc (Val : T) is
  begin
    null;
  end;

end Generic_Inst12_Pkg1;