//renaming to b package p; class A{ A A; A m(A b){ A: for (;;){ if (b.m(b)==b) break A; } return b; }; }