1--  { dg-do compile }
2
3package Access1 is
4
5   type R;
6   type S is access R;
7   type R is new S;
8
9end Access1;
10