diff --git a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/LookupTagUtils.kt b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/LookupTagUtils.kt
index d24c64d1e60..a9a0f3983f1 100644
--- a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/LookupTagUtils.kt
+++ b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/LookupTagUtils.kt
@@ -17,7 +17,7 @@ fun ConeClassifierLookupTag.toSymbol(useSiteSession: FirSession): FirClassifierS
     when (this) {
         is ConeClassLikeLookupTag -> toSymbol(useSiteSession)
         is ConeClassifierLookupTagWithFixedSymbol -> this.symbol
-        else -> error("Unknown lookupTag type: ${this::class}")
+        else -> null
     }
 
 @OptIn(LookupTagInternals::class)
diff --git a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/types/ConeTypeContext.kt b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/types/ConeTypeContext.kt
index 4740a124e62..a469cf9b84c 100644
--- a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/types/ConeTypeContext.kt
+++ b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/types/ConeTypeContext.kt
@@ -394,17 +394,24 @@ interface ConeTypeContext : TypeSystemContext, TypeSystemOptimizationContext, Ty
         if (this.isMarkedNullable)
             return true
 
-        if (this is ConeFlexibleType && this.upperBound.isNullableType())
-            return true
-
-        if (this is ConeTypeParameterType /* || is TypeVariable */)
-            return hasNullableSuperType(type)
-
-        if (this is ConeIntersectionType && intersectedTypes.any { it.isNullableType() }) {
-            return true
+        return when (this) {
+            is ConeFlexibleType -> this.upperBound.isNullableType()
+            is ConeTypeParameterType -> lookupTag.symbol.allBoundsAreNullable()
+            is ConeTypeVariableType -> {
+                val symbol = lookupTag.toSymbol(session) ?: return false
+                when (symbol) {
+                    is FirClassSymbol -> false
+                    is FirTypeAliasSymbol -> symbol.fir.expandedConeType?.isNullableType() ?: false
+                    is FirTypeParameterSymbol -> symbol.allBoundsAreNullable()
+                }
+            }
+            is ConeIntersectionType -> intersectedTypes.all { it.isNullableType() }
+            else -> false
         }
+    }
 
-        return false
+    private fun FirTypeParameterSymbol.allBoundsAreNullable(): Boolean {
+        return fir.bounds.all { it.coneType.isMarkedNullable }
     }
 
     private fun TypeConstructorMarker.toFirRegularClass(): FirRegularClass? {
diff --git a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/types/TypeUtils.kt b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/types/TypeUtils.kt
index 5a562dbe10b..2dba1ad70c4 100644
--- a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/types/TypeUtils.kt
+++ b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/types/TypeUtils.kt
@@ -93,22 +93,6 @@ fun <T : ConeKotlinType> T.withAttributes(attributes: ConeAttributes): T {
     } as T
 }
 
-fun ConeTypeContext.hasNullableSuperType(type: ConeKotlinType): Boolean {
-    if (type is ConeClassLikeType) return false
-
-    if (type !is ConeLookupTagBasedType) return false // TODO?
-    val symbol = type.lookupTag
-    for (superType in symbol.supertypes()) {
-        if (superType.isNullableType()) return true
-    }
-//
-//    for (KotlinType supertype : getImmediateSupertypes(type)) {
-//        if (isNullableType(supertype)) return true;
-//    }
-
-    return false
-}
-
 fun <T : ConeKotlinType> T.withNullability(
     nullability: ConeNullability,
     typeContext: ConeInferenceContext? = null,
diff --git a/compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/12.fir.kt b/compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/12.fir.kt
index cb71cdfb613..cc3ba8d4e52 100644
--- a/compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/12.fir.kt
+++ b/compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/12.fir.kt
@@ -2861,7 +2861,7 @@ fun <T> T?.case_47() where T : Inv<T>, T: Comparable<*>?, T: InterfaceWithTypePa
         get()
         ip1test1()
         apply {
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>
             equals(null)
             propT
             propAny
@@ -2873,31 +2873,31 @@ fun <T> T?.case_47() where T : Inv<T>, T: Comparable<*>?, T: InterfaceWithTypePa
             funNullableAny()
             get()
             ip1test1()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.equals(null)
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propNullableT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propNullableAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funNullableT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funNullableAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.get()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.ip1test1()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.equals(null)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propNullableT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propNullableAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funNullableT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funNullableAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.get()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.ip1test1()
         }
         also {
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.equals(null)
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propNullableT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propNullableAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funNullableT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funNullableAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.get()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.ip1test1()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.equals(null)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propNullableT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propNullableAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funNullableT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funNullableAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.get()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.ip1test1()
         }
 
         <!DEBUG_INFO_EXPRESSION_TYPE("T? & T?!!")!>this<!>.compareTo(return)
@@ -2905,11 +2905,11 @@ fun <T> T?.case_47() where T : Inv<T>, T: Comparable<*>?, T: InterfaceWithTypePa
 
         apply {
             compareTo(return)
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.compareTo(return)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.compareTo(return)
         }
 
         also {
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.compareTo(return)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.compareTo(return)
         }
     }
 }
