[julia-users] using type parameters in definitions of other type parameters

[Zenna Tavares]

Is there any planned support, and/or current work arounds to enable 
something like

function f{T1, T2 <: AType{T1}}(X::Vector{T2}, Y:T1)

  ...
end

Zenna