1 error[E0308]: mismatched types
2 --> $DIR/associated-types-path-2.rs:19:14
5 | ^^^^ expected `u32`, found `i32`
7 help: change the type of the numeric literal from `i32` to `u32`
12 error[E0277]: the trait bound `u32: Foo` is not satisfied
13 --> $DIR/associated-types-path-2.rs:29:5
15 LL | pub fn f1<T: Foo>(a: T, x: T::A) {}
16 | -- --- required by this bound in `f1`
19 | ^^ the trait `Foo` is not implemented for `u32`
21 error[E0277]: the trait bound `u32: Foo` is not satisfied
22 --> $DIR/associated-types-path-2.rs:29:5
25 | ^^^^^^^^^^^^^^ the trait `Foo` is not implemented for `u32`
27 error[E0277]: the trait bound `u32: Foo` is not satisfied
28 --> $DIR/associated-types-path-2.rs:35:5
30 LL | pub fn f1<T: Foo>(a: T, x: T::A) {}
31 | -- --- required by this bound in `f1`
34 | ^^ the trait `Foo` is not implemented for `u32`
36 error[E0277]: the trait bound `u32: Foo` is not satisfied
37 --> $DIR/associated-types-path-2.rs:35:5
40 | ^^^^^^^^^^^^^^ the trait `Foo` is not implemented for `u32`
42 error[E0308]: mismatched types
43 --> $DIR/associated-types-path-2.rs:41:18
45 LL | let _: i32 = f2(2i32);
46 | --- ^^^^^^^^ expected `i32`, found `u32`
48 | expected due to this
50 help: you can convert an `u32` to `i32` and panic if the converted value wouldn't fit
52 LL | let _: i32 = f2(2i32).try_into().unwrap();
53 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
55 error: aborting due to 6 previous errors
57 Some errors have detailed explanations: E0277, E0308.
58 For more information about an error, try `rustc --explain E0277`.