arrayref 0.3.9: no_std macros that produce &[T; N]/&mut [T; N] views into wider slices via raw-pointer casts. Safe slicing or type-level length checks gate every cast; quickcheck property tests cover both in- and out-of-bounds offsets. Four low-severity quality/correctness findings (missing SAFETY comments, fragile subtraction-before-assert in .. variants, #![deny(warnings)] coupling to compiler churn, multi-evaluation of macro arguments). Safe to deploy.