diff --git a/src/librustc_typeck/check/mod.rs b/src/librustc_typeck/check/mod.rs index 00bc3375fdd9..d12b23187b80 100644 --- a/src/librustc_typeck/check/mod.rs +++ b/src/librustc_typeck/check/mod.rs @@ -3635,7 +3635,8 @@ fn check_expr_with_unifier<'a, 'tcx, F>(fcx: &FnCtxt<'a, 'tcx>, let (scheme, predicates) = type_scheme_and_predicates_for_def(fcx, expr.span, defn); let mut path = qpath.trait_ref.path.clone(); path.segments.push(qpath.item_path.clone()); - instantiate_path(fcx, &path, scheme, &predicates, Some(self_ty), defn, expr.span, expr.id); + instantiate_path(fcx, &path, scheme, &predicates, Some(self_ty), + defn, expr.span, expr.id); // We always require that the type provided as the value for // a type parameter outlives the moment of instantiation.