You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
PR Implement scalar copy and runtime ownership semantics #48 migrates pointer syntax, lowers fixed-array and dynamic-array range slicing into fat views, enables slice-view indexing and mutable-view writes with bounds checks, and adds runtime plus negative fixtures.
Goal
Finish owned dynamic-array operations and non-owning slice views while keeping mutation on projection/place lowering.
Current Model
[N]Tis fixed inline array storage.[]Tis owned dynamic-array storage and is move-only.&[]Tis a shared slice view.&mut []Tis a mutable non-resizing slice view.[T]slice type.@exprproducesrawptr;&exprand&mut exprcreate safe references...for exclusive and..=for inclusive bounds.Progress
SliceViewconstruction and nested-place preservation.ProjectIndex,Load, andStorefrom Refactor MIR field/index access to projection places #32.Remaining Work
Validation
x_testfixtures.