I'd much rather have the compiler diagnose an infinite loop than silently pretend that it's not reachable, or that it can be rewritten to a yield.

In other words, I am mentally well.

There's no way for a compiler to reliably determine that a loop is infinite, making it very difficult for the standard to require such determinations.