diff options
| author | Wilco Kusee <[email protected]> | 2020-07-19 14:26:51 +0100 |
|---|---|---|
| committer | Wilco Kusee <[email protected]> | 2020-07-19 14:26:51 +0100 |
| commit | e11006986ab1bfc770acb4047814f99f7ca6114f (patch) | |
| tree | 87fb9543a6d2ffff78fb3ef9f285683bb8c1fc53 | |
| parent | 130e7632acef435caa9bf56e7333e4c28c7dffc7 (diff) | |
Specify default adt representation for chalk integration
| -rw-r--r-- | crates/ra_hir_ty/src/traits/chalk.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crates/ra_hir_ty/src/traits/chalk.rs b/crates/ra_hir_ty/src/traits/chalk.rs index 78d0bc43b..5298dbecf 100644 --- a/crates/ra_hir_ty/src/traits/chalk.rs +++ b/crates/ra_hir_ty/src/traits/chalk.rs | |||
| @@ -54,7 +54,7 @@ impl<'a> chalk_solve::RustIrDatabase<Interner> for ChalkContext<'a> { | |||
| 54 | self.db.struct_datum(self.krate, struct_id) | 54 | self.db.struct_datum(self.krate, struct_id) |
| 55 | } | 55 | } |
| 56 | fn adt_repr(&self, _struct_id: AdtId) -> rust_ir::AdtRepr { | 56 | fn adt_repr(&self, _struct_id: AdtId) -> rust_ir::AdtRepr { |
| 57 | unreachable!() | 57 | rust_ir::AdtRepr { repr_c: false, repr_packed: false } |
| 58 | } | 58 | } |
| 59 | fn impl_datum(&self, impl_id: ImplId) -> Arc<ImplDatum> { | 59 | fn impl_datum(&self, impl_id: ImplId) -> Arc<ImplDatum> { |
| 60 | self.db.impl_datum(self.krate, impl_id) | 60 | self.db.impl_datum(self.krate, impl_id) |