mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

internal: Move TyBuilder::subst_for_def into a block

Browse Source
This commit is contained in:
David Barsky 2024-02-01 16:06:05 -05:00
parent 1ab1a25bba
commit 0fd770613b
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/method_resolution.rs
View File

@ -1439,15 +1439,15 @@ fn is_valid_fn_candidate(
_ => unreachable!(), _ => unreachable!(),
}; };
let fn_subst = TyBuilder::subst_for_def(db, fn_id, Some(impl_subst.clone()))
.fill_with_inference_vars(table)
.build();
check_that!(table.unify(&expect_self_ty, self_ty)); check_that!(table.unify(&expect_self_ty, self_ty));
if let Some(receiver_ty) = receiver_ty { if let Some(receiver_ty) = receiver_ty {
check_that!(data.has_self_param()); check_that!(data.has_self_param());
let fn_subst = TyBuilder::subst_for_def(db, fn_id, Some(impl_subst.clone()))
.fill_with_inference_vars(table)
.build();
let sig = db.callable_item_signature(fn_id.into()); let sig = db.callable_item_signature(fn_id.into());
let expected_receiver = let expected_receiver =
sig.map(|s| s.params()[0].clone()).substitute(Interner, &fn_subst); sig.map(|s| s.params()[0].clone()).substitute(Interner, &fn_subst);