On Thu Feb 9 16:01:37 2023 +0000, Giovanni Mascellani wrote:
I think I would find it more legible if we stipulated that `early_return_var` always exists, so you can skip a few branches in this function, which is already relatively complicated. This would leave in some more dead code, but hopefully there will eventually be a dead if elimination pass that gets rid of it. That said, nice function! Before reading that I thought it would have been much more of a pain.
From what I understood, `early_return_var` is only created for the current function once a `return` is found inside it, so it doesn't exist always.