gcc/testsuite/gnat.dg/test_ifaces.adb

   1 --  { dg-do run }
   2
   3 with Ifaces; use Ifaces;
   4 procedure test_ifaces is
   5    view2 : access Iface_2'Class;
   6    obj   : aliased DT := (m_name => "Abdu");
   7 begin
   8    view2 := Iface_2'Class(obj)'Access;
   9    view2.all.op2;
  10 end;