right now, if you have a var, and you try to do sm...
# language-proposals
r
right now, if you have a var, and you try to do smart casts on that in a with block or whatever, it will complain that the var might change