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/ty/traits/chalk.rs | |
parent | 5795d773dbcce67577851da02e4d659f0daf1a12 (diff) |
Handle recursive types in canonicalization
Diffstat (limited to 'crates/ra_hir/src/ty/traits/chalk.rs')
-rw-r--r-- | crates/ra_hir/src/ty/traits/chalk.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crates/ra_hir/src/ty/traits/chalk.rs b/crates/ra_hir/src/ty/traits/chalk.rs index 0c6e5a4f5..74370bae9 100644 --- a/crates/ra_hir/src/ty/traits/chalk.rs +++ b/crates/ra_hir/src/ty/traits/chalk.rs | |||
@@ -183,7 +183,7 @@ where | |||
183 | fn struct_datum(&self, struct_id: chalk_ir::StructId) -> Arc<StructDatum> { | 183 | fn struct_datum(&self, struct_id: chalk_ir::StructId) -> Arc<StructDatum> { |
184 | debug!("struct_datum {:?}", struct_id); | 184 | debug!("struct_datum {:?}", struct_id); |
185 | let type_ctor = from_chalk(self.db, struct_id); | 185 | let type_ctor = from_chalk(self.db, struct_id); |
186 | // TODO might be nicer if we can create a fake GenericParams for the TypeCtor | 186 | // FIXME might be nicer if we can create a fake GenericParams for the TypeCtor |
187 | let (num_params, upstream) = match type_ctor { | 187 | let (num_params, upstream) = match type_ctor { |
188 | TypeCtor::Bool | 188 | TypeCtor::Bool |
189 | | TypeCtor::Char | 189 | | TypeCtor::Char |