diff options
Diffstat (limited to 'tests/ui/empty/empty-never-array.stderr')
| -rw-r--r-- | tests/ui/empty/empty-never-array.stderr | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/tests/ui/empty/empty-never-array.stderr b/tests/ui/empty/empty-never-array.stderr new file mode 100644 index 000000000..a488e484b --- /dev/null +++ b/tests/ui/empty/empty-never-array.stderr @@ -0,0 +1,24 @@ +error[E0005]: refutable pattern in local binding + --> $DIR/empty-never-array.rs:10:9 + | +LL | let Helper::U(u) = Helper::T(t, []); + | ^^^^^^^^^^^^ pattern `Helper::T(_, _)` not covered + | + = note: `let` bindings require an "irrefutable pattern", like a `struct` or an `enum` with only one variant + = note: for more information, visit https://doc.rust-lang.org/book/ch18-02-refutability.html +note: `Helper<T, U>` defined here + --> $DIR/empty-never-array.rs:3:6 + | +LL | enum Helper<T, U> { + | ^^^^^^ +LL | T(T, [!; 0]), + | - not covered + = note: the matched value is of type `Helper<T, U>` +help: you might want to use `let else` to handle the variant that isn't matched + | +LL | let Helper::U(u) = Helper::T(t, []) else { todo!() }; + | ++++++++++++++++ + +error: aborting due to previous error + +For more information about this error, try `rustc --explain E0005`. |