Support unions

cryspen · Sep 5, 2024 · 3c706cb · 3c706cb
1 parent 50d7bcd
commit 3c706cb
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/frontend/exporter/src/types/mir.rs b/frontend/exporter/src/types/mir.rs
@@ -713,7 +713,8 @@ impl<'tcx, S: UnderOwnerState<'tcx> + HasMir<'tcx>> SInto<S, Place>
                     ProjectionElem::Field(match cur_ty.kind() {
                         TyKind::Adt(adt_def, _) => {
                             assert!(
-                                (adt_def.is_struct() && variant_idx.is_none())
+                                ((adt_def.is_struct() || adt_def.is_union())
+                                    && variant_idx.is_none())
                                     || (adt_def.is_enum() && variant_idx.is_some())
                             );
                             ProjectionElemFieldKind::Adt {