but you won’t get the smart cast to not null witho...

# language-proposals

[apatrida]

but you won’t get the smart cast to not null without some access function that lies and says it is never null (because you just said it could be)