Reproduce KT-67875 and KT-67947

Author: dzharkov

analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosticCompilerTestFE10TestdataTestGenerated.java

@@ -0,0 +1,27 @@
+// WITH_STDLIB
+// ISSUE: KT-67875
+
+// FILE: MyClass.java
+public class MyClass<T> {}
+
+// FILE: MyClassBuilder.java
+public class MyClassBuilder<T> {
+    public MyClassBuilder<T> makeClass(T... values) {}
+
+    public MyClassBuilder<T> makeClass(Iterable<? extends T> it) {}
+
+    public MyClass<T> build() { return null; }
+}
+
+// FILE: main.kt
+inline fun <T: Any> myClassOf(
+    init: MyClassBuilder<T>.() -> Unit
+): MyClass<T> = MyClassBuilder<T>().apply(init).build()
+
+object Foo {
+    val myClass = <!CANNOT_INFER_PARAMETER_TYPE, NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>myClassOf<!> {
+        <!OVERLOAD_RESOLUTION_AMBIGUITY!>makeClass<!>(listOf("a", "b"))
+    }
+
+    private val myClassType: MyClass<String> = myClass
+}

analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated.java

@@ -0,0 +1,27 @@
+// WITH_STDLIB
+// ISSUE: KT-67875
+
+// FILE: MyClass.java
+public class MyClass<T> {}
+
+// FILE: MyClassBuilder.java
+public class MyClassBuilder<T> {
+    public MyClassBuilder<T> makeClass(T... values) {}
+
+    public MyClassBuilder<T> makeClass(Iterable<? extends T> it) {}
+
+    public MyClass<T> build() { return null; }
+}
+
+// FILE: main.kt
+inline fun <T: Any> myClassOf(
+    init: MyClassBuilder<T>.() -> Unit
+): MyClass<T> = MyClassBuilder<T>().apply(init).build()
+
+object Foo {
+    val myClass = myClassOf {
+        makeClass(listOf("a", "b"))
+    }
+
+    private val myClassType: MyClass<String> = myClass
+}

compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirLightTreeOldFrontendDiagnosticsTestGenerated.java

@@ -0,0 +1,55 @@
+// ISSUE: KT-67947
+// ISSUE: KT-67875
+
+class Inv<E1>
+class Out<E2>
+class In<E2>
+
+interface Controller<T> {
+    fun add(x: T)
+
+    fun foo1(vararg values: T)
+    fun foo1(x: Inv<T>)
+
+    fun foo2(vararg values: T)
+    fun foo2(x: Out<T>)
+
+    fun foo3(value: T)
+    fun foo3(x: Inv<T>)
+
+    fun foo4(x: In<CharSequence>)
+    fun foo4(x: In<T>)
+}
+
+fun <T1> Controller<T1>.fooExt(vararg values: T1) {}
+fun <T2> Controller<T2>.fooExt(x: Inv<T2>) {}
+
+fun <E> generate(f: Controller<E>.() -> Unit) {}
+
+fun bar(inv: Inv<String>, out: Out<String>, i: In<CharSequence>, cs: CharSequence) {
+    <!CANNOT_INFER_PARAMETER_TYPE, NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>generate<!> {
+        <!OVERLOAD_RESOLUTION_AMBIGUITY!>foo1<!>(inv)
+    }
+
+    <!CANNOT_INFER_PARAMETER_TYPE, NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>generate<!> {
+        <!OVERLOAD_RESOLUTION_AMBIGUITY!>foo2<!>(out)
+    }
+
+    <!CANNOT_INFER_PARAMETER_TYPE, NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>generate<!> {
+        <!OVERLOAD_RESOLUTION_AMBIGUITY!>foo3<!>(inv)
+    }
+
+    <!CANNOT_INFER_PARAMETER_TYPE, NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>generate<!> {
+        <!OVERLOAD_RESOLUTION_AMBIGUITY!>foo4<!>(i)
+    }
+
+    generate {
+        // CharSequence <: Tv
+        add(cs)
+        <!OVERLOAD_RESOLUTION_AMBIGUITY!>foo4<!>(i)
+    }
+
+    <!CANNOT_INFER_PARAMETER_TYPE, NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>generate<!> {
+        <!OVERLOAD_RESOLUTION_AMBIGUITY!>fooExt<!>(inv)
+    }
+}

compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirPsiOldFrontendDiagnosticsTestGenerated.java

@@ -0,0 +1,55 @@
+// ISSUE: KT-67947
+// ISSUE: KT-67875
+
+class Inv<E1>
+class Out<E2>
+class In<E2>
+
+interface Controller<T> {
+    fun add(x: T)
+
+    fun foo1(vararg values: T)
+    fun foo1(x: Inv<T>)
+
+    fun foo2(vararg values: T)
+    fun foo2(x: Out<T>)
+
+    fun foo3(value: T)
+    fun foo3(x: Inv<T>)
+
+    fun foo4(x: In<CharSequence>)
+    fun foo4(x: In<T>)
+}
+
+fun <T1> Controller<T1>.fooExt(vararg values: T1) {}
+fun <T2> Controller<T2>.fooExt(x: Inv<T2>) {}
+
+fun <E> generate(f: Controller<E>.() -> Unit) {}
+
+fun bar(inv: Inv<String>, out: Out<String>, i: In<CharSequence>, cs: CharSequence) {
+    generate {
+        foo1(inv)
+    }
+
+    generate {
+        foo2(out)
+    }
+
+    <!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>generate<!> {
+        <!DEBUG_INFO_ELEMENT_WITH_ERROR_TYPE, OVERLOAD_RESOLUTION_AMBIGUITY!>foo3<!>(inv)
+    }
+
+    <!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>generate<!> {
+        <!DEBUG_INFO_ELEMENT_WITH_ERROR_TYPE, OVERLOAD_RESOLUTION_AMBIGUITY!>foo4<!>(i)
+    }
+
+    generate {
+        // CharSequence <: Tv
+        add(cs)
+        <!DEBUG_INFO_ELEMENT_WITH_ERROR_TYPE, OVERLOAD_RESOLUTION_AMBIGUITY!>foo4<!>(i)
+    }
+
+    <!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>generate<!> {
+        <!DEBUG_INFO_ELEMENT_WITH_ERROR_TYPE, OVERLOAD_RESOLUTION_AMBIGUITY!>fooExt<!>(inv)
+    }
+}