Clean up RPIT a bit

This commit is contained in:
Florian Diebold 2020-02-07 15:13:00 +01:00
parent 0718682cff
commit 6787f124b5
5 changed files with 14 additions and 41 deletions

View file

@ -635,7 +635,6 @@ impl<'a, D: HirDatabase> InferenceContext<'a, D> {
continue;
}
let param_ty = self.insert_vars_for_impl_trait(param_ty);
let param_ty = self.normalize_associated_types_in(param_ty);
self.infer_expr_coerce(arg, &Expectation::has_type(param_ty.clone()));
}