Slices
slice[T] and mut_slice[T] are non-null borrowed pointer-length views with checked indexing.
DByte 12.0 · Language
Contract§
Slices do not allocate.
Mechanics§
slice[T] and mut_slice[T] are concrete two-word pointer-length borrowed views. Element addressing scales by canonical size_of[T], and indexing validates bounds before access.
Validation and failure§
Views are non-null by contract, never allocate and cannot outlive their borrowed storage. Mutable views require exclusive provenance.
Evidence and boundary§
Native proof passes borrowed array storage through slice indexing while adversarial tests cover bounds and address arithmetic overflow.