3 //~^ ERROR refutable pattern in local binding
4 //~| patterns `i32::MIN..=1_i32` and `3_i32..=i32::MAX` not covered
5 //~| missing patterns are not covered because `a` is interpreted as a constant pattern, not a new variable
6 //~| HELP introduce a variable instead
10 //~^ constant defined here