Codegen test for smart cast to Nothing?

compiler/testData/codegen/box/smartCasts/nullSmartCast.kt

@@ -0,0 +1,8 @@
+fun String?.foo() = this ?: "OK"
+
+fun foo(i: Int?): String {
+    if (i == null) return i.foo()
+    return "$i"
+}
+
+fun box() = foo(null)

compiler/tests/org/jetbrains/kotlin/codegen/generated/BlackBoxCodegenTestGenerated.java

@@ -7305,6 +7305,12 @@ public class BlackBoxCodegenTestGenerated extends AbstractBlackBoxCodegenTest {
             String fileName = KotlinTestUtils.navigationMetadata("compiler/testData/codegen/box/smartCasts/implicitToGrandSon.kt");
             doTest(fileName);
         }
+
+        @TestMetadata("nullSmartCast.kt")
+        public void testNullSmartCast() throws Exception {
+            String fileName = KotlinTestUtils.navigationMetadata("compiler/testData/codegen/box/smartCasts/nullSmartCast.kt");
+            doTest(fileName);
+        }
     }
 
     @TestMetadata("compiler/testData/codegen/box/specialBuiltins")