Im surprised that control flow nullability check i...

# compiler

[Strum355]

Im surprised that control flow nullability check isnt working for the first case, is this expected? kotlin 1.9.10 where val server: CodyAgentServer? and the error of course is Only safe (?.) or non-null asserted (!!.) calls are allowed on a nullable receiver of type CodyAgentServer?

[dmitriy.novozhilov]

Such smartcasts are supported in K2 compiler
You can check it with 2.0 language version