Merge #5437

bors[bot] · detrumi · web-flow · commit 09fab42d39e6 · 2020-07-19T13:37:35.000Z
5437: Specify default adt representation for chalk integration r=flodiebold a=detrumi

Turns out that using the .chalk writer infra causes this line being hit, so let's just return the default representation for now.

Co-authored-by: Wilco Kusee &lt;wilcokusee@gmail.com&gt;
diff --git 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> {
         self.db.struct_datum(self.krate, struct_id)
     }
     fn adt_repr(&self, _struct_id: AdtId) -> rust_ir::AdtRepr {
-        unreachable!()
+        rust_ir::AdtRepr { repr_c: false, repr_packed: false }
     }
     fn impl_datum(&self, impl_id: ImplId) -> Arc<ImplDatum> {
         self.db.impl_datum(self.krate, impl_id)

Original file line number	Diff line number	Diff line change
`@@ -54,7 +54,7 @@ impl<'a> chalk_solve::RustIrDatabase<Interner> for ChalkContext<'a> {`
`54`	`54`	`self.db.struct_datum(self.krate, struct_id)`
`55`	`55`	`}`
`56`	`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`	`59`	`fn impl_datum(&self, impl_id: ImplId) -> Arc<ImplDatum> {`
`60`	`60`	`self.db.impl_datum(self.krate, impl_id)`