src/test/ui/error-codes/E0253.rs

mod foo {
    pub trait MyTrait {
        fn do_something();
    }
}

use foo::MyTrait::do_something;
    //~^ ERROR E0253

fn main() {}