[TEST] Add irText test for DefinitelyNotNull type

This commit is contained in:
Roman Artemev
2021-10-26 13:37:33 +03:00
committed by TeamCityServer
parent d809e260cb
commit 4424512bd6
24 changed files with 981 additions and 0 deletions
@@ -2704,6 +2704,48 @@ public class Fir2IrTextTestGenerated extends AbstractFir2IrTextTest {
runTest("compiler/testData/ir/irText/types/coercionToUnitInLambdaReturnValue.kt");
}
@Test
@TestMetadata("definitelyNonNull.kt")
public void testDefinitelyNonNull() throws Exception {
runTest("compiler/testData/ir/irText/types/definitelyNonNull.kt");
}
@Test
@TestMetadata("definitelyNonNullOverride.kt")
public void testDefinitelyNonNullOverride() throws Exception {
runTest("compiler/testData/ir/irText/types/definitelyNonNullOverride.kt");
}
@Test
@TestMetadata("definitelyNonNullSAM.kt")
public void testDefinitelyNonNullSAM() throws Exception {
runTest("compiler/testData/ir/irText/types/definitelyNonNullSAM.kt");
}
@Test
@TestMetadata("definitelyNonNullWithJava.kt")
public void testDefinitelyNonNullWithJava() throws Exception {
runTest("compiler/testData/ir/irText/types/definitelyNonNullWithJava.kt");
}
@Test
@TestMetadata("definitelyNotNullAsArgument.kt")
public void testDefinitelyNotNullAsArgument() throws Exception {
runTest("compiler/testData/ir/irText/types/definitelyNotNullAsArgument.kt");
}
@Test
@TestMetadata("definitelyNotNullAsReceiver.kt")
public void testDefinitelyNotNullAsReceiver() throws Exception {
runTest("compiler/testData/ir/irText/types/definitelyNotNullAsReceiver.kt");
}
@Test
@TestMetadata("definitelyNotNullWithIntersection1.kt")
public void testDefinitelyNotNullWithIntersection1() throws Exception {
runTest("compiler/testData/ir/irText/types/definitelyNotNullWithIntersection1.kt");
}
@Test
@TestMetadata("genericDelegatedDeepProperty.kt")
public void testGenericDelegatedDeepProperty() throws Exception {
@@ -2830,6 +2872,12 @@ public class Fir2IrTextTestGenerated extends AbstractFir2IrTextTest {
runTest("compiler/testData/ir/irText/types/typeAliasWithUnsafeVariance.kt");
}
@Test
@TestMetadata("typeCheckOnDefinitelyNotNull.kt")
public void testTypeCheckOnDefinitelyNotNull() throws Exception {
runTest("compiler/testData/ir/irText/types/typeCheckOnDefinitelyNotNull.kt");
}
@Nested
@TestMetadata("compiler/testData/ir/irText/types/nullChecks")
@TestDataPath("$PROJECT_ROOT")