aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty/infer
diff options
context:
space:
mode:
Diffstat (limited to 'crates/ra_hir/src/ty/infer')
-rw-r--r--crates/ra_hir/src/ty/infer/unify.rs12
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