1 error[E0283]: type annotations needed
2 --> $DIR/associated-types-unconstrained.rs:14:20
4 LL | fn bar() -> isize;
5 | ------------------ required by `Foo::bar`
7 LL | let x: isize = Foo::bar();
8 | ^^^^^^^^ cannot infer type
10 = note: cannot satisfy `_: Foo`
12 error: aborting due to previous error
14 For more information about this error, try `rustc --explain E0283`.