∘ ── %0 = invoke foo(::Int64,::Int64)::Any
[90m│ [39m  [33m @ IRShowSandbox.jl:2 within `foo`[39m
[90m│ [39m  [33m┌ @ boot.jl: within `Box`[39m
[90m│   [39m[33m│[39m %2  = %new(%1)[36m::Core.Box[39m
    [33m└[39m
    [33m @ IRShowSandbox.jl:3 within `foo`[39m
[90m4 ┄─[39m %9  = Core.getfield(%2, :contents)[36m::Any[39m
[90m│   [39m %10 = (%9 < 4)[36m::Any[39m
    [33m @ IRShowSandbox.jl:4 within `foo`[39m
[90m8 ┄─[39m %16 = Core.getfield(%2, :contents)[36m::Any[39m
[90m│   [39m %17 = (%16 + 1)[36m::Any[39m
[90m│ [39m  [33m @ IRShowSandbox.jl:6 within `foo`[39m
[90m│   [39m %20 = invoke %19(_2::Int64)[36m::Any[39m
    [33m @ IRShowSandbox.jl:7 within `foo`[39m
[90m14 ┄[39m %30 = φ (#10 => $(QuoteNode(missing)), #12 => %26)[36m::Union{Missing, Int64}[39m
[90m│ [39m  [33m @ IRShowSandbox.jl:8 within `foo`[39m
[90m│   [39m %31 = (%20 + %30)[36m::Any[39m
