diff options
| -rw-r--r-- | src/test/ui/pattern/usefulness/issue-78123-non-exhaustive-reference.rs | 6 | ||||
| -rw-r--r-- | src/test/ui/pattern/usefulness/issue-78123-non-exhaustive-reference.stderr | 2 |
2 files changed, 6 insertions, 2 deletions
diff --git a/src/test/ui/pattern/usefulness/issue-78123-non-exhaustive-reference.rs b/src/test/ui/pattern/usefulness/issue-78123-non-exhaustive-reference.rs index 517678560c5..6c5a331b4b5 100644 --- a/src/test/ui/pattern/usefulness/issue-78123-non-exhaustive-reference.rs +++ b/src/test/ui/pattern/usefulness/issue-78123-non-exhaustive-reference.rs @@ -1,7 +1,11 @@ enum A {} + //~^ NOTE `A` defined here fn f(a: &A) { - match a {} //~ ERROR non-exhaustive patterns: type `&A` is non-empty + match a {} + //~^ ERROR non-exhaustive patterns: type `&A` is non-empty + //~| NOTE the matched value is of type `&A` + //~| NOTE references are always considered inhabited } fn main() {} diff --git a/src/test/ui/pattern/usefulness/issue-78123-non-exhaustive-reference.stderr b/src/test/ui/pattern/usefulness/issue-78123-non-exhaustive-reference.stderr index 7cd04629aaf..e992632a91f 100644 --- a/src/test/ui/pattern/usefulness/issue-78123-non-exhaustive-reference.stderr +++ b/src/test/ui/pattern/usefulness/issue-78123-non-exhaustive-reference.stderr @@ -1,5 +1,5 @@ error[E0004]: non-exhaustive patterns: type `&A` is non-empty - --> $DIR/issue-78123-non-exhaustive-reference.rs:4:11 + --> $DIR/issue-78123-non-exhaustive-reference.rs:5:11 | LL | enum A {} | --------- `A` defined here |