| #![feature(no_core)] |
| #![no_core] |
| struct S { |
| x: i32, |
| y: i32, |
| } |
| struct T(i32, i32); |
| enum E { |
| T(i32, i32), |
| U(i32), |
| } |
| fn a(S { x, y: 1 }: S) {} // { dg-error "refutable pattern" } |
| fn b(S { x: 1, y: _ }: S) {} // { dg-error "refutable pattern" } |
| fn c(T(1, _): T) {} // { dg-error "refutable pattern" } |
| fn d(T(1, ..): T) {} // { dg-error "refutable pattern" } |
| fn e(E::T(_, _): E) {} // { dg-error "refutable pattern" } |
| fn main() { |
| let S { x, y: 1 }: S; // { dg-error "refutable pattern" } |
| let S { x: 1, y: _ }: S; // { dg-error "refutable pattern" } |
| let T(1, _): T; // { dg-error "refutable pattern" } |
| let T(1, ..): T; // { dg-error "refutable pattern" } |
| let E::T(_, _): E; // { dg-error "refutable pattern" } |
| } |
