Permit ImmTy::_offset to equally-sized aggreate fields if they are un…

…inhabited
rust-lang · Dec 10, 2023 · 81c453d · 81c453d
1 parent eea05d4
commit 81c453d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/compiler/rustc_const_eval/src/interpret/operand.rs b/compiler/rustc_const_eval/src/interpret/operand.rs
@@ -279,7 +279,7 @@ impl<'tcx, Prov: Provenance> ImmTy<'tcx, Prov> {
                     match (self.layout.abi, layout.abi) {
                         (Abi::Scalar(..), Abi::Scalar(..)) => true,
                         (Abi::ScalarPair(..), Abi::ScalarPair(..)) => true,
-                        _ => false,
+                        _ => layout.abi == Abi::Uninhabited,
                     },
                     "cannot project into {} immediate with equally-sized field {}\nouter ABI: {:#?}\nfield ABI: {:#?}",
                     self.layout.ty,