[Analysis API] KTIJ-24453 Handle TYPECHECKER_HAS_RUN_INTO_RECURSIVE_PROBLEM error in KtFe10CallResolver.kt

It makes call with such type of errors completely unresolvable in
Analysis API

^KTIJ-24453 Fixed

analysis/analysis-api-fe10/src/org/jetbrains/kotlin/analysis/api/descriptors/components/KtFe10CallResolver.kt

@@ -5,6 +5,7 @@
 
 package org.jetbrains.kotlin.analysis.api.descriptors.components
 
+import com.intellij.psi.PsiElement
 import org.jetbrains.kotlin.analysis.api.calls.*
 import org.jetbrains.kotlin.analysis.api.descriptors.Fe10AnalysisFacade.AnalysisMode
 import org.jetbrains.kotlin.analysis.api.descriptors.KtFe10AnalysisSession
@@ -28,10 +29,7 @@ import org.jetbrains.kotlin.analysis.api.types.KtType
 import org.jetbrains.kotlin.analysis.utils.printer.parentOfType
 import org.jetbrains.kotlin.builtins.KotlinBuiltIns
 import org.jetbrains.kotlin.descriptors.*
-import org.jetbrains.kotlin.diagnostics.DiagnosticWithParameters1
+import org.jetbrains.kotlin.diagnostics.*
-import org.jetbrains.kotlin.diagnostics.DiagnosticWithParameters2
-import org.jetbrains.kotlin.diagnostics.Errors
-import org.jetbrains.kotlin.diagnostics.Severity
 import org.jetbrains.kotlin.lexer.KtTokens
 import org.jetbrains.kotlin.psi.*
 import org.jetbrains.kotlin.psi.psiUtil.getPossiblyQualifiedCallExpression
@@ -98,7 +96,8 @@ internal class KtFe10CallResolver(
             Errors.REDUNDANT_SPREAD_OPERATOR_IN_NAMED_FORM_IN_ANNOTATION,
             *Errors.TYPE_MISMATCH_ERRORS.toTypedArray(),
         )
-        private val resolutionFailureErrors = setOf(
+
+        private val resolutionFailureErrors: Set<DiagnosticFactoryWithPsiElement<*, *>> = setOf(
             Errors.INVISIBLE_MEMBER,
             Errors.NO_VALUE_FOR_PARAMETER,
             Errors.MISSING_RECEIVER,
@@ -122,6 +121,7 @@ internal class KtFe10CallResolver(
             Errors.PARENTHESIZED_COMPANION_LHS_DEPRECATION,
             Errors.RESOLUTION_TO_PRIVATE_CONSTRUCTOR_OF_SEALED_CLASS,
             Errors.UNRESOLVED_REFERENCE,
+            *Errors.TYPECHECKER_HAS_RUN_INTO_RECURSIVE_PROBLEM.factories,
         )
 
         private val syntaxErrors = setOf(
@@ -143,6 +143,9 @@ internal class KtFe10CallResolver(
             Errors.DELEGATE_SPECIAL_FUNCTION_NONE_APPLICABLE,
             Errors.DELEGATE_PD_METHOD_NONE_APPLICABLE,
         )
+
+        private val DiagnosticFactoryForDeprecation<*, *, *>.factories: Array<DiagnosticFactoryWithPsiElement<*, *>>
+            get() = arrayOf(warningFactory, errorFactory)
     }
 
     override val token: KtLifetimeToken

analysis/analysis-api-fe10/tests-gen/org/jetbrains/kotlin/analysis/api/fe10/test/cases/generated/cases/components/callResolver/Fe10IdeNormalAnalysisSourceModuleResolveCallTestGenerated.java

@@ -772,6 +772,12 @@ public class Fe10IdeNormalAnalysisSourceModuleResolveCallTestGenerated extends A
         runTest("analysis/analysis-api/testData/components/callResolver/resolveCall/superTypeCallEntryResolveToCallInfo.kt");
     }
 
+    @Test
+    @TestMetadata("typecheckerRecursiveError.kt")
+    public void testTypecheckerRecursiveError() throws Exception {
+        runTest("analysis/analysis-api/testData/components/callResolver/resolveCall/typecheckerRecursiveError.kt");
+    }
+
     @Test
     @TestMetadata("unresolvableOperator_elvis_1.kt")
     public void testUnresolvableOperator_elvis_1() throws Exception {

analysis/analysis-api-fir/tests-gen/org/jetbrains/kotlin/analysis/api/fir/test/cases/generated/cases/components/callResolver/FirIdeNormalAnalysisSourceModuleResolveCallTestGenerated.java

@@ -772,6 +772,12 @@ public class FirIdeNormalAnalysisSourceModuleResolveCallTestGenerated extends Ab
         runTest("analysis/analysis-api/testData/components/callResolver/resolveCall/superTypeCallEntryResolveToCallInfo.kt");
     }
 
+    @Test
+    @TestMetadata("typecheckerRecursiveError.kt")
+    public void testTypecheckerRecursiveError() throws Exception {
+        runTest("analysis/analysis-api/testData/components/callResolver/resolveCall/typecheckerRecursiveError.kt");
+    }
+
     @Test
     @TestMetadata("unresolvableOperator_elvis_1.kt")
     public void testUnresolvableOperator_elvis_1() throws Exception {

analysis/analysis-api-standalone/tests-gen/org/jetbrains/kotlin/analysis/api/standalone/fir/test/cases/generated/cases/components/callResolver/FirStandaloneNormalAnalysisSourceModuleResolveCallTestGenerated.java

@@ -772,6 +772,12 @@ public class FirStandaloneNormalAnalysisSourceModuleResolveCallTestGenerated ext
         runTest("analysis/analysis-api/testData/components/callResolver/resolveCall/superTypeCallEntryResolveToCallInfo.kt");
     }
 
+    @Test
+    @TestMetadata("typecheckerRecursiveError.kt")
+    public void testTypecheckerRecursiveError() throws Exception {
+        runTest("analysis/analysis-api/testData/components/callResolver/resolveCall/typecheckerRecursiveError.kt");
+    }
+
     @Test
     @TestMetadata("unresolvableOperator_elvis_1.kt")
     public void testUnresolvableOperator_elvis_1() throws Exception {

analysis/analysis-api/testData/components/callResolver/resolveCall/typecheckerRecursiveError.descriptors.txt

@@ -0,0 +1,3 @@
+KtErrorCallInfo:
+  candidateCalls = []
+  diagnostic = ERROR<TYPECHECKER_HAS_RUN_INTO_RECURSIVE_PROBLEM_ERROR: Type checking has run into a recursive problem. Easiest workaround: specify types of your declarations explicitly>

analysis/analysis-api/testData/components/callResolver/resolveCall/typecheckerRecursiveError.kt

@@ -0,0 +1 @@
+val function = <expr>function()</expr>

analysis/analysis-api/testData/components/callResolver/resolveCall/typecheckerRecursiveError.txt

@@ -0,0 +1,3 @@
+KtErrorCallInfo:
+  candidateCalls = []
+  diagnostic = ERROR<UNRESOLVED_REFERENCE: Unresolved reference: function>