mod a {
    pub trait Trait {}
}

mod b {
    use Trait; //~ ERROR unresolved import `Trait`
}

mod c {
    impl Trait for () {} //~ ERROR cannot find trait `Trait` in this scope
}

fn main() {}