@@ -2938,7 +2938,7 @@ fun <T> T?.case_48() where T : Inv<out T>, T: InterfaceWithTypeParameter1<in T>?
         get()
         ip1test1()
         apply {
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>
             equals(null)
             propT
             propAny
@@ -2950,31 +2950,31 @@ fun <T> T?.case_48() where T : Inv<out T>, T: InterfaceWithTypeParameter1<in T>?
             funNullableAny()
             get()
             ip1test1()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.equals(null)
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propNullableT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propNullableAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funNullableT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funNullableAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.get()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.ip1test1()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.equals(null)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propNullableT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propNullableAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funNullableT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funNullableAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.get()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.ip1test1()
         }
         also {
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.equals(null)
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propNullableT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propNullableAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funNullableT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funNullableAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.get()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.ip1test1()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.equals(null)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propNullableT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propNullableAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funNullableT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funNullableAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.get()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.ip1test1()
         }
     }
 }
@@ -3003,7 +3003,7 @@ fun <T> T?.case_49() where T : Inv<in T>, T: InterfaceWithTypeParameter1<in T>?
         get()
         ip1test1()
         apply {
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>
             equals(null)
             propT
             propAny
@@ -3015,31 +3015,31 @@ fun <T> T?.case_49() where T : Inv<in T>, T: InterfaceWithTypeParameter1<in T>?
             funNullableAny()
             get()
             ip1test1()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.equals(null)
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propNullableT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propNullableAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funNullableT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funNullableAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.get()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.ip1test1()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.equals(null)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propNullableT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propNullableAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funNullableT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funNullableAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.get()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.ip1test1()
         }
         also {
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.equals(null)
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propNullableT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propNullableAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funNullableT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funNullableAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.get()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.ip1test1()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.equals(null)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propNullableT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propNullableAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funNullableT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funNullableAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.get()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.ip1test1()
         }
     }
 }
@@ -3068,7 +3068,7 @@ fun <T> T?.case_50() where T : Inv<out T>, T: InterfaceWithTypeParameter1<out T>
         get()
         ip1test1()
         apply {
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>
             equals(null)
             propT
             propAny
@@ -3080,31 +3080,31 @@ fun <T> T?.case_50() where T : Inv<out T>, T: InterfaceWithTypeParameter1<out T>
             funNullableAny()
             get()
             ip1test1()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.equals(null)
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propNullableT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propNullableAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funNullableT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funNullableAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.get()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.ip1test1()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.equals(null)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propNullableT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propNullableAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funNullableT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funNullableAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.get()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.ip1test1()
         }
         also {
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.equals(null)
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propNullableT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propNullableAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funNullableT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funNullableAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.get()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.ip1test1()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.equals(null)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propNullableT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propNullableAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funNullableT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funNullableAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.get()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.ip1test1()
         }
     }
 }
@@ -3133,7 +3133,7 @@ fun <T> T?.case_51() where T : Inv<T>, T: InterfaceWithTypeParameter1<out T>? {
         get()
         ip1test1()
         apply {
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>
             equals(null)
             propT
             propAny
@@ -3145,31 +3145,31 @@ fun <T> T?.case_51() where T : Inv<T>, T: InterfaceWithTypeParameter1<out T>? {
             funNullableAny()
             get()
             ip1test1()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.equals(null)
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propNullableT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propNullableAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funNullableT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funNullableAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.get()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.ip1test1()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.equals(null)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propNullableT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propNullableAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funNullableT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funNullableAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.get()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.ip1test1()
         }
         also {
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.equals(null)
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propNullableT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propNullableAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funNullableT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funNullableAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.get()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.ip1test1()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.equals(null)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propNullableT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propNullableAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funNullableT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funNullableAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.get()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.ip1test1()
         }
     }
 }
