mod foo {
pub trait MyTrait {
fn do_something();
}
use foo::MyTrait::do_something;
//~^ ERROR E0253
fn main() {}