gcc/testsuite/gnat.dg/generic_dispatch.adb

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