trait Foo {
    fn foo();
}

use Foo::foo; //~ ERROR `use` associated items of traits is unstable [E0658]

fn main() { foo(); } //~ ERROR type annotations needed