nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2025-01-20 19:52:48 +00:00
Code Issues Packages Projects Releases Wiki Activity

Substitute self type instead of fusing binders

Browse Source
This commit is contained in:
Jonas Schievink 2021-07-02 00:16:36 +02:00
parent cee9a7e26a
commit 835d1cec59
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
crates/hir_ty/src/infer/closure.rs
View File

@ -1,6 +1,6 @@
//! Inference of closure parameter types based on the closure's expected type.
use chalk_ir::{AliasTy, FnSubst, WhereClause};
use chalk_ir::{cast::Cast, AliasTy, FnSubst, WhereClause};
use hir_def::HasModule;
use smallvec::SmallVec;
@ -44,9 +44,9 @@ impl InferenceContext<'_> {
.map(|tid| to_chalk_trait_id(tid))
.collect();
for bound in dyn_ty.bounds.map_ref(|b| b.iter(&Interner)) {
let bound = bound.map(|b| b.clone()).fuse_binders(&Interner);
let self_ty = TyKind::Error.intern(&Interner);
let bounds = dyn_ty.bounds.clone().substitute(&Interner, &[self_ty.cast(&Interner)]);
for bound in bounds.iter(&Interner) {
// NOTE(skip_binders): the extracted types are rebound by the returned `FnPointer`
match bound.skip_binders() {
WhereClause::AliasEq(eq) => match &eq.alias {