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

   1 error[E0408]: variable `y` is not bound in all patterns
   2   --> $DIR/E0408.rs:15:19
   3    |
   4 15 |         Some(y) | None => {} //~  ERROR variable `y` is not bound in all patterns
   5    |              -    ^^^^ pattern doesn't bind `y`
   6    |              |
   7    |              variable not in all patterns
   8
   9 error: aborting due to previous error
  10