- //~^ ERROR refutable pattern in local binding: `i32::MIN..=1_i32` and
- //~| interpreted as a constant pattern, not a new variable
+ //~^ ERROR refutable pattern in local binding
+ //~| patterns `i32::MIN..=1_i32` and `3_i32..=i32::MAX` not covered
+ //~| missing patterns are not covered because `a` is interpreted as a constant pattern, not a new variable