| error: left-hand side of `@` must be a binding | |
| --> $DIR/intersection-patterns-2.rs:13:9 | |
| | | |
| LL | Some(x) @ Some(y) => {} | |
| | -------^^^------- | |
| | | | | |
| | | also a pattern | |
| | interpreted as a pattern, not a binding | |
| | | |
| = note: bindings are `x`, `mut x`, `ref x`, and `ref mut x` | |
| error: aborting due to previous error | |