Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 70f6493

Browse files
committed
remove unnecessary structurally resolve
`autoderef` already resolved and `method_autoderef_steps` makes sure we won't encounter an inference variable
1 parent b70a15f commit 70f6493

File tree

1 file changed

+1
-3
lines changed

1 file changed

+1
-3
lines changed

compiler/rustc_hir_typeck/src/method/confirm.rs

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -172,7 +172,7 @@ impl<'a, 'tcx> ConfirmContext<'a, 'tcx> {
172172
// Commit the autoderefs by calling `autoderef` again, but this
173173
// time writing the results into the various typeck results.
174174
let mut autoderef = self.autoderef(self.call_expr.span, unadjusted_self_ty);
175-
let Some((ty, n)) = autoderef.nth(pick.autoderefs) else {
175+
let Some((mut target, n)) = autoderef.nth(pick.autoderefs) else {
176176
return Ty::new_error_with_message(
177177
self.tcx,
178178
DUMMY_SP,
@@ -182,8 +182,6 @@ impl<'a, 'tcx> ConfirmContext<'a, 'tcx> {
182182
assert_eq!(n, pick.autoderefs);
183183

184184
let mut adjustments = self.adjust_steps(&autoderef);
185-
let mut target = self.structurally_resolve_type(autoderef.span(), ty);
186-
187185
match pick.autoref_or_ptr_adjustment {
188186
Some(probe::AutorefOrPtrAdjustment::Autoref { mutbl, unsize }) => {
189187
let region = self.next_region_var(RegionVariableOrigin::Autoref(self.span));

0 commit comments

Comments
 (0)