pub fn main() {
const x: i32 = 4;
let x: i32 = 3;
//~^ ERROR refutable pattern in local binding
const y: i32 = 3;
let y = 4;
}