Exactly, and in addition to that, making the loop disappear is not only good for performance but from a compiler perspective much easier than producing a helpfu

Exactly, and in addition to that, making the loop disappear is not only good for performance but from a compiler perspective much easier than producing a helpful error message that explains the situation well.