SI-8211 treat `val (name: T) = rhs` as runtime check
SI-900 allow type guard in for loop