Recursion does not converge effects correctly

[Keno]

julia> @noinline function bar(b)
           b == 0 && return
           r = foo(b - 1); Base.donotdelete(b)
           return r
       end
bar (generic function with 1 method)

julia> foo(b) = (return bar(b))
foo (generic function with 1 method)

julia> @code_typed foo(10)
CodeInfo(
1 ─     return nothing
) => Nothing

The donotdelete got deleted. It may not be deleted. For @vtjnash.