azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

FE: split test "buildList type argument is inferred into upper bound"

Browse Source 
Related to KT-50520, KT-56169
This commit is contained in:
Mikhail Glukhikh
2023-03-14 11:15:44 +01:00
committed by Space Team
parent 8edf8573b5
commit ba2d896c01
8 changed files with 74 additions and 26 deletions
Download Patch File Download Diff File Expand all files Collapse all files
analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosisCompilerTestFE10TestdataTestGenerated.java
Generated
+12 -6
View File
@@ -36936,6 +36936,18 @@ public class DiagnosisCompilerTestFE10TestdataTestGenerated extends AbstractDiag
KtTestUtil.assertAllTestsPresentByMetadataWithExcluded(this.getClass(), new File("compiler/testData/diagnostics/testsWithStdLib/builderInference"), Pattern.compile("^(.+)\\.kt$"), Pattern.compile("^(.+)\\.(fir|ll)\\.kts?$"), true);
}
@Test
@TestMetadata("buildListToUpperBound.kt")
public void testBuildListToUpperBound() throws Exception {
runTest("compiler/testData/diagnostics/testsWithStdLib/builderInference/buildListToUpperBound.kt");
}
@Test
@TestMetadata("buildListToUpperBoundForbidden.kt")
public void testBuildListToUpperBoundForbidden() throws Exception {
runTest("compiler/testData/diagnostics/testsWithStdLib/builderInference/buildListToUpperBoundForbidden.kt");
}
@Test
@TestMetadata("completeIrrelevantCalls.kt")
public void testCompleteIrrelevantCalls() throws Exception {
@@ -36966,12 +36978,6 @@ public class DiagnosisCompilerTestFE10TestdataTestGenerated extends AbstractDiag
runTest("compiler/testData/diagnostics/testsWithStdLib/builderInference/kt48445.kt");
}
@Test
@TestMetadata("kt50520.kt")
public void testKt50520() throws Exception {
runTest("compiler/testData/diagnostics/testsWithStdLib/builderInference/kt50520.kt");
}
@Test
@TestMetadata("resolveUsualCallWithBuilderInference.kt")
public void testResolveUsualCallWithBuilderInference() throws Exception {
compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirLightTreeOldFrontendDiagnosticsTestGenerated.java
Generated
+12 -6
View File
@@ -36936,6 +36936,18 @@ public class FirLightTreeOldFrontendDiagnosticsTestGenerated extends AbstractFir
KtTestUtil.assertAllTestsPresentByMetadataWithExcluded(this.getClass(), new File("compiler/testData/diagnostics/testsWithStdLib/builderInference"), Pattern.compile("^(.+)\\.kt$"), Pattern.compile("^(.+)\\.(fir|ll)\\.kts?$"), true);
}
@Test
@TestMetadata("buildListToUpperBound.kt")
public void testBuildListToUpperBound() throws Exception {
runTest("compiler/testData/diagnostics/testsWithStdLib/builderInference/buildListToUpperBound.kt");
}
@Test
@TestMetadata("buildListToUpperBoundForbidden.kt")
public void testBuildListToUpperBoundForbidden() throws Exception {
runTest("compiler/testData/diagnostics/testsWithStdLib/builderInference/buildListToUpperBoundForbidden.kt");
}
@Test
@TestMetadata("completeIrrelevantCalls.kt")
public void testCompleteIrrelevantCalls() throws Exception {
@@ -36966,12 +36978,6 @@ public class FirLightTreeOldFrontendDiagnosticsTestGenerated extends AbstractFir
runTest("compiler/testData/diagnostics/testsWithStdLib/builderInference/kt48445.kt");
}
@Test
@TestMetadata("kt50520.kt")
public void testKt50520() throws Exception {
runTest("compiler/testData/diagnostics/testsWithStdLib/builderInference/kt50520.kt");
}
@Test
@TestMetadata("resolveUsualCallWithBuilderInference.kt")
public void testResolveUsualCallWithBuilderInference() throws Exception {
compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirPsiOldFrontendDiagnosticsTestGenerated.java
Generated
+12 -6
View File
@@ -37032,6 +37032,18 @@ public class FirPsiOldFrontendDiagnosticsTestGenerated extends AbstractFirPsiDia
KtTestUtil.assertAllTestsPresentByMetadataWithExcluded(this.getClass(), new File("compiler/testData/diagnostics/testsWithStdLib/builderInference"), Pattern.compile("^(.+)\\.kt$"), Pattern.compile("^(.+)\\.(fir|ll)\\.kts?$"), true);
}
@Test
@TestMetadata("buildListToUpperBound.kt")
public void testBuildListToUpperBound() throws Exception {
runTest("compiler/testData/diagnostics/testsWithStdLib/builderInference/buildListToUpperBound.kt");
}
@Test
@TestMetadata("buildListToUpperBoundForbidden.kt")
public void testBuildListToUpperBoundForbidden() throws Exception {
runTest("compiler/testData/diagnostics/testsWithStdLib/builderInference/buildListToUpperBoundForbidden.kt");
}
@Test
@TestMetadata("completeIrrelevantCalls.kt")
public void testCompleteIrrelevantCalls() throws Exception {
@@ -37062,12 +37074,6 @@ public class FirPsiOldFrontendDiagnosticsTestGenerated extends AbstractFirPsiDia
runTest("compiler/testData/diagnostics/testsWithStdLib/builderInference/kt48445.kt");
}
@Test
@TestMetadata("kt50520.kt")
public void testKt50520() throws Exception {
runTest("compiler/testData/diagnostics/testsWithStdLib/builderInference/kt50520.kt");
}
@Test
@TestMetadata("resolveUsualCallWithBuilderInference.kt")
public void testResolveUsualCallWithBuilderInference() throws Exception {
compiler/testData/diagnostics/testsWithStdLib/builderInference/kt50520.fir.kt → compiler/testData/diagnostics/testsWithStdLib/builderInference/buildListToUpperBound.fir.kt
Vendored
+2 -1
View File
@@ -1,5 +1,6 @@
// WITH_STDLIB
// SKIP_TXT
// !LANGUAGE: -ForbidInferringPostponedTypeVariableIntoDeclaredUpperBound
// ISSUE: KT-50520
fun box(): String {
<!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>buildList<!> {
compiler/testData/diagnostics/testsWithStdLib/builderInference/buildListToUpperBound.kt
Vendored
+11
View File
@@ -0,0 +1,11 @@
// WITH_STDLIB
// !LANGUAGE: -ForbidInferringPostponedTypeVariableIntoDeclaredUpperBound
// ISSUE: KT-50520
fun box(): String {
buildList {
val foo = { first() }
add(0, foo)
}
return "OK"
}
compiler/testData/diagnostics/testsWithStdLib/builderInference/buildListToUpperBoundForbidden.fir.kt
Vendored
+11
View File
@@ -0,0 +1,11 @@
// WITH_STDLIB
// !LANGUAGE: +ForbidInferringPostponedTypeVariableIntoDeclaredUpperBound
// ISSUE: KT-56169
fun box(): String {
<!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>buildList<!> {
val foo = { first() }
add(0, foo)
}
return "OK"
}
compiler/testData/diagnostics/testsWithStdLib/builderInference/kt50520.kt → compiler/testData/diagnostics/testsWithStdLib/builderInference/buildListToUpperBoundForbidden.kt
Vendored
+2 -1
View File
@@ -1,5 +1,6 @@
// WITH_STDLIB
// SKIP_TXT
// !LANGUAGE: +ForbidInferringPostponedTypeVariableIntoDeclaredUpperBound
// ISSUE: KT-56169
fun box(): String {
<!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>buildList<!> {
compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java
Generated
+12 -6
View File
@@ -37032,6 +37032,18 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
KtTestUtil.assertAllTestsPresentByMetadataWithExcluded(this.getClass(), new File("compiler/testData/diagnostics/testsWithStdLib/builderInference"), Pattern.compile("^(.+)\\.kt$"), Pattern.compile("^(.+)\\.(fir|ll)\\.kts?$"), true);
}
@Test
@TestMetadata("buildListToUpperBound.kt")
public void testBuildListToUpperBound() throws Exception {
runTest("compiler/testData/diagnostics/testsWithStdLib/builderInference/buildListToUpperBound.kt");
}
@Test
@TestMetadata("buildListToUpperBoundForbidden.kt")
public void testBuildListToUpperBoundForbidden() throws Exception {
runTest("compiler/testData/diagnostics/testsWithStdLib/builderInference/buildListToUpperBoundForbidden.kt");
}
@Test
@TestMetadata("completeIrrelevantCalls.kt")
public void testCompleteIrrelevantCalls() throws Exception {
@@ -37062,12 +37074,6 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
runTest("compiler/testData/diagnostics/testsWithStdLib/builderInference/kt48445.kt");
}
@Test
@TestMetadata("kt50520.kt")
public void testKt50520() throws Exception {
runTest("compiler/testData/diagnostics/testsWithStdLib/builderInference/kt50520.kt");
}
@Test
@TestMetadata("resolveUsualCallWithBuilderInference.kt")
public void testResolveUsualCallWithBuilderInference() throws Exception {