[Analysis API] add testcases, add comments to tests

analysis/analysis-api/testData/components/scopeProvider/typeScope/innerClassTypeParamsSubstitution.kt

@@ -1,11 +1,15 @@
 class Outer<O> {
-  inner class A<X> {
+  inner class A<X>: Super<O> {
       fun <Y> foo(x: X, y: Y): Map<X, Map<Y, O>>
 
       val map: Map<X, O>
    }
 }
 
+abstract class Super<S> {
+    abstract fun fromSuper(): S
+}
+
 fun foo(o: Outer<String>) {
     val a = o.A<Int>()
     println(<expr>a</expr>)

analysis/analysis-api/testData/components/scopeProvider/typeScope/innerClassTypeParamsSubstitution.pretty.txt

@@ -1,6 +1,7 @@
 KtTypeScope:
 fun foo(x: kotlin.Int, y: Y): kotlin.collections.Map<kotlin.Int, kotlin.collections.Map<Y, kotlin.String>>
 val map: kotlin.collections.Map<kotlin.Int, kotlin.String>
+fun fromSuper(): kotlin.String
 fun equals(other: kotlin.Any?): kotlin.Boolean
 fun hashCode(): kotlin.Int
 fun toString(): kotlin.String
@@ -9,6 +10,7 @@ fun toString(): kotlin.String
 Declaration Scope:
 fun <Y> foo(x: X, y: Y): kotlin.collections.Map<X, kotlin.collections.Map<Y, O>>
 val map: kotlin.collections.Map<X, O>
+fun fromSuper(): O
 fun equals(other: kotlin.Any?): kotlin.Boolean
 fun hashCode(): kotlin.Int
 fun toString(): kotlin.String

analysis/analysis-api/testData/components/scopeProvider/typeScope/innerClassTypeParamsSubstitution.txt

@@ -27,6 +27,12 @@ KtVariableLikeSignature:
   returnType = kotlin.collections.Map<kotlin.Int, kotlin.String>
   symbol = val map: kotlin.collections.Map<X, O>
   callableIdIfNonLocal = /Outer.A.map
+KtFunctionLikeSignature:
+  receiverType = null
+  returnType = kotlin.String
+  symbol = /Outer.A.fromSuper(<dispatch receiver>: Outer.A<X, O>): O
+  valueParameters = []
+  callableIdIfNonLocal = /Outer.A.fromSuper
 KtFunctionLikeSignature:
   receiverType = null
   returnType = kotlin.Boolean
@@ -107,6 +113,28 @@ KtKotlinPropertySymbol:
   symbolKind: CLASS_MEMBER
   typeParameters: []
   visibility: Public
+KtFunctionSymbol:
+  annotationsList: []
+  callableIdIfNonLocal: /Outer.A.fromSuper
+  hasStableParameterNames: true
+  isBuiltinFunctionInvoke: false
+  isExtension: false
+  isExternal: false
+  isInfix: false
+  isInline: false
+  isOperator: false
+  isOverride: false
+  isStatic: false
+  isSuspend: false
+  modality: ABSTRACT
+  name: fromSuper
+  origin: SOURCE
+  receiverType: null
+  returnType: O
+  symbolKind: CLASS_MEMBER
+  typeParameters: []
+  valueParameters: []
+  visibility: Public
 KtFunctionSymbol:
   annotationsList: []
   callableIdIfNonLocal: kotlin/Any.equals

analysis/analysis-api/testData/components/signatureSubstitution/signatureSubstitution/function.kt

@@ -1,3 +1,4 @@
 // SUBSTITUTOR: T -> kotlin.collections.List<S>, S -> kotlin.Long
+// the test checks that function own type parameters (`S` in this test) won't be substituted recursively
 
-fun <T, S> f<caret>oo(x: List<T>, y: Map<T, List<S>>, k: String): T
+fun <T, S> f<caret>oo(x: List<T>, y: Map<T, List<S>>, k: String): T 

analysis/analysis-api/testData/components/signatureSubstitution/symbolSubstitution/function.kt

@@ -1,3 +1,5 @@
+// the test checks that function own type parameters (`S` in this test) won't be substituted recursively
+
 // SUBSTITUTOR: T -> kotlin.collections.List<S>, S -> kotlin.Long
 
 fun <T, S> f<caret>oo(x: List<T>, y: Map<T, List<S>>, k: String): T