gcc/testsuite/gnat.dg/return1.ads

   1 package return1 is
   2     type Base is abstract tagged null record;
   3     type Child is new Base with record
   4        Anon_Access : access Base'Class;
   5     end record;
   6     function X_Func (O : access Child) return access Base'Class;
   7 end return1;