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()13 pub fn main() {
14     let x: isize = Foo::bar();
15     //~^ ERROR type annotations needed
16 }
17