From e44e65e8881f75e981ceb843d0e189ad55c6b4e3 Mon Sep 17 00:00:00 2001 From: Yuki Okushi Date: Sat, 19 Jun 2021 13:54:33 +0900 Subject: Assert `is_associated_const` when resolving --- compiler/rustc_mir_build/src/thir/pattern/mod.rs | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/compiler/rustc_mir_build/src/thir/pattern/mod.rs b/compiler/rustc_mir_build/src/thir/pattern/mod.rs index a07786eb842..3ea76fb99d5 100644 --- a/compiler/rustc_mir_build/src/thir/pattern/mod.rs +++ b/compiler/rustc_mir_build/src/thir/pattern/mod.rs @@ -469,9 +469,10 @@ impl<'a, 'tcx> PatCtxt<'a, 'tcx> { let instance = match ty::Instance::resolve(self.tcx, param_env_reveal_all, def_id, substs) { Ok(Some(i)) => i, Ok(None) => { - if is_associated_const { - self.errors.push(PatternError::AssocConstInPattern(span)); - } + // It should be assoc consts if there's no error but we cannot resolve it. + debug_assert!(is_associated_const); + + self.errors.push(PatternError::AssocConstInPattern(span)); return pat_from_kind(PatKind::Wild); } -- cgit 1.4.1-3-g733a5