I don’t suppose there’s a way to tell kotlin “this...

# language-proposals

[michaelblume]

I don’t suppose there’s a way to tell kotlin “this field will start out null, and it may never be assigned anything else, so I do want to check it before I use it, but I don’t ever want to set it to null, so don’t let me do that, and also do let me smart cast it to not-null (since if it’s non-null it’ll stay that way)”