//# publish module 0x42.N { foo() { label b0: return; } } //# publish module 0x42.M { friend 0x42.N; public(friend) foo() { label b0: return; } } //# publish module 0x42.N { import 0x42.M; foo() { label b0: M.foo(); return; } } //# publish module 0x42.M { friend 0x42.N; // okay to increase visibility public foo() { label b0: return; } }