Make view() propagate inbounds

This matches Base behavior

Author: yuyichao

src/MArray.jl

@@ -71,7 +71,7 @@ end
     return any(index -> index <: StaticVector{<:Any,Bool}, indices.parameters)
 end
 
-function Base.view(
+@propagate_inbounds function Base.view(
     a::MArray{S},
     indices::Union{Integer, Colon, StaticVector, Base.Slice, SOneTo}...,
 ) where {S}

src/SizedArray.jl

@@ -155,7 +155,7 @@ end
     return Tuple{prod_size}
 end
 
-function Base.view(
+@propagate_inbounds function Base.view(
     a::SizedArray{S},
     indices::Union{Integer, Colon, StaticVector, Base.Slice, SOneTo}...,
 ) where {S}

src/abstractarray.jl

@@ -287,7 +287,7 @@ end
 # wrap elements in Scalar to be consistent with 0D views
 _maybewrapscalar(::Tuple{}, r::T) where {T} = Scalar{T}(r)
 _maybewrapscalar(_, r) = r
-function Base.view(S::SArray, I::Union{Colon, Integer, SOneTo, StaticArray{<:Tuple, Int}, CartesianIndex}...)
+@propagate_inbounds function Base.view(S::SArray, I::Union{Colon, Integer, SOneTo, StaticArray{<:Tuple, Int}, CartesianIndex}...)
     V = getindex(S, I...)
     _maybewrapscalar(Base.index_dimsum(I...), V)
 end