diff options
| author | Florian Diebold <[email protected]> | 2019-05-04 17:25:07 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2019-05-04 17:25:36 +0100 |
| commit | f43e69a64eea0caf8b9f5ced31e7f77dc0d33d65 (patch) | |
| tree | 08a4e6edf39302e086fe6495fee4de1545e1f8f0 /crates/ra_hir/src/source_binder.rs | |
| parent | 5795d773dbcce67577851da02e4d659f0daf1a12 (diff) | |
Handle recursive types in canonicalization
Diffstat (limited to 'crates/ra_hir/src/source_binder.rs')
| -rw-r--r-- | crates/ra_hir/src/source_binder.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crates/ra_hir/src/source_binder.rs b/crates/ra_hir/src/source_binder.rs index 24350bda7..2ec1a7692 100644 --- a/crates/ra_hir/src/source_binder.rs +++ b/crates/ra_hir/src/source_binder.rs | |||
| @@ -351,7 +351,7 @@ impl SourceAnalyzer { | |||
| 351 | callback: impl FnMut(&Ty, Function) -> Option<T>, | 351 | callback: impl FnMut(&Ty, Function) -> Option<T>, |
| 352 | ) -> Option<T> { | 352 | ) -> Option<T> { |
| 353 | // There should be no inference vars in types passed here | 353 | // There should be no inference vars in types passed here |
| 354 | // TODO check that? | 354 | // FIXME check that? |
| 355 | let canonical = crate::ty::Canonical { value: ty, num_vars: 0 }; | 355 | let canonical = crate::ty::Canonical { value: ty, num_vars: 0 }; |
| 356 | crate::ty::method_resolution::iterate_method_candidates( | 356 | crate::ty::method_resolution::iterate_method_candidates( |
| 357 | &canonical, | 357 | &canonical, |