Replace `while(foo) return bar()` with `if (foo) return bar()`

[bakkot]

Since obviously the loop is never entered more than once.