bug in Conditional inference design

[vtjnash]

julia> function f(g)
         h = g[]
         t = (h === nothing)
         h = nothing
         println(t ? typeof(h) : typeof(h))
       end
f (generic function with 1 method)

julia> f(Ref{Union{Int, Nothing}}( nothing ))
Nothing

julia> f(Ref{Union{Int, Nothing}}( 1 ))
Int64

um, yeah, variable reuse: I guess just don't do that.