FE: Add some debug information for the case of SOE from type approximator

Author: dzharkov

compiler/fir/cones/src/org/jetbrains/kotlin/fir/renderer/ConeTypeRenderer.kt

@@ -11,7 +11,8 @@ import org.jetbrains.kotlin.types.model.TypeConstructorMarker
 import org.jetbrains.kotlin.utils.addToStdlib.ifNotEmpty
 
 open class ConeTypeRenderer(
-    private val attributeRenderer: ConeAttributeRenderer = ConeAttributeRenderer.ToString
+    private val attributeRenderer: ConeAttributeRenderer = ConeAttributeRenderer.ToString,
+    private var renderCapturedDetails: Boolean = false,
 ) {
     lateinit var builder: StringBuilder
     lateinit var idRenderer: ConeIdRenderer
@@ -136,6 +137,16 @@ open class ConeTypeRenderer(
                 builder.append("CapturedType(")
                 constructor.projection.render()
                 builder.append(")")
+                if (renderCapturedDetails) {
+                    builder.append(
+                        " with lowerType=${constructor.lowerType?.let(::render)}, supertypes=["
+                    )
+                    // To prevent recursion
+                    renderCapturedDetails = false
+                    constructor.supertypes?.forEach(::render)
+                    renderCapturedDetails = true
+                    builder.append("]")
+                }
             }
 
             is ConeClassLikeErrorLookupTag -> builder.append("ERROR CLASS: ${constructor.diagnostic.reason}")

compiler/fir/cones/src/org/jetbrains/kotlin/fir/renderer/ConeTypeRendererForDebugInfo.kt

@@ -11,9 +11,10 @@ import org.jetbrains.kotlin.fir.types.ConeIntersectionType
 import org.jetbrains.kotlin.fir.types.ConeKotlinType
 
 open class ConeTypeRendererForDebugInfo protected constructor(
-    coneAttributeRendererForReadability: ConeAttributeRenderer = ConeAttributeRenderer.ForReadability
-) : ConeTypeRenderer(coneAttributeRendererForReadability) {
-    constructor(builder: StringBuilder) : this() {
+    renderCapturedDetails: Boolean = false,
+    coneAttributeRendererForReadability: ConeAttributeRenderer = ConeAttributeRenderer.ForReadability,
+) : ConeTypeRenderer(coneAttributeRendererForReadability, renderCapturedDetails) {
+    constructor(builder: StringBuilder, renderCapturedDetails: Boolean = false) : this(renderCapturedDetails) {
         this.builder = builder
         idRenderer = ConeIdRendererForDiagnostics()
         idRenderer.builder = builder

compiler/fir/cones/src/org/jetbrains/kotlin/fir/renderer/ConeTypeRendererForReadability.kt

@@ -15,7 +15,7 @@ import org.jetbrains.kotlin.types.model.TypeConstructorMarker
 open class ConeTypeRendererForReadability(
     private val preRenderedConstructors: Map<TypeConstructorMarker, String>? = null,
     private val idRendererCreator: () -> ConeIdRenderer,
-) : ConeTypeRendererForDebugInfo(ConeAttributeRenderer.None) {
+) : ConeTypeRendererForDebugInfo(coneAttributeRendererForReadability = ConeAttributeRenderer.None) {
     constructor(
         builder: StringBuilder,
         preRenderedConstructors: Map<TypeConstructorMarker, String>? = null,

compiler/fir/providers/src/org/jetbrains/kotlin/fir/types/ConeTypeApproximator.kt

@@ -7,8 +7,10 @@ package org.jetbrains.kotlin.fir.types
 
 import org.jetbrains.kotlin.config.LanguageFeature
 import org.jetbrains.kotlin.config.LanguageVersionSettings
+import org.jetbrains.kotlin.fir.renderer.ConeTypeRendererForDebugInfo
 import org.jetbrains.kotlin.types.AbstractTypeApproximator
 import org.jetbrains.kotlin.types.TypeApproximatorConfiguration
+import org.jetbrains.kotlin.types.model.KotlinTypeMarker
 
 class ConeTypeApproximator(inferenceContext: ConeInferenceContext, languageVersionSettings: LanguageVersionSettings) :
     AbstractTypeApproximator(inferenceContext, languageVersionSettings) {
@@ -22,6 +24,10 @@ class ConeTypeApproximator(inferenceContext: ConeInferenceContext, languageVersi
         return super.approximateToSubType(type, conf, caches = null) as ConeKotlinType?
     }
 
+    override fun KotlinTypeMarker.renderForDebugInfo(): String = buildString {
+        ConeTypeRendererForDebugInfo(this, renderCapturedDetails = true).render(this@renderForDebugInfo as ConeKotlinType)
+    }
+
     private fun ConeKotlinType.fastPathSkipApproximation(conf: TypeApproximatorConfiguration): Boolean {
         if (this is ConeClassLikeType && this.typeArguments.isEmpty() &&
             this.lookupTag.let { !it.isLocalClass() && !it.isAnonymousClass() }

compiler/resolution.common/src/org/jetbrains/kotlin/types/AbstractTypeApproximator.kt

@@ -100,10 +100,16 @@ abstract class AbstractTypeApproximator(
         approximateTo: context(TypeApproximatorConfiguration, Cache) (KotlinTypeMarker, Int) -> KotlinTypeMarker?,
     ): KotlinTypeMarker? {
         return context(conf, caches?.getOrPut(conf, ::Cache) ?: Cache()) {
-            approximateTo(type, -type.typeDepthForApproximation())
+            try {
+                approximateTo(type, -type.typeDepthForApproximation())
+            } catch (e: StackOverflowError) {
+                throw RuntimeException("StackOverflowError during type approximation for ${type.renderForDebugInfo()}", e)
+            }
         }
     }
 
+    protected open fun KotlinTypeMarker.renderForDebugInfo(): String = toString()
+
     fun clearCache() {
         cacheForIncorporationConfigToSubtypeDirection.clear()
         cacheForIncorporationConfigToSuperDirection.clear()