Use the same binding code for irrefutable and refutable patterns