rt_gccstream/gcc/testsuite/gnat.dg/elim1.adb

package body elim1 is
   procedure d (a : t) is
   begin
      null;
   end; 
end;