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

   1 error[E0005]: refutable pattern in local binding: `None` not covered
   2   --> $DIR/E0005.rs:3:9
   3    |
   4 LL |     let Some(y) = x;
   5    |         ^^^^^^^ pattern `None` not covered
   6
   7 error: aborting due to previous error
   8
   9 For more information about this error, try `rustc --explain E0005`.