Support static array literals, &[T;N] → &[T] coercion, and &mut [T] element writes - #123

Closed

coord-e wants to merge 11 commits into

mainfrom

claude/static-arrays-slices-y6hmtr

Commits on Jun 23, 2026

feat: add support for statically-sized arrays and slices
claude
committed
10d2151

Commits on Jun 24, 2026

Basic support: Seq<T> as unified array/slice model and PlaceElem::Index
claude
committed
a28ad57
Construction support: array literal aggregates produce Seq<T>
claude
committed
311e771
Coercion support: &[T;N] → &[T] unsize coercion is identity on Seq<T>
claude
committed
fec1c05
Mutable slice support: RawPtr(FakeForPtrMetadata) and PtrMetadata on any pointer
claude
committed
5ced28a
[&mut T] support: CopyForDeref, mir::Const::Ty, and read through &mut T elements
claude
committed
92f553d
Mutable slice support: element write through &mut [T]
claude
committed
ba8f02d
refactor: route (*s)[idx]=val through index_mut extern spec via reborrow visitor
claude
committed
e84b2c8
chore: ignore rustc temporary output files
claude
committed
7f1d189
refactor: rewrite (*s)[idx]=val via index_mut in ReborrowVisitor
claude
committed
9a73939
feat: rewrite (*s)[idx]=val via synthetic index_mut call in analyze_statements
claude
committed
dc6c43d