K1/K2: add test for KT-71210 and similar cases

compiler/testData/diagnostics/tests/inference/genericInvokeInCompanion.fir.kt

@@ -0,0 +1,37 @@
+// ISSUE: KT-71210
+
+class C<T> {
+ companion object {
+ operator fun <T> invoke(name: String) = C<T>()
+ }
+}
+
+fun main() {
+ C.Companion.<!CANNOT_INFER_PARAMETER_TYPE, NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>invoke<!>("")
+ C<Int>.Companion.<!CANNOT_INFER_PARAMETER_TYPE, NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>invoke<!>("")
+ C<Int, Int, Int>.Companion.<!CANNOT_INFER_PARAMETER_TYPE, NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>invoke<!>("")
+
+ C.<!CANNOT_INFER_PARAMETER_TYPE, NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>invoke<!>("")
+ C<Int>.<!CANNOT_INFER_PARAMETER_TYPE, NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>invoke<!>("")
+ C<Int, Int, Int>.<!CANNOT_INFER_PARAMETER_TYPE, NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>invoke<!>("")
+
+ C.Companion.invoke<Int>("")
+ C<Int>.Companion.invoke<Int>("")
+ C<Int, Int, Int>.Companion.invoke<Int>("")
+
+ C.invoke<Int>("")
+ C<Int>.invoke<Int>("")
+ C<Int, Int, Int>.invoke<Int>("")
+
+ <!CANNOT_INFER_PARAMETER_TYPE, NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>C<!>("")
+ C<Int>("")
+ <!INAPPLICABLE_CANDIDATE!>C<!><Int, Int, Int>("")
+
+ C.Companion.<!INAPPLICABLE_CANDIDATE!>invoke<!><Int, Int, Int>("")
+ C<Int>.Companion.<!INAPPLICABLE_CANDIDATE!>invoke<!><Int, Int, Int>("")
+ C<Int, Int, Int>.Companion.<!INAPPLICABLE_CANDIDATE!>invoke<!><Int, Int>("")
+
+ C.<!INAPPLICABLE_CANDIDATE!>invoke<!><Int, Int, Int>("")
+ C<Int>.<!INAPPLICABLE_CANDIDATE!>invoke<!><Int, Int, Int>("")
+ C<Int, Int, Int>.<!INAPPLICABLE_CANDIDATE!>invoke<!><Int, Int>("")
+}

compiler/testData/diagnostics/tests/inference/genericInvokeInCompanion.kt

@@ -0,0 +1,37 @@
+// ISSUE: KT-71210
+
+class C<T> {
+ companion object {
+ operator fun <T> invoke(name: String) = C<T>()
+ }
+}
+
+fun main() {
+ C.Companion.<!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>invoke<!>("")
+ <!FUNCTION_CALL_EXPECTED!>C<Int><!>.<!NESTED_CLASS_ACCESSED_VIA_INSTANCE_REFERENCE!>Companion<!>.<!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>invoke<!>("")
+ <!FUNCTION_CALL_EXPECTED!>C<!WRONG_NUMBER_OF_TYPE_ARGUMENTS!><Int, Int, Int><!><!>.<!DEBUG_INFO_MISSING_UNRESOLVED!>Companion<!>.<!DEBUG_INFO_MISSING_UNRESOLVED!>invoke<!>("")
+
+ C.<!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>invoke<!>("")
+ <!FUNCTION_CALL_EXPECTED!>C<Int><!>.<!UNRESOLVED_REFERENCE!>invoke<!>("")
+ <!FUNCTION_CALL_EXPECTED!>C<!WRONG_NUMBER_OF_TYPE_ARGUMENTS!><Int, Int, Int><!><!>.<!DEBUG_INFO_MISSING_UNRESOLVED!>invoke<!>("")
+
+ C.Companion.invoke<Int>("")
+ <!FUNCTION_CALL_EXPECTED!>C<Int><!>.<!NESTED_CLASS_ACCESSED_VIA_INSTANCE_REFERENCE!>Companion<!>.invoke<Int>("")
+ <!FUNCTION_CALL_EXPECTED!>C<!WRONG_NUMBER_OF_TYPE_ARGUMENTS!><Int, Int, Int><!><!>.<!DEBUG_INFO_MISSING_UNRESOLVED!>Companion<!>.<!DEBUG_INFO_MISSING_UNRESOLVED!>invoke<!><Int>("")
+
+ C.invoke<Int>("")
+ <!FUNCTION_CALL_EXPECTED!>C<Int><!>.<!UNRESOLVED_REFERENCE!>invoke<!><Int>("")
+ <!FUNCTION_CALL_EXPECTED!>C<!WRONG_NUMBER_OF_TYPE_ARGUMENTS!><Int, Int, Int><!><!>.<!DEBUG_INFO_MISSING_UNRESOLVED!>invoke<!><Int>("")
+
+ <!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>C<!>("")
+ C<Int>("")
+ <!WRONG_NUMBER_OF_TYPE_ARGUMENTS!>C<!><Int, Int, Int>("")
+
+ C.Companion.invoke<!WRONG_NUMBER_OF_TYPE_ARGUMENTS!><Int, Int, Int><!>("")
+ <!FUNCTION_CALL_EXPECTED!>C<Int><!>.<!NESTED_CLASS_ACCESSED_VIA_INSTANCE_REFERENCE!>Companion<!>.invoke<!WRONG_NUMBER_OF_TYPE_ARGUMENTS!><Int, Int, Int><!>("")
+ <!FUNCTION_CALL_EXPECTED!>C<!WRONG_NUMBER_OF_TYPE_ARGUMENTS!><Int, Int, Int><!><!>.<!DEBUG_INFO_MISSING_UNRESOLVED!>Companion<!>.<!DEBUG_INFO_MISSING_UNRESOLVED!>invoke<!><Int, Int>("")
+
+ C.invoke<!WRONG_NUMBER_OF_TYPE_ARGUMENTS!><Int, Int, Int><!>("")
+ <!FUNCTION_CALL_EXPECTED!>C<Int><!>.<!UNRESOLVED_REFERENCE!>invoke<!><Int, Int, Int>("")
+ <!FUNCTION_CALL_EXPECTED!>C<!WRONG_NUMBER_OF_TYPE_ARGUMENTS!><Int, Int, Int><!><!>.<!DEBUG_INFO_MISSING_UNRESOLVED!>invoke<!><Int, Int>("")
+}