testsuite/gnat.dg/elab3_pkg.ads

generic
   Elaborate : Boolean := True;
   with procedure Proc;

package Elab3_Pkg is
   procedure Elaborator;
end Elab3_Pkg;