| error[E0308]: mismatched types |
| --> $DIR/param-mismatch-no-names.rs:4:20 |
| | |
| LL | same_type([x], Some(y)); |
| | --------- --- ^^^^^^^ expected `[X; 1]`, found `Option<Y>` |
| | | | |
| | | expected all arguments to be this `[X; 1]` type because they need to match the type of this parameter |
| | arguments to this function are incorrect |
| | |
| = note: expected array `[X; 1]` |
| found enum `Option<Y>` |
| note: function defined here |
| --> $DIR/param-mismatch-no-names.rs:1:4 |
| | |
| LL | fn same_type<T>(_: T, _: T) {} |
| | ^^^^^^^^^ - ---- ---- this parameter needs to match the `[X; 1]` type of parameter #1 |
| | | | |
| | | parameter #2 needs to match the `[X; 1]` type of this parameter |
| | parameter #1 and parameter #2 both reference this parameter `T` |
| |
| error: aborting due to 1 previous error |
| |
| For more information about this error, try `rustc --explain E0308`. |