@@ -3194,7 +3194,7 @@ fun <T> T?.case_52() where T : Inv<in T>, T: InterfaceWithTypeParameter1<T>? {
         get()
         ip1test1()
         apply {
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>
             equals(null)
             propT
             propAny
@@ -3206,31 +3206,31 @@ fun <T> T?.case_52() where T : Inv<in T>, T: InterfaceWithTypeParameter1<T>? {
             funNullableAny()
             get()
             ip1test1()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.equals(null)
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propNullableT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propNullableAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funNullableT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funNullableAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.get()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.ip1test1()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.equals(null)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propNullableT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propNullableAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funNullableT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funNullableAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.get()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.ip1test1()
         }
         also {
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.equals(null)
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propNullableT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propNullableAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funNullableT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funNullableAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.get()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.ip1test1()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.equals(null)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propNullableT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propNullableAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funNullableT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funNullableAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.get()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.ip1test1()
         }
     }
 }
@@ -3259,7 +3259,7 @@ fun <T> T?.case_53() where T : Inv<in T>, T: InterfaceWithTypeParameter1<*>? {
         get()
         ip1test1()
         apply {
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>
             equals(null)
             propT
             propAny
@@ -3271,31 +3271,31 @@ fun <T> T?.case_53() where T : Inv<in T>, T: InterfaceWithTypeParameter1<*>? {
             funNullableAny()
             get()
             ip1test1()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.equals(null)
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propNullableT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propNullableAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funNullableT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funNullableAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.get()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.ip1test1()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.equals(null)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propNullableT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propNullableAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funNullableT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funNullableAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.get()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.ip1test1()
         }
         also {
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.equals(null)
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propNullableT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propNullableAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funNullableT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funNullableAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.get()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.ip1test1()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.equals(null)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propNullableT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propNullableAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funNullableT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funNullableAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.get()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.ip1test1()
         }
     }
 }
@@ -3324,7 +3324,7 @@ fun <T> T?.case_54() where T : Inv<*>, T: InterfaceWithTypeParameter1<out T?>? {
         get()
         ip1test1()
         apply {
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>
             equals(null)
             propT
             propAny
@@ -3336,31 +3336,31 @@ fun <T> T?.case_54() where T : Inv<*>, T: InterfaceWithTypeParameter1<out T?>? {
             funNullableAny()
             get()
             ip1test1()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.equals(null)
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propNullableT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propNullableAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funNullableT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funNullableAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.get()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.ip1test1()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.equals(null)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propNullableT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propNullableAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funNullableT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funNullableAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.get()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.ip1test1()
         }
         also {
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.equals(null)
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propNullableT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propNullableAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funNullableT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funNullableAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.get()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.ip1test1()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.equals(null)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propNullableT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propNullableAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funNullableT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funNullableAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.get()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.ip1test1()
         }
     }
 }
@@ -3385,7 +3385,7 @@ fun <T> T?.case_55() where T : Inv<*>, T: InterfaceWithTypeParameter1<T>? {
         get()
         ip1test1()
         apply {
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>
             equals(null)
             propT
             propAny
@@ -3397,31 +3397,31 @@ fun <T> T?.case_55() where T : Inv<*>, T: InterfaceWithTypeParameter1<T>? {
             funNullableAny()
             get()
             ip1test1()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.equals(null)
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propNullableT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propNullableAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funNullableT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funNullableAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.get()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.ip1test1()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.equals(null)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propNullableT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propNullableAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funNullableT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funNullableAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.get()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.ip1test1()
         }
         also {
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.equals(null)
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propNullableT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propNullableAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funNullableT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funNullableAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.get()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.ip1test1()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.equals(null)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propNullableT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propNullableAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funNullableT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funNullableAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.get()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.ip1test1()
         }
     }
 }
diff --git a/compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/13.fir.kt b/compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/13.fir.kt
index a9b32599c67..f03092b521a 100644
--- a/compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/13.fir.kt
+++ b/compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/13.fir.kt
@@ -3216,7 +3216,7 @@ fun <T> case_47(x: T?) where T : Inv<T>, T: Comparable<*>?, T: InterfaceWithType
         x.test()
         x.ip1test1()
         x.apply {
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>
             equals(null)
             propT
             propAny
@@ -3228,31 +3228,31 @@ fun <T> case_47(x: T?) where T : Inv<T>, T: Comparable<*>?, T: InterfaceWithType
             funNullableAny()
             test()
             ip1test1()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.equals(null)
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propNullableT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propNullableAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funNullableT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funNullableAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.test()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.ip1test1()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.equals(null)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propNullableT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propNullableAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funNullableT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funNullableAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.test()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.ip1test1()
         }
         x.also {
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.equals(null)
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propNullableT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propNullableAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funNullableT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funNullableAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.test()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.ip1test1()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.equals(null)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propNullableT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propNullableAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funNullableT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funNullableAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.test()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.ip1test1()
         }
 
         <!DEBUG_INFO_EXPRESSION_TYPE("T? & T?!!")!>x<!>.compareTo(return)
