gcc/testsuite/gnat.dg/disp2_pkg.ads

package Disp2_Pkg is

  type Object     is tagged null record;
  type Object_Ptr is access all Object'CLASS;

  function Impl_Of (Self : access Object) return Object_Ptr;
  function Get_Ptr (Self : access Object) return Object_Ptr
    renames Impl_Of;

end Disp2_Pkg;