1 // Check that an associated type cannot be bound in an expression path. 2 3 trait Foo { 4 type A; bar() -> isize5 fn bar() -> isize; 6 } 7 8 impl Foo for isize { 9 type A = usize; bar() -> isize10 fn bar() -> isize { 42 } 11 } 12 main()13pub fn main() { 14 let x: isize = Foo::bar(); 15 //~^ ERROR type annotations needed 16 } 17