src/test/ui/error-codes/E0005.stderr

   1 error[E0005]: refutable pattern in local binding: `None` not covered
   2   --> $DIR/E0005.rs:13:9
   3    |
   4 13 |     let Some(y) = x; //~ ERROR E0005
   5    |         ^^^^^^^ pattern `None` not covered
   6
   7 error: aborting due to previous error
   8