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

NI: Update FIR test data

Browse Source
This commit is contained in:
victor.petukhov
2019-12-13 11:49:32 +03:00
parent a19f8ffe6a
commit 25fdbdfecb
3 changed files with 162 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/testData/diagnostics/tests/samConversions/arrayAsVarargAfterSamArgument.fir.kt
Vendored
+54
View File
@@ -0,0 +1,54 @@
// !DIAGNOSTICS: -UNUSED_VARIABLE
// !LANGUAGE: +NewInference +SamConversionForKotlinFunctions +SamConversionPerArgument
// IGNORE_BACKEND: JS
// SKIP_TXT
// FILE: Test.java
public class Test {
public static String foo1(Runnable r, String... strs) {
return null;
}
public String foo2(Runnable r1, Runnable r2, String... strs) {
return null;
}
public Test(Runnable r, String... strs) {}
public Test(Runnable r, Runnable r, String... strs) {}
}
// FILE: main.kt
fun main(x2: Runnable) {
val x1 = {}
val x3 = arrayOf<String>()
Test.<!INAPPLICABLE_CANDIDATE!>foo1<!>({}, arrayOf())
Test.foo1({}, *arrayOf())
Test.<!INAPPLICABLE_CANDIDATE!>foo1<!>({}, x3)
Test.foo1({}, *arrayOf(""))
Test.<!INAPPLICABLE_CANDIDATE!>foo1<!>(x1, arrayOf())
Test.foo1(x1, *arrayOf())
Test.<!INAPPLICABLE_CANDIDATE!>foo1<!>(x2, arrayOf())
Test.foo1(x2, *arrayOf())
Test.<!INAPPLICABLE_CANDIDATE!>foo1<!>(x1, x3)
Test.foo1(x1, *x3)
Test.<!INAPPLICABLE_CANDIDATE!>foo1<!>(x2, arrayOf(""))
Test.foo1(x2, *arrayOf(""))
val i1 = <!INAPPLICABLE_CANDIDATE!>Test<!>({}, arrayOf())
val i2 = <!INAPPLICABLE_CANDIDATE!>Test<!>({}, *arrayOf())
val i3 = <!INAPPLICABLE_CANDIDATE!>Test<!>({}, x3)
val i4 = <!INAPPLICABLE_CANDIDATE!>Test<!>({}, arrayOf(""))
val i5 = <!INAPPLICABLE_CANDIDATE!>Test<!>({}, {}, *arrayOf(""))
val i6 = <!INAPPLICABLE_CANDIDATE!>Test<!>({}, {}, arrayOf())
i1.<!UNRESOLVED_REFERENCE!>foo2<!>({}, {}, arrayOf())
i1.<!UNRESOLVED_REFERENCE!>foo2<!>({}, {}, *arrayOf())
i1.<!UNRESOLVED_REFERENCE!>foo2<!>({}, x2, arrayOf())
i1.<!UNRESOLVED_REFERENCE!>foo2<!>(x2, {}, *arrayOf())
i1.<!UNRESOLVED_REFERENCE!>foo2<!>({}, {}, arrayOf(""))
i1.<!UNRESOLVED_REFERENCE!>foo2<!>({}, {}, *x3)
i1.<!UNRESOLVED_REFERENCE!>foo2<!>({}, x2, x3)
i1.<!UNRESOLVED_REFERENCE!>foo2<!>(x2, {}, *arrayOf(""))
}
compiler/testData/diagnostics/tests/samConversions/arrayAsVarargAfterSamArgumentProhibited.fir.kt
Vendored
+54
View File
@@ -0,0 +1,54 @@
// !DIAGNOSTICS: -UNUSED_VARIABLE
// !LANGUAGE: +NewInference +SamConversionForKotlinFunctions +SamConversionPerArgument +ProhibitVarargAsArrayAfterSamArgument
// IGNORE_BACKEND: JS
// SKIP_TXT
// FILE: Test.java
public class Test {
public static String foo1(Runnable r, String... strs) {
return null;
}
public String foo2(Runnable r, Runnable r, String... strs) {
return null;
}
public Test(Runnable r, String... strs) {}
public Test(Runnable r, Runnable r, String... strs) {}
}
// FILE: main.kt
fun main(x2: Runnable) {
val x1 = {}
val x3 = arrayOf<String>()
Test.<!INAPPLICABLE_CANDIDATE!>foo1<!>({}, arrayOf())
Test.foo1({}, *arrayOf())
Test.foo1({}, *x3)
Test.<!INAPPLICABLE_CANDIDATE!>foo1<!>({}, arrayOf(""))
Test.<!INAPPLICABLE_CANDIDATE!>foo1<!>(x1, arrayOf())
Test.foo1(x1, *arrayOf())
Test.<!INAPPLICABLE_CANDIDATE!>foo1<!>(x2, arrayOf())
Test.foo1(x2, *arrayOf())
Test.<!INAPPLICABLE_CANDIDATE!>foo1<!>(x1, x3)
Test.foo1(x1, *x3)
Test.<!INAPPLICABLE_CANDIDATE!>foo1<!>(x2, arrayOf(""))
Test.foo1(x2, *arrayOf(""))
val i1 = <!INAPPLICABLE_CANDIDATE!>Test<!>({}, arrayOf())
val i2 = <!INAPPLICABLE_CANDIDATE!>Test<!>({}, *arrayOf())
val i3 = <!INAPPLICABLE_CANDIDATE!>Test<!>({}, x3)
val i4 = <!INAPPLICABLE_CANDIDATE!>Test<!>({}, arrayOf(""))
val i5 = <!INAPPLICABLE_CANDIDATE!>Test<!>({}, {}, *arrayOf(""))
val i6 = <!INAPPLICABLE_CANDIDATE!>Test<!>({}, {}, arrayOf())
i2.<!UNRESOLVED_REFERENCE!>foo2<!>({}, {}, arrayOf())
i2.<!UNRESOLVED_REFERENCE!>foo2<!>({}, {}, *arrayOf())
i2.<!UNRESOLVED_REFERENCE!>foo2<!>({}, x2, arrayOf())
i2.<!UNRESOLVED_REFERENCE!>foo2<!>(x2, {}, *arrayOf())
i2.<!UNRESOLVED_REFERENCE!>foo2<!>({}, {}, arrayOf(""))
i2.<!UNRESOLVED_REFERENCE!>foo2<!>({}, {}, *x3)
i2.<!UNRESOLVED_REFERENCE!>foo2<!>({}, x2, x3)
i2.<!UNRESOLVED_REFERENCE!>foo2<!>(x2, {}, *arrayOf(""))
}
compiler/testData/diagnostics/tests/samConversions/arrayAsVarargAfterSamArgumentWithoutSamConversionsPerArgument.fir.kt
Vendored
+54
View File
@@ -0,0 +1,54 @@
// !DIAGNOSTICS: -UNUSED_VARIABLE
// !LANGUAGE: +NewInference +SamConversionForKotlinFunctions
// IGNORE_BACKEND: JS, JS_IR
// SKIP_TXT
// FILE: Test.java
public class Test {
public static String foo1(Runnable r, String... strs) {
return null;
}
public String foo2(Runnable r, Runnable r, String... strs) {
return null;
}
public Test(Runnable r, String... strs) {}
public Test(Runnable r, Runnable r, String... strs) {}
}
// FILE: main.kt
fun main(x2: Runnable) {
val x1 = {}
val x3 = arrayOf<String>()
Test.<!INAPPLICABLE_CANDIDATE!>foo1<!>({}, arrayOf())
Test.foo1({}, *arrayOf())
Test.foo1({}, *x3)
Test.<!INAPPLICABLE_CANDIDATE!>foo1<!>({}, arrayOf(""))
Test.<!INAPPLICABLE_CANDIDATE!>foo1<!>(x1, arrayOf())
Test.foo1(x1, *arrayOf())
Test.<!INAPPLICABLE_CANDIDATE!>foo1<!>(x2, arrayOf())
Test.foo1(x2, *arrayOf())
Test.<!INAPPLICABLE_CANDIDATE!>foo1<!>(x1, x3)
Test.foo1(x1, *x3)
Test.<!INAPPLICABLE_CANDIDATE!>foo1<!>(x2, arrayOf(""))
Test.foo1(x2, *arrayOf(""))
val i1 = <!INAPPLICABLE_CANDIDATE!>Test<!>({}, arrayOf())
val i2 = <!INAPPLICABLE_CANDIDATE!>Test<!>({}, *arrayOf())
val i3 = <!INAPPLICABLE_CANDIDATE!>Test<!>({}, x3)
val i4 = <!INAPPLICABLE_CANDIDATE!>Test<!>({}, arrayOf(""))
val i5 = <!INAPPLICABLE_CANDIDATE!>Test<!>({}, {}, *arrayOf(""))
val i6 = <!INAPPLICABLE_CANDIDATE!>Test<!>({}, {}, arrayOf())
i1.<!UNRESOLVED_REFERENCE!>foo2<!>({}, {}, arrayOf())
i1.<!UNRESOLVED_REFERENCE!>foo2<!>({}, {}, *arrayOf())
i1.<!UNRESOLVED_REFERENCE!>foo2<!>({}, x2, arrayOf())
i1.<!UNRESOLVED_REFERENCE!>foo2<!>(x2, {}, *arrayOf())
i1.<!UNRESOLVED_REFERENCE!>foo2<!>({}, {}, arrayOf(""))
i1.<!UNRESOLVED_REFERENCE!>foo2<!>({}, {}, *x3)
i1.<!UNRESOLVED_REFERENCE!>foo2<!>({}, x2, x3)
i1.<!UNRESOLVED_REFERENCE!>foo2<!>(x2, {}, *arrayOf(""))
}