deref3.adb

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

--  { dg-do compile }

with deref2;
procedure deref3 is
   Obj : aliased deref2.NT;
begin
   deref2.PT_View (Obj'Access).Op;
   Obj.PT_View.all.Op;
   Obj.PT_View.Op;
end;