| error[E0061]: this method takes 2 arguments but 1 argument was supplied |
| --> $DIR/point-at-inference-4.rs:12:7 |
| | |
| LL | s.infer(0i32); |
| | ^^^^^------ an argument is missing |
| | |
| note: method defined here |
| --> $DIR/point-at-inference-4.rs:4:8 |
| | |
| LL | fn infer(&self, a: A, b: B) {} |
| | ^^^^^ ---- ---- |
| help: provide the argument |
| | |
| LL | s.infer(0i32, /* b */); |
| | ~~~~~~~~~~~~~~~ |
| |
| error[E0308]: mismatched types |
| --> $DIR/point-at-inference-4.rs:19:24 |
| | |
| LL | s.infer(0i32); |
| | - ---- this argument has type `i32`... |
| | | |
| | ... which causes `s` to have type `S<i32, _>` |
| ... |
| LL | let t: S<u32, _> = s; |
| | --------- ^ expected `S<u32, _>`, found `S<i32, _>` |
| | | |
| | expected due to this |
| | |
| = note: expected struct `S<u32, _>` |
| found struct `S<i32, _>` |
| help: change the type of the numeric literal from `i32` to `u32` |
| | |
| LL | s.infer(0u32); |
| | ~~~ |
| |
| error: aborting due to 2 previous errors |
| |
| Some errors have detailed explanations: E0061, E0308. |
| For more information about an error, try `rustc --explain E0061`. |