We decided to defer extensions to SIMD for the moment. As you noted a few weeks ago, it seems actually possible to conform a type to SIMD without contiguous storage. We would have to define the extensions on the concrete types themselves, which is possible but somewhat onerous. We will therefore defer the SIMD-specific extensions (including the ones proposed in SE-0456) until later. We may end up defining them on the concrete types, or we may fix the SIMD protocol (it really should require contiguous storage,) or we may take advantage of InlineArray instead.
2 Likes