Add offset slice views and split_first_mut - #153

Closed

coord-e wants to merge 4 commits into

mainfrom

codex/slices-offset

Commits on Jun 28, 2026

Add offset-aware sequence subsequences
coord-e
committed
158924d
Update specs for offset sequence fields
coord-e
committed
89b8e45
Add split_first_mut specification
coord-e
committed
6dcd001
Add split_first_mut unsoundness repro
coord-e
committed
df87e66