reinterpret failure due to missing axes specialization

[pablosanjose]

julia> reinterpret(Float64, SA[im,1.0im])
Error showing value of type Base.ReinterpretArray{Float64, 1, ComplexF64, SVector{2, ComplexF64}, false}:
ERROR: DimensionMismatch("1:4 is inconsistent with SOneTo{2}")
Stacktrace:
  [1] (::StaticArrays.var"#errmsg#1"{2})(r::UnitRange{Int64})
    @ StaticArrays ~/.julia/packages/StaticArrays/80e5O/src/SOneTo.jl:14
  [2] SOneTo
    @ ~/.julia/packages/StaticArrays/80e5O/src/SOneTo.jl:15 [inlined]
  [3] convert
    @ ./range.jl:148 [inlined]
  [4] oftype
    @ ./essentials.jl:375 [inlined]
  [5] axes
    @ ./reinterpretarray.jl:302 [inlined]
  [6] summary
    @ ./show.jl:2664 [inlined]
  [7] show(io::IOContext{Base.TTY}, #unused#::MIME{Symbol("text/plain")}, X::Base.ReinterpretArray{Float64, 1, ComplexF64, SVector{2, ComplexF64}, false})
    @ Base ./arrayshow.jl:337
...

As @MasonProtter points out in slack, this is the offending method in Base

function axes(a::NonReshapedReinterpretArray{T,N,S} where {N}) where {T,S}
    paxs = axes(a.parent)
    f, l = first(paxs[1]), length(paxs[1])
    size1 = issingletontype(T) ? l : div(l*sizeof(S), sizeof(T))
    tuple(oftype(paxs[1], f:f+size1-1), tail(paxs)...)
end

The error stems from oftype not receiving enough type-domain information to yield the correct SOneTo axis object. Mason also suggests the following kind of fix in StaticArrays.jl

function Base.axes(::Base.NonReshapedReinterpretArray{T, N, S, SA}) where {T, N, S, SA <: StaticArray{Tup}} where {Tup}
    paxs = axes(SA)
    old_sizes = size(SA)
    l = old_sizes[1]
    size1 = Base.issingletontype(T) ? l : div(l*sizeof(S), sizeof(T))
    (SOneTo(size1), SOneTo.(Base.tail(old_sizes))...)
end

and an analogous method for Base.axes(::ReshapedReinterpretArray{T,N,S} where {N}) where {T,S}