Slightly simplify feeding of assoc const eq bounds

workingjubilee · Feb 27, 2024 · 858d336 · 858d336
1 parent b94498a
commit 858d336
Showing 1 changed file with 3 additions and 5 deletions.
diff --git a/compiler/rustc_hir_analysis/src/astconv/bounds.rs b/compiler/rustc_hir_analysis/src/astconv/bounds.rs
@@ -433,12 +433,10 @@ impl<'tcx> dyn AstConv<'tcx> + '_ {
             });
 
             // Provide the resolved type of the associated constant to `type_of(AnonConst)`.
-            if !speculative && let ty::AssocKind::Const = assoc_kind {
-                let hir::TypeBindingKind::Equality { term: hir::Term::Const(anon_const) } =
+            if !speculative
+                && let hir::TypeBindingKind::Equality { term: hir::Term::Const(anon_const) } =
                     binding.kind
-                else {
-                    bug!()
-                };
+            {
                 let ty = alias_ty.map_bound(|ty| tcx.type_of(ty.def_id).instantiate(tcx, ty.args));
                 // Since the arguments passed to the alias type above may contain early-bound
                 // generic parameters, the instantiated type may contain some as well.