On Fri Oct 20 21:50:45 2023 +0000, Zebediah Figura wrote:
This isn't true, though, because "break" only breaks out of the switch. We'll need to handle these like loops. We don't have any tests for this case, either.
Isn't that what we do already? When handling `SWITCH` we call `lower_return()` with `in_loop == true`.