`getindex` punning

[nsajko]

This package defines a getindex method that conflicts with the getindex documentation:

AxisKeys.jl/src/selectors.jl

Line 153 in e98481c

Base.getindex(::Type{Index}, i) = Index(i)

The relevant doc string implies that getindex(type, args...) should return an AbstractVector{type} with args as its elements.

The context here is that I'm working on a PR to Julia to make eltype more precise for some subtypes of Generator, involving things like Iterators.map(Base.Fix1(getindex, Int), [3, 7]). Thus I'm looking for packages with conflicting assumptions using JuliaHub's code search, to avoid unexpectedly breaking the ecosystem.

[mcabbott]

I guess this is slightly nonstandard, as you say:

julia> Float32[1,2] isa AbstractVector{<:Float32}
true

julia> Index[1] isa AbstractVector{<:Index}
false

Perhaps the inspiration was:

julia> using StaticArrays

julia> SA[1,2]
2-element SVector{2, Int64} with indices SOneTo(2):
 1
 2

julia> SA[1,2] isa AbstractVector{<:SA}
false