impl blocks in private modules visible on a public struct

[Subsentient]

It seems that if the type is visible, an impl's pub methods can be used, even if such an impl is encased in multiple private modules.

https://play.rust-lang.org/?version=nightly&mode=debug&edition=2015&gist=bf21f358b4b57075d1243a3b07d93da9

[jonas-schievink]

This is working as expected, impls are always as public as the type/trait they're for.

[Subsentient]

Is there anywhere this is documented? I've been looking, I can't find that behaviour listed anywhere.

[jonas-schievink]

Doesn't look like it

[Subsentient]

Doesn't look like it

Then that's obviously an issue in and of itself.