We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent b94498a commit 858d336Copy full SHA for 858d336
compiler/rustc_hir_analysis/src/astconv/bounds.rs
@@ -433,12 +433,10 @@ impl<'tcx> dyn AstConv<'tcx> + '_ {
433
});
434
435
// Provide the resolved type of the associated constant to `type_of(AnonConst)`.
436
- if !speculative && let ty::AssocKind::Const = assoc_kind {
437
- let hir::TypeBindingKind::Equality { term: hir::Term::Const(anon_const) } =
+ if !speculative
+ && let hir::TypeBindingKind::Equality { term: hir::Term::Const(anon_const) } =
438
binding.kind
439
- else {
440
- bug!()
441
- };
+ {
442
let ty = alias_ty.map_bound(|ty| tcx.type_of(ty.def_id).instantiate(tcx, ty.args));
443
// Since the arguments passed to the alias type above may contain early-bound
444
// generic parameters, the instantiated type may contain some as well.
0 commit comments