test_ifaces.adb

来自「用于进行gcc测试」· ADB 代码 · 共 11 行

--  { dg-do run }

with Ifaces; use Ifaces;
procedure test_ifaces is
   view2 : access Iface_2'Class;
   obj   : aliased DT := (m_name => "Abdu");
begin
   view2 := Iface_2'Class(obj)'Access;
   view2.all.op2;
end;