@@ -3260,11 +3260,11 @@ fun <T> case_47(x: T?) where T : Inv<T>, T: Comparable<*>?, T: InterfaceWithType
 
         x.apply {
             compareTo(return)
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.compareTo(return)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.compareTo(return)
         }
 
         x.also {
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.compareTo(return)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.compareTo(return)
         }
     }
 }
@@ -3308,7 +3308,7 @@ fun <T> case_48(x: T?) where T : Inv<out T>, T: InterfaceWithTypeParameter1<in T
         x.test()
         x.ip1test1()
         x.apply {
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>
             equals(null)
             propT
             propAny
@@ -3320,31 +3320,31 @@ fun <T> case_48(x: T?) where T : Inv<out T>, T: InterfaceWithTypeParameter1<in T
             funNullableAny()
             test()
             ip1test1()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.equals(null)
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propNullableT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propNullableAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funNullableT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funNullableAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.test()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.ip1test1()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.equals(null)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propNullableT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propNullableAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funNullableT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funNullableAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.test()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.ip1test1()
         }
         x.also {
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.equals(null)
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propNullableT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propNullableAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funNullableT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funNullableAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.test()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.ip1test1()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.equals(null)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propNullableT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propNullableAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funNullableT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funNullableAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.test()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.ip1test1()
         }
     }
 }
@@ -3388,7 +3388,7 @@ fun <T> case_49(x: T?) where T : Inv<in T>, T: InterfaceWithTypeParameter1<in T>
         x.test()
         x.ip1test1()
         x.apply {
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>
             equals(null)
             propT
             propAny
@@ -3400,31 +3400,31 @@ fun <T> case_49(x: T?) where T : Inv<in T>, T: InterfaceWithTypeParameter1<in T>
             funNullableAny()
             test()
             ip1test1()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.equals(null)
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propNullableT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propNullableAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funNullableT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funNullableAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.test()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.ip1test1()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.equals(null)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propNullableT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propNullableAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funNullableT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funNullableAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.test()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.ip1test1()
         }
         x.also {
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.equals(null)
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propNullableT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propNullableAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funNullableT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funNullableAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.test()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.ip1test1()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.equals(null)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propNullableT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propNullableAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funNullableT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funNullableAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.test()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.ip1test1()
         }
     }
 }
@@ -3468,7 +3468,7 @@ fun <T> case_50(x: T?) where T : Inv<out T>, T: InterfaceWithTypeParameter1<out
         x.test()
         x.ip1test1()
         x.apply {
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>
             equals(null)
             propT
             propAny
@@ -3480,31 +3480,31 @@ fun <T> case_50(x: T?) where T : Inv<out T>, T: InterfaceWithTypeParameter1<out
             funNullableAny()
             test()
             ip1test1()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.equals(null)
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propNullableT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propNullableAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funNullableT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funNullableAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.test()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.ip1test1()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.equals(null)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propNullableT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propNullableAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funNullableT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funNullableAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.test()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.ip1test1()
         }
         x.also {
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.equals(null)
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propNullableT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propNullableAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funNullableT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funNullableAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.test()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.ip1test1()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.equals(null)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propNullableT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propNullableAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funNullableT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funNullableAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.test()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.ip1test1()
         }
     }
 }
@@ -3548,7 +3548,7 @@ fun <T> case_51(x: T?) where T : Inv<T>, T: InterfaceWithTypeParameter1<out T>?
         x.test()
         x.ip1test1()
         x.apply {
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>
             equals(null)
             propT
             propAny
@@ -3560,31 +3560,31 @@ fun <T> case_51(x: T?) where T : Inv<T>, T: InterfaceWithTypeParameter1<out T>?
             funNullableAny()
             test()
             ip1test1()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.equals(null)
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propNullableT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propNullableAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funNullableT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funNullableAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.test()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.ip1test1()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.equals(null)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propNullableT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propNullableAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funNullableT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funNullableAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.test()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.ip1test1()
         }
         x.also {
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.equals(null)
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propNullableT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propNullableAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funNullableT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funNullableAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.test()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.ip1test1()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.equals(null)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propNullableT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propNullableAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funNullableT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funNullableAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.test()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.ip1test1()
         }
     }
 }
