aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty/infer
diff options
context:
space:
mode:
authorFlorian Diebold <[email protected]>2019-10-30 20:22:46 +0000
committerFlorian Diebold <[email protected]>2019-11-01 18:57:08 +0000
commit7b7133ec58818894d3d56df021ae70159e2c3252 (patch)
treedbc2a07b8d0d5167a50c620f491564201612adc3 /crates/ra_hir/src/ty/infer
parent44279ef1df49585d0b151dcfb5cefade012dbc7a (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.rs3
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