diff options
| author | Florian Diebold <[email protected]> | 2019-10-30 20:22:46 +0000 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2019-11-01 18:57:08 +0000 |
| commit | 7b7133ec58818894d3d56df021ae70159e2c3252 (patch) | |
| tree | dbc2a07b8d0d5167a50c620f491564201612adc3 /crates/ra_hir/src/ty/infer | |
| parent | 44279ef1df49585d0b151dcfb5cefade012dbc7a (diff) | |
Insert type vars before doing assoc item resolution
Diffstat (limited to 'crates/ra_hir/src/ty/infer')
| -rw-r--r-- | crates/ra_hir/src/ty/infer/path.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/crates/ra_hir/src/ty/infer/path.rs b/crates/ra_hir/src/ty/infer/path.rs index 885588174..0cde77265 100644 --- a/crates/ra_hir/src/ty/infer/path.rs +++ b/crates/ra_hir/src/ty/infer/path.rs | |||
| @@ -124,6 +124,9 @@ impl<'a, D: HirDatabase> InferenceContext<'a, D> { | |||
| 124 | return None; | 124 | return None; |
| 125 | } | 125 | } |
| 126 | 126 | ||
| 127 | let ty = self.insert_type_vars(ty); | ||
| 128 | let ty = self.normalize_associated_types_in(ty); | ||
| 129 | |||
| 127 | let segment = | 130 | let segment = |
| 128 | remaining_segments.last().expect("there should be at least one segment here"); | 131 | remaining_segments.last().expect("there should be at least one segment here"); |
| 129 | 132 | ||