智能转换 Smart cast

编译器根据类型检查、空值检查与控制流证明的类型收窄，源码无需显式转换。