gcc/testsuite/gnat.dg/deref2.ads

   1 with deref1;
   2 package deref2 is
   3    type NT is tagged limited private;
   4
   5    function PT_View (Obj : not null access NT)
   6      return not null access deref1.T'Class;
   7 private
   8    type PT (Obj : not null access NT) is new deref1.T with null record;
   9
  10    type NT is tagged limited record
  11       PT_View : aliased PT (NT'Access);
  12    end record;
  13 end;