FILE: noSmartcastToNullableNothing.kt public abstract interface A : R|kotlin/Any| { } public final fun foo(testFun: R|((kotlin/Int) -> kotlin/Unit)?|, anyInterface: R|A?|): R|kotlin/Unit| { } public final fun test(x: R|kotlin/Int?|): R|kotlin/Unit| { R|/foo#|(when () { !=(R|/x|, Null(null)) -> { foo@fun (it: R|kotlin/Int|): R|kotlin/Unit| { Int(0) } } else -> { Null(null) } } , R|/x|) }