don't use data flow info while checking for receiver

receiver with smart cast is checked separately
2013-12-03 14:26:18 +04:00
parent 46b77f4472
commit ab1d27dd6b
3 changed files with 16 additions and 2 deletions
@@ -6178,6 +6178,11 @@ public class JetDiagnosticsTestGenerated extends AbstractDiagnosticsTestWithEage
                doTest("compiler/testData/diagnostics/tests/smartCasts/noUnnecessarySmartCastForReceiver.kt");
            }
            
+            @TestMetadata("publicVal.kt")
+            public void testPublicVal() throws Exception {
+                doTest("compiler/testData/diagnostics/tests/smartCasts/publicVal.kt");
+            }
+
            @TestMetadata("thisWithLabel.kt")
            public void testThisWithLabel() throws Exception {
                doTest("compiler/testData/diagnostics/tests/smartCasts/thisWithLabel.kt");