I think we can say the following: The compiler is smart enough to understand simpe while(true) cases with a return