If the types haven't been defined at the point where you're defining the method, how could this possibly be made to work? The only thing that could work is to dispatch on some common supertype of T1 and T2, e.g. Any.
On Fri, Dec 18, 2015 at 6:26 AM, Lutfullah Tomak <tomaklu...@gmail.com>
wrote:
> 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)