@@ -3625,7 +3625,7 @@ fun <T> case_52(x: T?) where T : Inv<in T>, T: InterfaceWithTypeParameter1<T>? {
         x.test()
         x.ip1test1()
         x.apply {
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>
             equals(null)
             propT
             propAny
@@ -3637,31 +3637,31 @@ fun <T> case_52(x: T?) where T : Inv<in T>, T: InterfaceWithTypeParameter1<T>? {
             funNullableAny()
             test()
             ip1test1()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.equals(null)
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propNullableT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propNullableAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funNullableT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funNullableAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.test()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.ip1test1()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.equals(null)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propNullableT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propNullableAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funNullableT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funNullableAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.test()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.ip1test1()
         }
         x.also {
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.equals(null)
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propNullableT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propNullableAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funNullableT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funNullableAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.test()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.ip1test1()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.equals(null)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propNullableT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propNullableAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funNullableT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funNullableAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.test()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.ip1test1()
         }
     }
 }
@@ -3705,7 +3705,7 @@ fun <T> case_53(x: T?) where T : Inv<in T>, T: InterfaceWithTypeParameter1<*>? {
         x.test()
         x.ip1test1()
         x.apply {
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>
             equals(null)
             propT
             propAny
@@ -3717,31 +3717,31 @@ fun <T> case_53(x: T?) where T : Inv<in T>, T: InterfaceWithTypeParameter1<*>? {
             funNullableAny()
             test()
             ip1test1()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.equals(null)
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propNullableT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propNullableAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funNullableT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funNullableAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.test()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.ip1test1()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.equals(null)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propNullableT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propNullableAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funNullableT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funNullableAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.test()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.ip1test1()
         }
         x.also {
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.equals(null)
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propNullableT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propNullableAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funNullableT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funNullableAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.test()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.ip1test1()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.equals(null)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propNullableT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propNullableAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funNullableT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funNullableAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.test()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.ip1test1()
         }
     }
 }
@@ -3785,7 +3785,7 @@ fun <T> case_54(x: T?) where T : Inv<*>, T: InterfaceWithTypeParameter1<out T?>?
         x.test()
         x.ip1test1()
         x.apply {
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>
             equals(null)
             propT
             propAny
@@ -3797,31 +3797,31 @@ fun <T> case_54(x: T?) where T : Inv<*>, T: InterfaceWithTypeParameter1<out T?>?
             funNullableAny()
             test()
             ip1test1()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.equals(null)
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propNullableT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propNullableAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funNullableT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funNullableAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.test()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.ip1test1()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.equals(null)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propNullableT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propNullableAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funNullableT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funNullableAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.test()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.ip1test1()
         }
         x.also {
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.equals(null)
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propNullableT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propNullableAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funNullableT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funNullableAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.test()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.ip1test1()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.equals(null)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propNullableT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propNullableAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funNullableT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funNullableAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.test()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.ip1test1()
         }
     }
 }
@@ -3862,7 +3862,7 @@ fun <T> case_55(x: T?) where T : Inv<*>, T: InterfaceWithTypeParameter1<T>? {
         x.test()
         x.ip1test1()
         x.apply {
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>
             equals(null)
             propT
             propAny
@@ -3874,31 +3874,31 @@ fun <T> case_55(x: T?) where T : Inv<*>, T: InterfaceWithTypeParameter1<T>? {
             funNullableAny()
             test()
             ip1test1()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.equals(null)
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propNullableT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.propNullableAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funNullableT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.funNullableAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.test()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>this<!>.ip1test1()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.equals(null)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propNullableT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.propNullableAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funNullableT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.funNullableAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.test()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>.ip1test1()
         }
         x.also {
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.equals(null)
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propNullableT
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.propNullableAny
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funNullableT()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.funNullableAny()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.test()
-            <!DEBUG_INFO_EXPRESSION_TYPE("T?!!")!>it<!>.ip1test1()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.equals(null)
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propNullableT
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.propNullableAny
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funNullableT()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.funNullableAny()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.test()
+            <!DEBUG_INFO_EXPRESSION_TYPE("T")!>it<!>.ip1test1()
         }
     }
 }