//# publish module 0x42.A { } //# publish module 0x42.B { } //# publish module 0x42.M { friend 0x42.A; public(friend) foo() { label b0: return; } } //# publish module 0x42.M { friend 0x42.A; friend 0x42.B; public(friend) foo() { label b0: return; } }