Smartcast for var

This has already been discussed here: Smart casts and nullability in single-threaded contexts