SomeType{T} where T:>SomeOtherType

parametric-types

#1

Is there good documentation about what this means:

SomeType{T} where T:>SomeOtherType

and more generally:

SomeType{T} where SomeOtherType<:T<:YetAnotherype

I get this strange? result:

julia> Vector{Number}<:Vector{T} where String<:T<:Number
true

but String is not a subtype of Number.
and I would expect this type to be the empty set.

Thank you,


#2

Documentation is in the manual.

I am also surprised by what you get, since

julia> Vector{Number} <: (Vector{T} where T >: String)
false

(also, please use backticks to quote code)


#3

This may be related:
https://github.com/JuliaLang/julia/issues/24179


#4

Thank you @Tamas_Papp
This is the same problem.

I have edited my post to quote code properly.