Is the type parameter <: intentional?

[jishnub]

BandedMatrices.jl/src/banded/BandedMatrix.jl

Lines 84 to 87 in 9a573b1

	function convert(::Type{BandedMatrix{<:, C}}, M::BandedMatrix) where C
	M.data isa C && return M
	_BandedMatrix(convert(C, M.data), M.raxis, M.l, M.u)
	end

And

BandedMatrices.jl/src/banded/BandedMatrix.jl

Lines 106 to 110 in 9a573b1

	function convert(::Type{BandedMatrix{<:,C,OneTo{Int}}}, M::AbstractMatrix) where {C}
	Container = typeof(convert(C, similar(M, 0, 0)))
	T = eltype(Container)
	copyto!(BandedMatrix{T, Container}(undef, size(M), bandwidths(M)), M)
	end

Or is this supposed to be <:Any?

julia> B = BandedMatrix{<:,Matrix{<:},Base.OneTo{Int}}
BandedMatrix{<:, Matrix{<:}, Base.OneTo{Int64}}

julia> Base.isconcretetype(B)
true

julia> eltype(B)
<: (built-in function)

Is this for a banded matrix of the subtype function?

[dlfivefifty]

It's 5 year old code by an RSE who was a Julia beginner so I think it is meant to be <: Any....