diff options
Diffstat (limited to 'crates/ra_hir/src/ty/infer')
-rw-r--r-- | crates/ra_hir/src/ty/infer/unify.rs | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/crates/ra_hir/src/ty/infer/unify.rs b/crates/ra_hir/src/ty/infer/unify.rs index ad2eefcaf..2ed326cd5 100644 --- a/crates/ra_hir/src/ty/infer/unify.rs +++ b/crates/ra_hir/src/ty/infer/unify.rs | |||
@@ -129,10 +129,14 @@ where | |||
129 | 129 | ||
130 | pub fn canonicalize_projection( | 130 | pub fn canonicalize_projection( |
131 | mut self, | 131 | mut self, |
132 | projection: ProjectionPredicate, | 132 | projection: InEnvironment<ProjectionPredicate>, |
133 | ) -> Canonicalized<ProjectionPredicate> { | 133 | ) -> Canonicalized<InEnvironment<ProjectionPredicate>> { |
134 | let result = self.do_canonicalize_projection_predicate(projection); | 134 | let result = self.do_canonicalize_projection_predicate(projection.value); |
135 | self.into_canonicalized(result) | 135 | // FIXME canonicalize env |
136 | self.into_canonicalized(InEnvironment { | ||
137 | value: result, | ||
138 | environment: projection.environment, | ||
139 | }) | ||
136 | } | 140 | } |
137 | } | 141 | } |
138 | 142 | ||