[AA] approximate inplace type parameters bounds

^ KTIJ-27211 fixed

analysis/analysis-api/src/org/jetbrains/kotlin/analysis/api/renderer/declarations/impl/KtDeclarationRendererForDebug.kt

@@ -18,5 +18,12 @@ public object KtDeclarationRendererForDebug {
         typeRenderer = KtTypeRendererForDebug.WITH_QUALIFIED_NAMES
         declarationTypeApproximator = KtRendererTypeApproximator.NO_APPROXIMATION
     }
+
+    public val WITH_QUALIFIED_NAMES_DENOTABLE: KtDeclarationRenderer = KtDeclarationRendererForSource.WITH_QUALIFIED_NAMES.with {
+        singleTypeParameterRenderer = KtSingleTypeParameterSymbolRenderer.WITHOUT_BOUNDS
+        samConstructorRenderer = KtSamConstructorSymbolRenderer.AS_FUNCTION
+        typeRenderer = KtTypeRendererForDebug.WITH_QUALIFIED_NAMES
+        declarationTypeApproximator = KtRendererTypeApproximator.TO_DENOTABLE
+    }
 }
 

analysis/analysis-api/src/org/jetbrains/kotlin/analysis/api/renderer/declarations/renderers/KtTypeParametersRenderer.kt

@@ -63,7 +63,9 @@ public interface KtTypeParametersRenderer {
                 )
                 if (typeParameter.upperBounds.size == 1) {
                     append(" : ")
-                    typeRenderer.renderType(typeParameter.upperBounds.single(), printer)
+                    val ktType = typeParameter.upperBounds.single()
+                    val type = declarationTypeApproximator.approximateType(ktType, Variance.OUT_VARIANCE)
+                    typeRenderer.renderType(type, printer)
                 }
             }
         }

analysis/analysis-api/testData/components/symbolDeclarationRenderer/symbolRenderingByReference/javaMethodWithMultipleTypeParametersBound.descriptors.txt

@@ -0,0 +1 @@
+open fun <K> foo() where K : T?, K : java.lang.Runnable?

analysis/analysis-api/testData/components/symbolDeclarationRenderer/symbolRenderingByReference/javaMethodWithMultipleTypeParametersBound.kt

@@ -0,0 +1,13 @@
+// DO_NOT_CHECK_SYMBOL_RESTORE_K1
+
+// FILE: main.kt
+class J: JavaClass<String> {}
+
+fun some(j: J) {
+  j.f<caret>o<caret_onAirContext>o()
+}
+
+// FILE: JavaClass.java
+public class JavaClass<T> {
+  public <K extends T & Runnable> void foo() {};
+}

analysis/analysis-api/testData/components/symbolDeclarationRenderer/symbolRenderingByReference/javaMethodWithMultipleTypeParametersBound.txt

@@ -0,0 +1 @@
+open fun <K> foo() where K : kotlin.String?, K : java.lang.Runnable?

analysis/analysis-api/testData/components/symbolDeclarationRenderer/symbolRenderingByReference/javaMethodWithTypeParametersBound.descriptors.txt

@@ -0,0 +1 @@
+open fun <K : T?> foo()

analysis/analysis-api/testData/components/symbolDeclarationRenderer/symbolRenderingByReference/javaMethodWithTypeParametersBound.kt

@@ -0,0 +1,13 @@
+//DO_NOT_CHECK_SYMBOL_RESTORE_K1
+
+// FILE: main.kt
+class J: JavaClass<String> {}
+
+fun some(j: J) {
+  j.f<caret>o<caret_onAirContext>o()
+}
+
+// FILE: JavaClass.java
+public class JavaClass<T> {
+  public <K extends T> void foo() {};
+}

analysis/analysis-api/testData/components/symbolDeclarationRenderer/symbolRenderingByReference/javaMethodWithTypeParametersBound.txt

@@ -0,0 +1 @@
+open fun <K : kotlin.String?> foo()