Merge pull request #681 from hacspec/fix-680

fix(exporter): fixes #680
hacspec · May 22, 2024 · a483aff · a483aff
2 parents acae1cf + e548e6f
commit a483aff
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}