-error[E0409]: variable `y` is bound in inconsistent ways within the same match arm
+error[E0409]: variable `y` is bound inconsistently across alternatives separated by `|`
--> $DIR/E0409.rs:5:23
|
LL | (0, ref y) | (y, 0) => {}
LL | match x {
| - this expression has type `({integer}, {integer})`
LL | (0, ref y) | (y, 0) => {}
- | ^ expected `&{integer}`, found integer
+ | ----- ^ expected `&{integer}`, found integer
+ | |
+ | first introduced with type `&{integer}` here
+ |
+ = note: in the same arm, a binding must have the same type in all alternatives
error: aborting due to 2 previous errors