Rollup merge of #33046 - jseyfried:fix_unresolved_pattern_diagnostics, r=eddyb

Fix diagnostics for unresolved patterns

This fixes #33043, a bug in the diagnostics for unresolved patterns.
r? @eddyb

2 files changed, 5 insertions, 1 deletions

diff --git a/src/librustc_resolve/lib.rs b/src/librustc_resolve/lib.rs
index 664cc2f897c..f32cf7aa9f4 100644
--- a/src/librustc_resolve/lib.rs
+++ b/src/librustc_resolve/lib.rs
@@ -2406,7 +2406,7 @@ impl<'a, 'tcx> Resolver<'a, 'tcx> {
                                 }
                             }
                         }
-                    } else {
+                    } else if let Err(false) = self.resolve_path(pat_id, &path, 0, ValueNS) {
                         resolve_error(
                             self,
                             path.span,
diff --git a/src/test/compile-fail/pattern-error-continue.rs b/src/test/compile-fail/pattern-error-continue.rs
index 9ebdcf1a9ec..9b675958003 100644
--- a/src/test/compile-fail/pattern-error-continue.rs
+++ b/src/test/compile-fail/pattern-error-continue.rs
@@ -42,4 +42,8 @@ fn main() {
     //~^ ERROR mismatched types
     //~| expected `char`
     //~| found `bool`
+
+    match () {
+        E::V => {} //~ ERROR failed to resolve. Use of undeclared type or module `E`
+    }
 }