diff options
| author | Laurențiu Nicola <[email protected]> | 2020-06-22 12:18:10 +0100 |
|---|---|---|
| committer | Laurențiu Nicola <[email protected]> | 2020-06-26 11:00:55 +0100 |
| commit | 7e104ea4a885c8fd6f348a0d7d30911fe49d91e8 (patch) | |
| tree | 8672b65c9308939517f45486a4671449dba3c334 /crates/ra_hir_ty/src/traits/chalk/interner.rs | |
| parent | 38cd1b70e8d4b8f57ac2ae0702cf4728764094d9 (diff) | |
Bump chalk
Diffstat (limited to 'crates/ra_hir_ty/src/traits/chalk/interner.rs')
| -rw-r--r-- | crates/ra_hir_ty/src/traits/chalk/interner.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/crates/ra_hir_ty/src/traits/chalk/interner.rs b/crates/ra_hir_ty/src/traits/chalk/interner.rs index 56aab640c..15426b022 100644 --- a/crates/ra_hir_ty/src/traits/chalk/interner.rs +++ b/crates/ra_hir_ty/src/traits/chalk/interner.rs | |||
| @@ -42,6 +42,7 @@ impl chalk_ir::interner::Interner for Interner { | |||
| 42 | type DefId = InternId; | 42 | type DefId = InternId; |
| 43 | type InternedAdtId = crate::TypeCtorId; | 43 | type InternedAdtId = crate::TypeCtorId; |
| 44 | type Identifier = TypeAliasId; | 44 | type Identifier = TypeAliasId; |
| 45 | type FnAbi = (); | ||
| 45 | 46 | ||
| 46 | fn debug_adt_id(type_kind_id: AdtId, fmt: &mut fmt::Formatter<'_>) -> Option<fmt::Result> { | 47 | fn debug_adt_id(type_kind_id: AdtId, fmt: &mut fmt::Formatter<'_>) -> Option<fmt::Result> { |
| 47 | tls::with_current_program(|prog| Some(prog?.debug_struct_id(type_kind_id, fmt))) | 48 | tls::with_current_program(|prog| Some(prog?.debug_struct_id(type_kind_id, fmt))) |