src/test/ui/pattern/usefulness/always-inhabited-union-ref.stderr

   1 error[E0004]: non-exhaustive patterns: type `&!` is non-empty
   2   --> $DIR/always-inhabited-union-ref.rs:23:11
   3    |
   4 LL |     match uninhab_ref() {
   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 `&!`
   9
  10 error[E0004]: non-exhaustive patterns: type `Foo` is non-empty
  11   --> $DIR/always-inhabited-union-ref.rs:27:11
  12    |
  13 LL | / pub union Foo {
  14 LL | |     foo: !,
  15 LL | | }
  16    | |_- `Foo` defined here
  17 ...
  18 LL |       match uninhab_union() {
  19    |             ^^^^^^^^^^^^^^^
  20    |
  21    = help: ensure that all possible cases are being handled, possibly by adding wildcards or more match arms
  22    = note: the matched value is of type `Foo`
  23
  24 error: aborting due to 2 previous errors
  25
  26 For more information about this error, try `rustc --explain E0004`.