So the issue you are running in to is that the com...

# getting-started

[dalexander]

So the issue you are running in to is that the compiler doesn’t make any assumptions about threadedness, so prop could potentially be changed by other threads after you do the null check. Typically having method-local variables makes the flow sensitive typing work the way you want most of the time.