[julia-users] Union types and contravariance, question

[Michael Francis]

Is the following expected behavior for union types, I'm assuming yes ? 

v = Union( Int64,Float64 )[]
push!( v, 1.2)
push!( v, 1)   # works 

f( v::Union(Int64,Float64)...) = v 
f( [ 1.2 ]...) # Works

f( v::Vector{Union( Int64, Float64)}) = v 
f( [ 1.2 ])    # 'f' has not method matching f(::Array{Float64,1})

At first glance I'd expect the last case to work as well.