Compiler/inference/constraint back-propagation from typeassert @test Base.infer_return_type((Any, Bool)) do a, b #= /Users/julia/.julia/scratchspaces/a66863c6-20e8-4ff4-8a62-49f30b1f605e/agent-cache/default-grannysmith-C07ZQ07FJYVY.0/build/default-grannysmith-C07ZQ07FJYVY-0/julialang/julia-master/julia-a6e35becc1/share/julia/Compiler/test/inference.jl:4128 =# if b #= /Users/julia/.julia/scratchspaces/a66863c6-20e8-4ff4-8a62-49f30b1f605e/agent-cache/default-grannysmith-C07ZQ07FJYVY.0/build/default-grannysmith-C07ZQ07FJYVY-0/julialang/julia-master/julia-a6e35becc1/share/julia/Compiler/test/inference.jl:4129 =# typeassert(a, Int64) else #= /Users/julia/.julia/scratchspaces/a66863c6-20e8-4ff4-8a62-49f30b1f605e/agent-cache/default-grannysmith-C07ZQ07FJYVY.0/build/default-grannysmith-C07ZQ07FJYVY-0/julialang/julia-master/julia-a6e35becc1/share/julia/Compiler/test/inference.jl:4131 =# typeassert(a, Int32) end #= /Users/julia/.julia/scratchspaces/a66863c6-20e8-4ff4-8a62-49f30b1f605e/agent-cache/default-grannysmith-C07ZQ07FJYVY.0/build/default-grannysmith-C07ZQ07FJYVY-0/julialang/julia-master/julia-a6e35becc1/share/julia/Compiler/test/inference.jl:4133 =# return a end == Union{Int32, Int64}