fix(exporter): fixes #680

hacspec · May 21, 2024 · 73f9e6e · 73f9e6e
1 parent 455fbeb
commit 73f9e6e
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}