gcc/testsuite/gnat.dg/specs/access1.ads

--  { dg-do compile }

package Access1 is

   type R;
   type S is access R;
   type R is new S;

end Access1;