diff options
| author | Daniel Noom <ggatw@outlook.com> | 2021-01-03 20:49:35 +0100 |
|---|---|---|
| committer | Daniel Noom <ggatw@outlook.com> | 2021-01-03 20:49:35 +0100 |
| commit | 9cba8a37f92d87ef5b5c2c7f109345b6c7634874 (patch) | |
| tree | 8cd1eaf27207c5fdbb432462eefeaac8f0ff5f5e | |
| parent | 998bf0ab88a372c1b19dd367c1fe6f51728b87eb (diff) | |
| download | rust-9cba8a37f92d87ef5b5c2c7f109345b6c7634874.tar.gz rust-9cba8a37f92d87ef5b5c2c7f109345b6c7634874.zip | |
Add note on void reference test
This test is also changed by adding a note about uninhabited references still counting as inhabited.
| -rw-r--r-- | src/test/ui/uninhabited/uninhabited-matches-feature-gated.stderr | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/test/ui/uninhabited/uninhabited-matches-feature-gated.stderr b/src/test/ui/uninhabited/uninhabited-matches-feature-gated.stderr index 960c4792e65..7b999f50773 100644 --- a/src/test/ui/uninhabited/uninhabited-matches-feature-gated.stderr +++ b/src/test/ui/uninhabited/uninhabited-matches-feature-gated.stderr @@ -23,6 +23,7 @@ LL | let _ = match x {}; | = help: ensure that all possible cases are being handled, possibly by adding wildcards or more match arms = note: the matched value is of type `&Void` + = note: references are always considered inhabited error[E0004]: non-exhaustive patterns: type `(Void,)` is non-empty --> $DIR/uninhabited-matches-feature-gated.rs:18:19 |