gcc/testsuite/gnat.dg/abe_pkg.adb

   1 --  { dg-do compile }
   2 --  { dg-options "-gnatJ" }
   3 package body ABE_Pkg is
   4    package body Gen is
   5       procedure Force_Body is begin null; end Force_Body;
   6    begin
   7       ABE;
   8    end Gen;
   9
  10    package Inst is new Gen;
  11
  12    procedure ABE is begin null; end ABE;
  13 end ABE_Pkg;