We should be able to restore basically the old behavior with the new stack.

I wasn't certain how to maintain the old code, since it was working with incomplete and inaccurate information available. Now all required information is available in function typeinf(interp::AbstractInterpreter, frame::InferenceState), so this could be reimplemented there in some form.

Originally posted by @vtjnash in #55575 (comment)