>*Can the second block of the do-while see `value` in its lexical scope? If yes,...

>Can the second block of the do-while see `value` in its lexical scope? If yes, you have this weird double brace scope thing

As long as it's documented and expected, it's not weird.

The scope then is the whole "do-while" statement, not the brace.