No and it most likely won’t be added since it is believed that this could make the dispatch complex enough to be undecidable.
Also, for this particular case (covariant) it is ambiguous what you want when you have x::T and T <: T1{Int,Int} <: T2 <: T3{Int}. Would you want T1 or T3? or do you want not match?