gcc/testsuite/gnat.dg/elim1.ads - gcc - Git at Google

 pragma Eliminate (p, d);
 package elim1 is
    type t is tagged null record;
    procedure d (a : t);
 end;
	pragma Eliminate (p, d);
	package elim1 is
	type t is tagged null record;
	procedure d (a : t);
	end;