using Base: @propagate_inbounds, tail

@propagate_inbounds function mygetindex(a::AbstractArray{T}, inds::StaticVector{<:Integer}) where {T}
    similar_type(a, T, Size(inds))(extract_values(a, inds.data))
end

@propagate_inbounds extract_values(a, inds) = (a[inds[1]], extract_values(a, tail(inds))...)
extract_values(a, ::Tuple{}) = ()

g(v) = @inbounds return mygetindex(v, v)