I guess I missed the part outside but isn't it the same without imposing any 
type on x without defining T1, and T2 before the module import? Like 
myf{T1,T2}(x::Union{T1,T2}) vs myf{T<:ANY}(x::T)

Reply via email to