I recall having seen a PR with a `do ... while` block before with a review comment that the `do ... while` block had to be changed to a `while( ... ) { ... }` block (code style). The comment indeed seems superfluous.