SomeType{T} where T:>SomeOtherType

[Tamas_Papp]

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)