Not necessarily (at least off the top of my head I don’t want to lean either way). The problem is though that identifying which specific variables in any given loop is relevant for a throwing action is very hard to do - at compile time you don’t know which variables will be necessary to keep track of, so the compiler has no choice but to keep track of all of them (which could impede performance) and may not be possible in all cases (e.g. what if some variables are only relevant in a subset of iterations? Do you allocate space for all of them during all iterations?).
It’s easier if you’re in an interpreted language, since at any given point you know exactly which variables are relevant at that moment (because you’re operating at runtime of the program) - but that’s not the case for compiled languages like julia.