KT-614 Emit a warning when non-null type is checked for instance of nullable type

#KT-614 Fixed
2013-01-13 17:32:53 +04:00
parent 65f1efb921
commit 290681ceee
5 changed files with 15 additions and 0 deletions
@@ -783,6 +783,11 @@ public class JetDiagnosticsTestGenerated extends AbstractDiagnosticsTestWithEage
                doTest("compiler/testData/diagnostics/tests/cast/IsTraits.kt");
            }
            
+            @TestMetadata("kt614.kt")
+            public void testKt614() throws Exception {
+                doTest("compiler/testData/diagnostics/tests/cast/kt614.kt");
+            }
+            
            @TestMetadata("WhenErasedDisallowFromAny.kt")
            public void testWhenErasedDisallowFromAny() throws Exception {
                doTest("compiler/testData/diagnostics/tests/cast/WhenErasedDisallowFromAny.kt");