“no cast needed” is technically true since `(var) ...

# announcements

[Shawn]

“no cast needed” is technically true since (var) test.foo would still initially yield Int? because TOCTOU, but also technically false because the cast forces the compiler not to smart-cast. all in all still not very intuitive, and maybe warrants more discussion on youtrack