gcc/testsuite/gnat.dg/tagged_type_pkg.ads

   1 package Tagged_Type_Pkg is
   2
   3    type TT is tagged limited record
   4       Self : access TT'Class := TT'Unchecked_Access;
   5    end record;
   6
   7    function Pass_TT_Access (Obj : access TT'Class) return access TT'Class;
   8
   9 end Tagged_Type_Pkg;