| error[E0308]: mismatched types |
| --> $DIR/associated-types-path-2.rs:19:14 |
| | |
| LL | f1(2i32, 4i32); |
| | ^^^^ expected `u32`, found `i32` |
| | |
| help: change the type of the numeric literal from `i32` to `u32` |
| | |
| LL | f1(2i32, 4u32); |
| | ^^^^ |
| |
| error[E0277]: the trait bound `u32: Foo` is not satisfied |
| --> $DIR/associated-types-path-2.rs:29:5 |
| | |
| LL | pub fn f1<T: Foo>(a: T, x: T::A) {} |
| | --- required by this bound in `f1` |
| ... |
| LL | f1(2u32, 4u32); |
| | ^^ the trait `Foo` is not implemented for `u32` |
| |
| error[E0277]: the trait bound `u32: Foo` is not satisfied |
| --> $DIR/associated-types-path-2.rs:29:5 |
| | |
| LL | f1(2u32, 4u32); |
| | ^^^^^^^^^^^^^^ the trait `Foo` is not implemented for `u32` |
| |
| error[E0277]: the trait bound `u32: Foo` is not satisfied |
| --> $DIR/associated-types-path-2.rs:35:5 |
| | |
| LL | pub fn f1<T: Foo>(a: T, x: T::A) {} |
| | --- required by this bound in `f1` |
| ... |
| LL | f1(2u32, 4i32); |
| | ^^ the trait `Foo` is not implemented for `u32` |
| |
| error[E0277]: the trait bound `u32: Foo` is not satisfied |
| --> $DIR/associated-types-path-2.rs:35:5 |
| | |
| LL | f1(2u32, 4i32); |
| | ^^^^^^^^^^^^^^ the trait `Foo` is not implemented for `u32` |
| |
| error[E0308]: mismatched types |
| --> $DIR/associated-types-path-2.rs:41:18 |
| | |
| LL | let _: i32 = f2(2i32); |
| | --- ^^^^^^^^ expected `i32`, found `u32` |
| | | |
| | expected due to this |
| | |
| help: you can convert a `u32` to an `i32` and panic if the converted value doesn't fit |
| | |
| LL | let _: i32 = f2(2i32).try_into().unwrap(); |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| |
| error: aborting due to 6 previous errors |
| |
| Some errors have detailed explanations: E0277, E0308. |
| For more information about an error, try `rustc --explain E0277`. |