Recommended way to initialise a mandatory property in a loop?

while true is already special cased to be known as an infinite loop for unreachable code analysis, so I'd call it a bug that we don't handle it as such for definite initialization analysis.

4 Likes