│ ─ %-1  = invoke foo(::Int64,::Int64)::Union{}
[90m[71G│╻  Box[1G[39m[90m2 [39m[0m1 ── %1  = Core.Box[36m::Core.Const(Core.Box)[39m
[90m[71G││ [1G[39m[90m  [39m[0m│    %2  = %new(%1)[36m::Core.Box[39m
[90m[71G│╻  +[1G[39m[90m  [39m[0m│    %3  = Base.add_int(_2, _3)[36m::Int64[39m
[90m[71G│  [1G[39m[90m  [39m[0m└───       Core.setfield!(%2, :contents, %3)[90m::Int64[39m
[90m[71G│  [1G[39m[90m3 [39m[0m2 ┄─ %5  = Core.isdefined(%2, :contents)[36m::Bool[39m
[90m[71G│  [1G[39m[90m  [39m[0m└───       goto #4 if not %5
[90m[71G│  [1G[39m[90m  [39m[0m3 ──       goto #5
[90m[71G│  [1G[39m[90m  [39m[0m4 ──       $(Expr(:throw_undef_if_not, :z, false))[90m::Any[39m
[90m[71G│  [1G[39m[90m  [39m[0m5 ┄─ %9  = Core.getfield(%2, :contents)[36m::Any[39m
[90m[71G│  [1G[39m[90m  [39m[0m│    %10 = (%9 < 4)[36m::Any[39m
[90m[71G│  [1G[39m[90m  [39m[0m└───       goto #10 if not %10
[90m[71G│  [1G[39m[90m4 [39m[0m6 ── %12 = Core.isdefined(%2, :contents)[36m::Bool[39m
[90m[71G│  [1G[39m[90m  [39m[0m└───       goto #8 if not %12
[90m[71G│  [1G[39m[90m  [39m[0m7 ──       goto #9
[90m[71G│  [1G[39m[90m  [39m[0m8 ──       $(Expr(:throw_undef_if_not, :z, false))[90m::Any[39m
[90m[71G│  [1G[39m[90m  [39m[0m9 ┄─ %16 = Core.getfield(%2, :contents)[36m::Any[39m
[90m[71G│  [1G[39m[90m  [39m[0m│    %17 = (%16 + 1)[36m::Any[39m
[90m[71G│  [1G[39m[90m  [39m[0m│          Core.setfield!(%2, :contents, %17)[90m::Any[39m
[90m[71G│  [1G[39m[90m  [39m[0m└───       goto #2
[90m[71G│  [1G[39m[90m6 [39m[0m10 ─ %20 = %new(Main.anonymous.:(var"#1#2"), %2)[36m::Main.anonymous.var"#1#2"[39m
[90m[71G│  [1G[39m[90m  [39m[0m│          invoke %20(_2::Int64)[90m::Any[39m
[90m[71G│╻╷ Ref[1G[39m[90m7 [39m[0m│    %22 = %new(Base.RefValue{Union{Missing, Int64}}, _2)[36m::Base.RefValue{Union{Missing, Int64}}[39m
[90m[71G│  [1G[39m[90m  [39m[0m│          (%22 + _3)[90m::Union{}[39m
[90m[71G│  [1G[39m[90m  [39m[0m└───       unreachable
[90m[71G   [1G[39m[90m  [39m