X-Git-Url: https://git.lizzy.rs/?a=blobdiff_plain;f=compiler%2Frustc_hir_typeck%2Fsrc%2Fexpr.rs;fp=compiler%2Frustc_hir_typeck%2Fsrc%2Fexpr.rs;h=bb235a4836153aedb9883677474e83942bdda263;hb=03a8a4ff3e7cf0633ceaf0a5fa8d347cfe49e809;hp=3561992e86ab4ca41a518f241bc3c2ecd1a4a9e4;hpb=bd39bbb4bb92df439bf6d85470e296cc6a47ffbd;p=rust.git diff --git a/compiler/rustc_hir_typeck/src/expr.rs b/compiler/rustc_hir_typeck/src/expr.rs index 3561992e86a..bb235a48361 100644 --- a/compiler/rustc_hir_typeck/src/expr.rs +++ b/compiler/rustc_hir_typeck/src/expr.rs @@ -568,7 +568,7 @@ pub(crate) fn check_expr_path( // placeholder lifetimes with probing, we just replace higher lifetimes // with fresh vars. let span = args.get(i).map(|a| a.span).unwrap_or(expr.span); - let input = self.replace_bound_vars_with_fresh_vars( + let input = self.instantiate_binder_with_fresh_vars( span, infer::LateBoundRegionConversionTime::FnCall, fn_sig.input(i), @@ -586,7 +586,7 @@ pub(crate) fn check_expr_path( // Also, as we just want to check sizedness, instead of introducing // placeholder lifetimes with probing, we just replace higher lifetimes // with fresh vars. - let output = self.replace_bound_vars_with_fresh_vars( + let output = self.instantiate_binder_with_fresh_vars( expr.span, infer::LateBoundRegionConversionTime::FnCall, fn_sig.output(),