gcc/testsuite/gnat.dg/generic_dispatch_p.adb

   1 package body generic_dispatch_p is
   2    function Constructor (I : not null access Integer) return DT is
   3       R : DT;
   4   begin
   5       return R;
   6    end Constructor;
   7 end;