gcc/testsuite/gnat.dg/taft_type4_pkg.adb

   1 with Unchecked_Deallocation;
   2
   3 package body Taft_Type4_Pkg is
   4
   5   type Obj_T is null record;
   6
   7   procedure Unchecked_Free is new Unchecked_Deallocation (Obj_T, T);
   8
   9   procedure Proc (L : in out T) is
  10   begin
  11     Unchecked_Free (L);
  12   end;
  13
  14 end Taft_Type4_Pkg;