[FIR] Render trivial flexible types compactly

Author: cypressious

analysis/analysis-api/testData/components/resolver/singleByPsi/withErrors/recursiveTypeParameter.call.txt

@@ -5,8 +5,8 @@ KtCallExpression(96,130): 'install(CoroutineModule.builder())'
         CoroutineModule.builder() -> (KaVariableSignature:
           name = builder
           receiverType = null
-          returnType = ft<AbstractModule.Builder<*>, AbstractModule.Builder<*>?>
-          symbol = builder: ft<AbstractModule.Builder<*>, AbstractModule.Builder<*>?>
+          returnType = AbstractModule.Builder<*>!
+          symbol = builder: AbstractModule.Builder<*>!
           contextParameters = []
           callableId = null)
       }
@@ -20,13 +20,13 @@ KtCallExpression(96,130): 'install(CoroutineModule.builder())'
         signature = KaFunctionSignature:
           receiverType = null
           returnType = kotlin.Unit
-          symbol = /AbstractModule.install(<dispatch receiver>: AbstractModule, builder: ft<AbstractModule.Builder<*>, AbstractModule.Builder<*>?>): kotlin.Unit
+          symbol = /AbstractModule.install(<dispatch receiver>: AbstractModule, builder: AbstractModule.Builder<*>!): kotlin.Unit
           valueParameters = [
             KaVariableSignature:
               name = builder
               receiverType = null
-              returnType = ft<AbstractModule.Builder<*>, AbstractModule.Builder<*>?>
-              symbol = builder: ft<AbstractModule.Builder<*>, AbstractModule.Builder<*>?>
+              returnType = AbstractModule.Builder<*>!
+              symbol = builder: AbstractModule.Builder<*>!
               contextParameters = []
               callableId = null
           ]

analysis/analysis-api/testData/components/resolver/singleByPsi/withErrors/recursiveTypeParameter.candidates.txt

@@ -5,8 +5,8 @@ KtCallExpression(96,130): 'install(CoroutineModule.builder())'
         CoroutineModule.builder() -> (KaVariableSignature:
           name = builder
           receiverType = null
-          returnType = ft<AbstractModule.Builder<*>, AbstractModule.Builder<*>?>
-          symbol = builder: ft<AbstractModule.Builder<*>, AbstractModule.Builder<*>?>
+          returnType = AbstractModule.Builder<*>!
+          symbol = builder: AbstractModule.Builder<*>!
           contextParameters = []
           callableId = null)
       }
@@ -20,13 +20,13 @@ KtCallExpression(96,130): 'install(CoroutineModule.builder())'
         signature = KaFunctionSignature:
           receiverType = null
           returnType = kotlin.Unit
-          symbol = /AbstractModule.install(<dispatch receiver>: AbstractModule, builder: ft<AbstractModule.Builder<*>, AbstractModule.Builder<*>?>): kotlin.Unit
+          symbol = /AbstractModule.install(<dispatch receiver>: AbstractModule, builder: AbstractModule.Builder<*>!): kotlin.Unit
           valueParameters = [
             KaVariableSignature:
               name = builder
               receiverType = null
-              returnType = ft<AbstractModule.Builder<*>, AbstractModule.Builder<*>?>
-              symbol = builder: ft<AbstractModule.Builder<*>, AbstractModule.Builder<*>?>
+              returnType = AbstractModule.Builder<*>!
+              symbol = builder: AbstractModule.Builder<*>!
               contextParameters = []
               callableId = null
           ]

analysis/analysis-api/testData/components/resolver/singleByPsi/withErrors/recursiveTypeParameter.descriptors.call.txt

@@ -548,7 +548,7 @@ KaNamedFunctionSymbol:
   receiverParameter: null
   returnType: KaFlexibleType:
     annotations: []
-    type: ft<java/lang/Class<test/E!>, java/lang/Class<test/E!>?>
+    type: java/lang/Class<test/E!>!
   typeParameters: []
   valueParameters: []
   visibility: PUBLIC

analysis/analysis-api/testData/components/resolver/singleByPsi/withErrors/recursiveTypeParameter.descriptors.candidates.txt

@@ -548,7 +548,7 @@ KaNamedFunctionSymbol:
   receiverParameter: null
   returnType: KaFlexibleType:
     annotations: []
-    type: ft<java/lang/Class<test/E!>, java/lang/Class<test/E!>?>
+    type: java/lang/Class<test/E!>!
   typeParameters: []
   valueParameters: []
   visibility: PUBLIC

analysis/analysis-api/testData/components/scopeProvider/memberScope/enumClass.standalone.fir.txt

@@ -695,7 +695,7 @@ KaNamedFunctionSymbol:
   receiverParameter: null
   returnType: KaFlexibleType:
     annotations: []
-    type: ft<java/lang/Class<test/E!>, java/lang/Class<test/E!>?>
+    type: java/lang/Class<test/E!>!
   typeParameters: []
   valueParameters: []
   visibility: PUBLIC

analysis/analysis-api/testData/components/scopeProvider/memberScope/enumClass.txt

@@ -695,7 +695,7 @@ KaNamedFunctionSymbol:
   receiverParameter: null
   returnType: KaFlexibleType:
     annotations: []
-    type: ft<java/lang/Class<test/E!>, java/lang/Class<test/E!>?>
+    type: java/lang/Class<test/E!>!
   typeParameters: []
   valueParameters: []
   visibility: PUBLIC

analysis/analysis-api/testData/components/scopeProvider/memberScope/enumClassWithAbstractMembers.standalone.fir.txt

@@ -695,7 +695,7 @@ KaNamedFunctionSymbol:
   receiverParameter: null
   returnType: KaFlexibleType:
     annotations: []
-    type: ft<java/lang/Class<test/E!>, java/lang/Class<test/E!>?>
+    type: java/lang/Class<test/E!>!
   typeParameters: []
   valueParameters: []
   visibility: PUBLIC

analysis/analysis-api/testData/components/scopeProvider/memberScope/enumClassWithAbstractMembers.txt

@@ -695,7 +695,7 @@ KaNamedFunctionSymbol:
   receiverParameter: null
   returnType: KaFlexibleType:
     annotations: []
-    type: ft<java/lang/Class<test/E!>, java/lang/Class<test/E!>?>
+    type: java/lang/Class<test/E!>!
   typeParameters: []
   valueParameters: []
   visibility: PUBLIC