diff options
| author | Florian Diebold <[email protected]> | 2020-01-31 15:05:58 +0000 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2020-02-07 17:28:10 +0000 |
| commit | f8b7b64bce772f21124b4790538ca97418cc23ca (patch) | |
| tree | ebc7674e044201580178210c4d36a71d530cd3fb /crates/ra_hir_ty/src/infer.rs | |
| parent | 33aa2f8e4f2b9c7c3a6b28427cb6d6f2aef7b802 (diff) | |
WIP use params for APIT
Diffstat (limited to 'crates/ra_hir_ty/src/infer.rs')
| -rw-r--r-- | crates/ra_hir_ty/src/infer.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crates/ra_hir_ty/src/infer.rs b/crates/ra_hir_ty/src/infer.rs index f7ef09f0e..0d65984ee 100644 --- a/crates/ra_hir_ty/src/infer.rs +++ b/crates/ra_hir_ty/src/infer.rs | |||
| @@ -480,7 +480,7 @@ impl<'a, D: HirDatabase> InferenceContext<'a, D> { | |||
| 480 | fn collect_fn(&mut self, data: &FunctionData) { | 480 | fn collect_fn(&mut self, data: &FunctionData) { |
| 481 | let body = Arc::clone(&self.body); // avoid borrow checker problem | 481 | let body = Arc::clone(&self.body); // avoid borrow checker problem |
| 482 | for (type_ref, pat) in data.params.iter().zip(body.params.iter()) { | 482 | for (type_ref, pat) in data.params.iter().zip(body.params.iter()) { |
| 483 | let ty = self.make_ty_with_mode(type_ref, ImplTraitLoweringMode::Opaque); | 483 | let ty = self.make_ty_with_mode(type_ref, ImplTraitLoweringMode::Param); |
| 484 | 484 | ||
| 485 | self.infer_pat(*pat, &ty, BindingMode::default()); | 485 | self.infer_pat(*pat, &ty, BindingMode::default()); |
| 486 | } | 486 | } |