src/test/ui/rfc-2008-non-exhaustive/uninhabited/match.stderr

   1 error[E0004]: non-exhaustive patterns: type `uninhabited::UninhabitedEnum` is non-empty
   2   --> $DIR/match.rs:19:11
   3    |
   4 LL |     match x {}
   5    |           ^
   6    |
   7    = help: ensure that all possible cases are being handled, possibly by adding wildcards or more match arms
   8    = note: the matched value is of type `uninhabited::UninhabitedEnum`
   9
  10 error[E0004]: non-exhaustive patterns: type `uninhabited::UninhabitedStruct` is non-empty
  11   --> $DIR/match.rs:23:11
  12    |
  13 LL |     match x {}
  14    |           ^
  15    |
  16    = help: ensure that all possible cases are being handled, possibly by adding wildcards or more match arms
  17    = note: the matched value is of type `uninhabited::UninhabitedStruct`
  18
  19 error[E0004]: non-exhaustive patterns: type `uninhabited::UninhabitedTupleStruct` is non-empty
  20   --> $DIR/match.rs:27:11
  21    |
  22 LL |     match x {}
  23    |           ^
  24    |
  25    = help: ensure that all possible cases are being handled, possibly by adding wildcards or more match arms
  26    = note: the matched value is of type `uninhabited::UninhabitedTupleStruct`
  27
  28 error[E0004]: non-exhaustive patterns: `Tuple(_)` and `Struct { .. }` not covered
  29   --> $DIR/match.rs:31:11
  30    |
  31 LL |     match x {}
  32    |           ^ patterns `Tuple(_)` and `Struct { .. }` not covered
  33    |
  34   ::: $DIR/auxiliary/uninhabited.rs:17:23
  35    |
  36 LL |     #[non_exhaustive] Tuple(!),
  37    |                       ----- not covered
  38 LL |     #[non_exhaustive] Struct { x: ! }
  39    |                       ------ not covered
  40    |
  41    = help: ensure that all possible cases are being handled, possibly by adding wildcards or more match arms
  42    = note: the matched value is of type `uninhabited::UninhabitedVariants`
  43
  44 error: aborting due to 4 previous errors
  45
  46 For more information about this error, try `rustc --explain E0004`.