bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Don't rebind in transitive_bounds_that_define_assoc_type

Browse source
This commit is contained in:
Jack Huey 2021-04-28 18:10:44 -04:00
parent 31ae3b2bdb
commit 5f82e22ba4
1 changed files with 1 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
compiler/rustc_infer/src/traits/util.rs
View file

@ -305,9 +305,7 @@ pub fn transitive_bounds_that_define_assoc_type<'tcx>(
Some(assoc_name), Some(assoc_name),
)); ));
for (super_predicate, _) in super_predicates.predicates { for (super_predicate, _) in super_predicates.predicates {
let bound_predicate = super_predicate.kind(); let subst_predicate = super_predicate.subst_supertrait(tcx, &trait_ref);
let subst_predicate = super_predicate
.subst_supertrait(tcx, &bound_predicate.rebind(trait_ref.skip_binder()));
if let Some(binder) = subst_predicate.to_opt_poly_trait_ref() { if let Some(binder) = subst_predicate.to_opt_poly_trait_ref() {
stack.push(binder.value); stack.push(binder.value);
} }