C++26: Trivial infinite loops are no longer undefined behaviour