True, although you have to be careful about "incorrect": the code will still compile (unless there's some corner case I'm missing?), so for that particular defi

True, although you have to be careful about "incorrect": the code will still compile (unless there's some corner case I'm missing?), so for that particular definition of correctness it is just fine without TCO. It just won't run (for very long). :)