gcc/testsuite/gnat.dg/generic_disp.adb

   1 --  { dg-do run }
   2
   3 with Generic_Disp_Pkg; use Generic_Disp_Pkg;
   4
   5 procedure Generic_Disp is
   6    I : aliased Integer := 0;
   7    D : Iface'Class := Dispatching_Constructor (DT'Tag, I'access);
   8 begin
   9    null;
  10 end Generic_Disp;