Merge pull request #681 from hacspec/fix-680

fix(exporter): fixes #680
cryspen · May 22, 2024 · c80e646 · c80e646
2 parents bdd1233 + e548e6f
commit c80e646
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
@@ -762,7 +762,8 @@ impl<'tcx, S: UnderOwnerState<'tcx> + HasMir<'tcx>> SInto<S, Place>
                             min_length,
                             from_end,
                         } => {
-                            let TyKind::Slice(ty) = current_ty.kind() else {
+                            let (TyKind::Slice(ty) | TyKind::Array(ty, _)) = current_ty.kind()
+                            else {
                                 supposely_unreachable_fatal!(
                                     s, "PlaceConstantIndexNotSlice";
                                     {current_ty, current_kind, elem}