Add testdata for issue #KT-28672

This commit is contained in:
Dmitriy Novozhilov
2019-01-14 11:33:20 +03:00
parent ba71bbde6a
commit 932e0234e7
4 changed files with 55 additions and 0 deletions
@@ -1296,6 +1296,11 @@ public class DiagnosticsTestWithStdLibGenerated extends AbstractDiagnosticsTestW
runTest("compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/deeplyNested.kt");
}
@TestMetadata("extensionReceiver.kt")
public void testExtensionReceiver() throws Exception {
runTest("compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/extensionReceiver.kt");
}
@TestMetadata("intersectingInfo.kt")
public void testIntersectingInfo() throws Exception {
runTest("compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/intersectingInfo.kt");