error[E0005]: refutable pattern in local binding: `_` not covered
  --> $DIR/const-pattern-irrefutable.rs:22:9
   |
22 |     let a = 4; //~ ERROR refutable pattern in local binding: `_` not covered
   |         ^ pattern `_` not covered

error[E0005]: refutable pattern in local binding: `_` not covered
  --> $DIR/const-pattern-irrefutable.rs:23:9
   |
23 |     let c = 4; //~ ERROR refutable pattern in local binding: `_` not covered
   |         ^ pattern `_` not covered

error[E0005]: refutable pattern in local binding: `_` not covered
  --> $DIR/const-pattern-irrefutable.rs:24:9
   |
24 |     let d = 4; //~ ERROR refutable pattern in local binding: `_` not covered
   |         ^ pattern `_` not covered

error: aborting due to 3 previous errors