pub mod a {
    mod b {
        pub trait Hidden {}
    }
}

struct S;
impl a::b::Hidden for S {} //~ ERROR module `b` is private

fn main() {}