FIR/UAST: commonize dot qualified expression

2021-06-07 17:10:13 -07:00
parent 8f70ef41f0
commit 08e486d1a7
91 changed files with 600 additions and 172 deletions
@@ -1,17 +1,6 @@
 /*
- * Copyright 2010-2016 JetBrains s.r.o.
- *
- * Licensed under the Apache License, Version 2.0 (the "License");
- * you may not use this file except in compliance with the License.
- * You may obtain a copy of the License at
- *
- * http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
+ * Copyright 2010-2021 JetBrains s.r.o. and Kotlin Programming Language contributors.
+ * Use of this source code is governed by the Apache 2.0 license that can be found in the license/LICENSE.txt file.
 */

 package org.jetbrains.uast.kotlin
@@ -26,12 +15,12 @@ import org.jetbrains.uast.UastQualifiedExpressionAccessType
 import org.jetbrains.uast.kotlin.internal.DelegatedMultiResolve

 class KotlinUQualifiedReferenceExpression(
-        override val sourcePsi: KtDotQualifiedExpression,
-        givenParent: UElement?
+    override val sourcePsi: KtDotQualifiedExpression,
+    givenParent: UElement?
 ) : KotlinAbstractUExpression(givenParent), UQualifiedReferenceExpression, DelegatedMultiResolve,
-        KotlinUElementWithType, KotlinEvaluatableUElement {
-    override val receiver by lz { KotlinConverter.convertOrEmpty(sourcePsi.receiverExpression, this) }
-    override val selector by lz { KotlinConverter.convertOrEmpty(sourcePsi.selectorExpression, this) }
+    KotlinUElementWithType, KotlinEvaluatableUElement {
+    override val receiver by lz { baseResolveProviderService.baseKotlinConverter.convertOrEmpty(sourcePsi.receiverExpression, this) }
+    override val selector by lz { baseResolveProviderService.baseKotlinConverter.convertOrEmpty(sourcePsi.selectorExpression, this) }
    override val accessType = UastQualifiedExpressionAccessType.SIMPLE

    override fun resolve(): PsiElement? = sourcePsi.selectorExpression?.let { baseResolveProviderService.resolveToDeclaration(it) }
@@ -309,6 +309,8 @@ internal object FirKotlinConverter : BaseKotlinConverter {

                is KtArrayAccessExpression -> expr<UArrayAccessExpression>(build(::FirKotlinUArrayAccessExpression))

+                is KtDotQualifiedExpression -> expr<UQualifiedReferenceExpression>(build(::KotlinUQualifiedReferenceExpression))
+
                else -> expr<UExpression>(build(::UnknownKotlinExpression))
            }
        }
@@ -7,8 +7,12 @@ UFile (package = )
        UMethod (name = getTopRunnable)
        UMethod (name = main)
            UBlockExpression
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+                UQualifiedReferenceExpression
+                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION)
+                UQualifiedReferenceExpression
+                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION)
    UClass (name = RunnableManager)
        UField (name = INSTANCE)
        UField (name = tasks)
@@ -18,7 +22,9 @@ UFile (package = )
        UMethod (name = register)
            UParameter (name = runnable)
            UBlockExpression
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+                UQualifiedReferenceExpression
+                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION)
        UMethod (name = runAll)
            UBlockExpression
                [!] UnknownKotlinExpression (FOR)
@@ -5,8 +5,8 @@ public final class ObjectsKt {
    private static final var topRunnable: java.lang.Runnable = [!] UnknownKotlinExpression (OBJECT_LITERAL)
    public static final fun getTopRunnable() : java.lang.Runnable = UastEmptyExpression
    public static final fun main() : void {
-        [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
-        [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)
+        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)
    }
 }

@@ -16,7 +16,7 @@ public final class RunnableManager {
    private fun RunnableManager() = UastEmptyExpression
    public final fun getTasks() : java.util.List<java.lang.Runnable> = UastEmptyExpression
    public final fun register(runnable: java.lang.Runnable) : void {
-        [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)
    }
    public final fun runAll() : void {
        [!] UnknownKotlinExpression (FOR)
@@ -0,0 +1,2 @@
+isBlank() -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+isNotEmpty() -> UQualifiedReferenceExpression from KtDotQualifiedExpression
@@ -0,0 +1,6 @@
+Closeable -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+io -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+InputStream -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+io -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+run() -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+run() -> UQualifiedReferenceExpression from KtDotQualifiedExpression
@@ -0,0 +1,7 @@
+toString() -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+toString() -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+toString() -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+toString() -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+toString() -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+toString() -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+toString() -> UQualifiedReferenceExpression from KtDotQualifiedExpression
@@ -0,0 +1,2 @@
+pkg -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+HIDDEN -> UQualifiedReferenceExpression from KtDotQualifiedExpression
@@ -0,0 +1 @@
+toString() -> UQualifiedReferenceExpression from KtDotQualifiedExpression
@@ -0,0 +1,17 @@
+currentThread -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+Thread -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+lang -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+NORM_PRIORITY -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+Thread -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+lang -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+UncaughtExceptionHandler -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+Thread -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+lang -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+sleep -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+Thread -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+lang -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+emptyList -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+collections -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+SIZE_BYTES -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+Companion -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+Int -> UQualifiedReferenceExpression from KtDotQualifiedExpression
@@ -0,0 +1,4 @@
+mapTo(mutableSetOf()) {
+
+    } -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+filterIsInstance<Some>() -> UQualifiedReferenceExpression from KtDotQualifiedExpression
@@ -0,0 +1,3 @@
+kotlin -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+uast -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+jetbrains -> UQualifiedReferenceExpression from KtDotQualifiedExpression
@@ -0,0 +1,6 @@
+Stream -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+stream -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+util -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+filter { it.isEmpty() } -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+empty<String>() -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+isEmpty() -> UQualifiedReferenceExpression from KtDotQualifiedExpression
@@ -0,0 +1,17 @@
+withReceiver(1, 1.2F) -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+atan2(1.3, 3.4) -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+format("%i %i %i", 1, 2, 3) -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+String -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+lang -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+format("%i %i %i", arrayOf(1, 2, 3)) -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+String -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+lang -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+format("%i %i %i", arrayOf(1, 2, 3), arrayOf(4, 5, 6)) -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+String -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+lang -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+format("%i %i %i", *"".chunked(2).toTypedArray()) -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+String -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+lang -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+toTypedArray() -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+chunked(2) -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+with2Receivers(8, 7.0F) -> UQualifiedReferenceExpression from KtDotQualifiedExpression
@@ -0,0 +1 @@
+toString() -> UQualifiedReferenceExpression from KtDotQualifiedExpression
@@ -0,0 +1,5 @@
+mutableProp -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+mutableProp -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+mutableProp -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+mutableProp -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+mutableProp -> UQualifiedReferenceExpression from KtDotQualifiedExpression
@@ -0,0 +1,5 @@
+C -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+B -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+Foo() -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+C -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+B -> UQualifiedReferenceExpression from KtDotQualifiedExpression
@@ -0,0 +1 @@
+length -> UQualifiedReferenceExpression from KtDotQualifiedExpression
@@ -0,0 +1,5 @@
+pkg -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+java -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+java -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+java -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+java -> UQualifiedReferenceExpression from KtDotQualifiedExpression
@@ -0,0 +1 @@
+filterIsInstance<String>() -> UQualifiedReferenceExpression from KtDotQualifiedExpression
@@ -0,0 +1,17 @@
+foo() -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+inlineFoo() -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+forEach { println(it) } -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+joinToString() -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+size -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+indices -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+Date() -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+util -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+time -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+last() -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+setValue("123") -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+first() -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+entries -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+contains(2 as Int) -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+foo() -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+isEmpty() -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+foo() -> UQualifiedReferenceExpression from KtDotQualifiedExpression
@@ -0,0 +1,12 @@
+Thread -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+lang -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+Runnable -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+lang -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+Callable -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+concurrent -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+util -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+Supplier -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+function -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+util -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+Runnable { /* SAM */ } -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+lang -> UQualifiedReferenceExpression from KtDotQualifiedExpression
@@ -0,0 +1,2 @@
+repeat(4) -> UQualifiedReferenceExpression from KtBlockStringTemplateEntry
+repeat(4) -> UQualifiedReferenceExpression from KtDotQualifiedExpression
@@ -0,0 +1,2 @@
+repeat(4) -> UQualifiedReferenceExpression from KtBlockStringTemplateEntry
+repeat(4) -> UQualifiedReferenceExpression from KtDotQualifiedExpression
@@ -0,0 +1 @@
+bar("lorem") -> UQualifiedReferenceExpression from KtDotQualifiedExpression
@@ -0,0 +1,2 @@
+toString() -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+foo(a) -> UQualifiedReferenceExpression from KtDotQualifiedExpression
@@ -0,0 +1,2 @@
+pkg -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+inner() -> UQualifiedReferenceExpression from KtDotQualifiedExpression
@@ -0,0 +1,2 @@
+map { it.toString() } -> UQualifiedReferenceExpression from KtDotQualifiedExpression
+toString() -> UQualifiedReferenceExpression from KtDotQualifiedExpression
@@ -0,0 +1 @@
+java -> UQualifiedReferenceExpression from KtDotQualifiedExpression
@@ -5,9 +5,13 @@ UFile (package = )
        UMethod (name = foo)
            UBlockExpression
                [!] UnknownKotlinExpression (PROPERTY)
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+                UQualifiedReferenceExpression
+                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION)
                [!] UnknownKotlinExpression (PROPERTY)
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+                UQualifiedReferenceExpression
+                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION)
                [!] UnknownKotlinExpression (PROPERTY)
                [!] UnknownKotlinExpression (PROPERTY)
        UMethod (name = withErr)
@@ -4,9 +4,9 @@ import java.io.InputStream
 public final class AnonymousKt {
    public static final fun foo() : void {
        [!] UnknownKotlinExpression (PROPERTY)
-        [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)
        [!] UnknownKotlinExpression (PROPERTY)
-        [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)
        [!] UnknownKotlinExpression (PROPERTY)
        [!] UnknownKotlinExpression (PROPERTY)
    }
@@ -66,7 +66,9 @@ UFile (package = )
                UastEmptyExpression
                [!] UnknownKotlinExpression (BINARY_EXPRESSION)
                [!] UnknownKotlinExpression (PROPERTY)
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+                UQualifiedReferenceExpression
+                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION)
        UMethod (name = getA)
        UMethod (name = setA)
            UParameter (name = value)
@@ -67,7 +67,7 @@ public final class AWithSecondaryInit {
        UastEmptyExpression
        [!] UnknownKotlinExpression (BINARY_EXPRESSION)
        [!] UnknownKotlinExpression (PROPERTY)
-        [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)
    }
    public final fun getA() : java.lang.String = UastEmptyExpression
    public final fun setA(value: java.lang.String) : void = UastEmptyExpression
@@ -3,6 +3,10 @@ UFile (package = )
        UMethod (name = test)
            UParameter (name = list)
            UBlockExpression
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+                UQualifiedReferenceExpression
+                    UQualifiedReferenceExpression
+                        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)
+                        [!] UnknownKotlinExpression (CALL_EXPRESSION)
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION)
    UClass (name = Some)
        UMethod (name = Some)
@@ -1,6 +1,6 @@
 public final class InnerNonFixedTypeVariableKt {
    public static final fun test(list: java.util.List<? extends java.lang.Object>) : void {
-        [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)
    }
 }

@@ -3,7 +3,11 @@ UFile (package = )
    UClass (name = LambdasKt)
        UMethod (name = foo)
            UBlockExpression
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+                UQualifiedReferenceExpression
+                    UQualifiedReferenceExpression
+                        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)
+                        [!] UnknownKotlinExpression (CALL_EXPRESSION)
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION)
        UMethod (name = doSelectItem)
            UParameter (name = selectItemFunction)
            UBlockExpression
@@ -2,7 +2,7 @@ import java.util.stream.Stream

 public final class LambdasKt {
    public static final fun foo() : void {
-        [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)
    }
    public static final fun doSelectItem(selectItemFunction: kotlin.jvm.functions.Function0<? extends kotlin.Unit>) : void {
        [!] UnknownKotlinExpression (CALL_EXPRESSION)
@@ -19,13 +19,41 @@ UFile (package = )
            UBlockExpression
                [!] UnknownKotlinExpression (CALL_EXPRESSION)
                [!] UnknownKotlinExpression (CALL_EXPRESSION)
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+                UQualifiedReferenceExpression
+                    ULiteralExpression (value = "abc")
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION)
+                UQualifiedReferenceExpression
+                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION)
                [!] UnknownKotlinExpression (CALL_EXPRESSION)
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+                UQualifiedReferenceExpression
+                    UQualifiedReferenceExpression
+                        UQualifiedReferenceExpression
+                            [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)
+                            [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)
+                        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION)
+                UQualifiedReferenceExpression
+                    UQualifiedReferenceExpression
+                        UQualifiedReferenceExpression
+                            [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)
+                            [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)
+                        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION)
+                UQualifiedReferenceExpression
+                    UQualifiedReferenceExpression
+                        UQualifiedReferenceExpression
+                            [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)
+                            [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)
+                        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION)
+                UQualifiedReferenceExpression
+                    UQualifiedReferenceExpression
+                        UQualifiedReferenceExpression
+                            [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)
+                            [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)
+                        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION)
                [!] UnknownKotlinExpression (CALL_EXPRESSION)
        UMethod (name = objectLiteral)
            UBlockExpression
@@ -8,13 +8,13 @@ public final class ParametersDisorderKt {
    public static final fun call() : void {
        [!] UnknownKotlinExpression (CALL_EXPRESSION)
        [!] UnknownKotlinExpression (CALL_EXPRESSION)
-        [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
-        [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+        "abc".[!] UnknownKotlinExpression (CALL_EXPRESSION)
+        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)
        [!] UnknownKotlinExpression (CALL_EXPRESSION)
-        [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
-        [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
-        [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
-        [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)
+        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)
+        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)
+        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)
        [!] UnknownKotlinExpression (CALL_EXPRESSION)
    }
    public static final fun objectLiteral() : void {
@@ -4,7 +4,9 @@ UFile (package = )
        UMethod (name = getStringRepresentation)
            UBlockExpression
                UReturnExpression
-                    [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+                    UQualifiedReferenceExpression
+                        [!] UnknownKotlinExpression (THIS_EXPRESSION)
+                        [!] UnknownKotlinExpression (CALL_EXPRESSION)
        UMethod (name = setStringRepresentation)
            UParameter (name = value)
            UBlockExpression
@@ -1,7 +1,7 @@
 public final class PropertyTest {
    public fun PropertyTest() = UastEmptyExpression
    public final fun getStringRepresentation() : java.lang.String {
-        return [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+        return [!] UnknownKotlinExpression (THIS_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)
    }
    public final fun setStringRepresentation(value: java.lang.String) : void {
        [!] UnknownKotlinExpression (CALL_EXPRESSION)
@@ -6,4 +6,10 @@ UFile (package = A.B.C)
        UMethod (name = getFoo)
            UBlockExpression
                UReturnExpression
-                    [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+                    UQualifiedReferenceExpression
+                        UQualifiedReferenceExpression
+                            UQualifiedReferenceExpression
+                                [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)
+                                [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)
+                            [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)
+                        [!] UnknownKotlinExpression (CALL_EXPRESSION)
@@ -7,6 +7,6 @@ public final class Foo {
 public final class Bar {
    public fun Bar() = UastEmptyExpression
    public final fun getFoo() : A.B.C.Foo {
-        return [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+        return [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)
    }
 }
@@ -4,7 +4,9 @@ UFile (package = )
            UParameter (name = $this$foo)
            UBlockExpression
                UReturnExpression
-                    [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+                    UQualifiedReferenceExpression
+                        [!] UnknownKotlinExpression (THIS_EXPRESSION)
+                        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)
        UMethod (name = getRx)
            UParameter (name = $this$rx)
            UBlockExpression
@@ -1,6 +1,6 @@
 public final class ReceiverFunKt {
    public static final fun foo($this$foo: java.lang.String) : int {
-        return [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+        return [!] UnknownKotlinExpression (THIS_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)
    }
    public static final fun getRx($this$rx: java.lang.String) : kotlin.text.Regex {
        return [!] UnknownKotlinExpression (CALL_EXPRESSION)
@@ -2,27 +2,53 @@ UFile (package = )
    UClass (name = ResolveKt)
        UMethod (name = bar)
            UBlockExpression
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+                UQualifiedReferenceExpression
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION)
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION)
+                UQualifiedReferenceExpression
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION)
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION)
+                UQualifiedReferenceExpression
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION)
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION)
+                UQualifiedReferenceExpression
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION)
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION)
+                UQualifiedReferenceExpression
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION)
+                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)
+                UQualifiedReferenceExpression
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION)
+                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)
                [!] UnknownKotlinExpression (PROPERTY)
                [!] UnknownKotlinExpression (BINARY_EXPRESSION)
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+                UQualifiedReferenceExpression
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION)
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION)
+                UQualifiedReferenceExpression
+                    UQualifiedReferenceExpression
+                        UQualifiedReferenceExpression
+                            [!] UnknownKotlinExpression (CALL_EXPRESSION)
+                            [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)
+                        [!] UnknownKotlinExpression (CALL_EXPRESSION)
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION)
                [!] UnknownKotlinExpression (PROPERTY)
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+                UQualifiedReferenceExpression
+                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION)
                [!] UnknownKotlinExpression (CALL_EXPRESSION)
        UMethod (name = barT)
            UParameter (name = t)
            UBlockExpression
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+                UQualifiedReferenceExpression
+                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION)
        UMethod (name = barTL)
            UParameter (name = listT)
            UBlockExpression
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+                UQualifiedReferenceExpression
+                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION)
                [!] UnknownKotlinExpression (FOR)
    UClass (name = A)
        UMethod (name = A)
@@ -1,24 +1,24 @@
 public final class ResolveKt {
    public static final fun bar() : void {
-        [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
-        [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
-        [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
-        [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
-        [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
-        [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+        [!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)
+        [!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)
+        [!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)
+        [!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)
+        [!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)
+        [!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)
        [!] UnknownKotlinExpression (PROPERTY)
        [!] UnknownKotlinExpression (BINARY_EXPRESSION)
-        [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
-        [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+        [!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)
+        [!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)
        [!] UnknownKotlinExpression (PROPERTY)
-        [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)
        [!] UnknownKotlinExpression (CALL_EXPRESSION)
    }
    public static final fun barT(t: T) : void {
-        [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)
    }
    public static final fun barTL(listT: T) : void {
-        [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)
        [!] UnknownKotlinExpression (FOR)
    }
 }
@@ -9,7 +9,11 @@ UFile (package = )
        UField (name = foo)
            [!] UnknownKotlinExpression (LAMBDA_EXPRESSION)
        UField (name = baz)
-            [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+            UQualifiedReferenceExpression
+                UQualifiedReferenceExpression
+                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)
+                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)
+                [!] UnknownKotlinExpression (CALL_EXPRESSION)
        UMethod (name = getNotSam)
        UMethod (name = getFoo)
        UMethod (name = setFoo)
@@ -6,7 +6,7 @@ import java.util.function.Supplier
 public final class SAMKt {
    private static final var notSam: kotlin.jvm.functions.Function0<? extends kotlin.Unit> = [!] UnknownKotlinExpression (LAMBDA_EXPRESSION)
    private static var foo: java.lang.Runnable = [!] UnknownKotlinExpression (LAMBDA_EXPRESSION)
-    private static final var baz: java.lang.Runnable = [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+    private static final var baz: java.lang.Runnable = [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)
    public static final fun getNotSam() : kotlin.jvm.functions.Function0<? extends kotlin.Unit> = UastEmptyExpression
    public static final fun getFoo() : java.lang.Runnable = UastEmptyExpression
    public static final fun setFoo(value: java.lang.Runnable) : void = UastEmptyExpression
@@ -24,7 +24,11 @@ UFile (package = )
        UField (name = literalInLiteral2)
            UPolyadicExpression (operator = +)
                ULiteralExpression (value = "a ")
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+                UQualifiedReferenceExpression
+                    UPolyadicExpression (operator = +)
+                        ULiteralExpression (value = "literal")
+                        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION)
                ULiteralExpression (value = " z")
        UField (name = empty)
            ULiteralExpression (value = "")
@@ -3,7 +3,7 @@ public final class StringTemplateComplexKt {
    private static final var case4: java.lang.String = "a " + "literal" + " z"
    private static final var case5: java.lang.String = "a " + "literal" + " " + "literal" + " z"
    private static final var literalInLiteral: java.lang.String = "a " + "literal" + [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) + " z"
-    private static final var literalInLiteral2: java.lang.String = "a " + [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) + " z"
+    private static final var literalInLiteral2: java.lang.String = "a " + "literal" + [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION) + " z"
    private static final var empty: java.lang.String = ""
    public static final fun getMuchRecur() : java.lang.String = UastEmptyExpression
    public static final fun getCase4() : java.lang.String = UastEmptyExpression
@@ -24,7 +24,11 @@ UFile (package = )
        UField (name = literalInLiteral2)
            UPolyadicExpression (operator = +)
                ULiteralExpression (value = "a ")
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+                UQualifiedReferenceExpression
+                    UPolyadicExpression (operator = +)
+                        ULiteralExpression (value = "literal")
+                        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION)
                ULiteralExpression (value = " z")
        UField (name = empty)
            ULiteralExpression (value = "")
@@ -3,7 +3,7 @@ public final class StringTemplateComplexForUInjectionHostKt {
    private static final var case4: java.lang.String = "a " + "literal" + " z"
    private static final var case5: java.lang.String = "a " + "literal" + " " + "literal" + " z"
    private static final var literalInLiteral: java.lang.String = "a " + "literal" + [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) + " z"
-    private static final var literalInLiteral2: java.lang.String = "a " + [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) + " z"
+    private static final var literalInLiteral2: java.lang.String = "a " + "literal" + [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION) + " z"
    private static final var empty: java.lang.String = ""
    public static final fun getMuchRecur() : java.lang.String = UastEmptyExpression
    public static final fun getCase4() : java.lang.String = UastEmptyExpression
@@ -1,6 +1,8 @@
 UFile (package = )
    UClass (name = Demo)
        UField (name = foo)
-            [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+            UQualifiedReferenceExpression
+                [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)
+                [!] UnknownKotlinExpression (CALL_EXPRESSION)
        UMethod (name = Demo)
        UMethod (name = getFoo)
@@ -1,5 +1,5 @@
 public final class Demo {
-    private final var foo: error.NonExistentClass = [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+    private final var foo: error.NonExistentClass = [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)
    public fun Demo() = UastEmptyExpression
    public final fun getFoo() : error.NonExistentClass = UastEmptyExpression
 }
@@ -36,7 +36,9 @@ UFile (package = )
        UMethod (name = foo)
            UParameter (name = a)
            UBlockExpression
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+                UQualifiedReferenceExpression
+                    [!] UnknownKotlinExpression (SUPER_EXPRESSION)
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION)
    UClass (name = O)
        UField (name = INSTANCE)
        UMethod (name = O)
@@ -31,7 +31,7 @@ public final class C : A {
        [!] UnknownKotlinExpression (CALL_EXPRESSION)
    }
    public fun foo(a: long) : void {
-        [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+        [!] UnknownKotlinExpression (SUPER_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)
    }
 }

@@ -3,7 +3,9 @@ UFile (package = test.pkg)
        UMethod (name = top)
            UBlockExpression
                UReturnExpression
-                    [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+                    UQualifiedReferenceExpression
+                        [!] UnknownKotlinExpression (CALL_EXPRESSION)
+                        [!] UnknownKotlinExpression (CALL_EXPRESSION)
    UClass (name = Context)
        UMethod (name = Context)
        UMethod (name = inner)
@@ -2,7 +2,7 @@ package test.pkg

 public final class SuspendKt {
    public static final fun top() : int {
-        return [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)
+        return [!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)
    }
 }

@@ -5,9 +5,13 @@ UFile (package = ) [import java.io.Closeable...]
        UMethod (name = foo) [public static final fun foo() : void {...}]
            UBlockExpression [{...}] : PsiType:Unit
                [!] UnknownKotlinExpression (PROPERTY) [[!] UnknownKotlinExpression (PROPERTY)]
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)]
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] : PsiType:Unit
+                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)]
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
                [!] UnknownKotlinExpression (PROPERTY) [[!] UnknownKotlinExpression (PROPERTY)]
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)]
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] : PsiType:Unit
+                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)]
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
                [!] UnknownKotlinExpression (PROPERTY) [[!] UnknownKotlinExpression (PROPERTY)]
                [!] UnknownKotlinExpression (PROPERTY) [[!] UnknownKotlinExpression (PROPERTY)]
        UMethod (name = withErr) [public static final fun withErr() : void {...}]
@@ -66,7 +66,9 @@ UFile (package = ) [public final class A {...]
                UastEmptyExpression [UastEmptyExpression]
                [!] UnknownKotlinExpression (BINARY_EXPRESSION) [[!] UnknownKotlinExpression (BINARY_EXPRESSION)]
                [!] UnknownKotlinExpression (PROPERTY) [[!] UnknownKotlinExpression (PROPERTY)]
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)]
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] : PsiType:String
+                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)]
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
        UMethod (name = getA) [public final fun getA() : java.lang.String = UastEmptyExpression]
        UMethod (name = setA) [public final fun setA(value: java.lang.String) : void = UastEmptyExpression]
            UParameter (name = value) [var value: java.lang.String]
@@ -3,6 +3,10 @@ UFile (package = ) [public final class InnerNonFixedTypeVariableKt {...]
        UMethod (name = test) [public static final fun test(list: java.util.List<? extends java.lang.Object>) : void {...}]
            UParameter (name = list) [var list: java.util.List<? extends java.lang.Object>]
            UBlockExpression [{...}] : PsiType:Set<Unit>
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)]
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] : PsiType:Set<Unit>
+                    UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] : PsiType:NonExistentClass
+                        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)]
+                        [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
    UClass (name = Some) [public final class Some {...}]
        UMethod (name = Some) [public fun Some() = UastEmptyExpression]
@@ -19,13 +19,41 @@ UFile (package = ) [public final class ParametersDisorderKt {...]
            UBlockExpression [{...}] : PsiType:Unit
                [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
                [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)]
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)]
+                UQualifiedReferenceExpression ["abc".[!] UnknownKotlinExpression (CALL_EXPRESSION)] : PsiType:Unit
+                    ULiteralExpression (value = "abc") ["abc"] : PsiType:String
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] : PsiType:double
+                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)]
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
                [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)]
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)]
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)]
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)]
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] : PsiType:NonExistentClass
+                    UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] : PsiType:Unit
+                        UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] : PsiType:Unit
+                            [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)]
+                            [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)]
+                        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)]
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] : PsiType:NonExistentClass
+                    UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] : PsiType:Unit
+                        UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] : PsiType:Unit
+                            [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)]
+                            [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)]
+                        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)]
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] : PsiType:NonExistentClass
+                    UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] : PsiType:Unit
+                        UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] : PsiType:Unit
+                            [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)]
+                            [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)]
+                        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)]
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] : PsiType:NonExistentClass
+                    UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] : PsiType:Unit
+                        UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] : PsiType:Unit
+                            [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)]
+                            [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)]
+                        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)]
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
                [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
        UMethod (name = objectLiteral) [public static final fun objectLiteral() : void {...}]
            UBlockExpression [{...}] : PsiType:Parent
@@ -3,8 +3,10 @@ UFile (package = ) [public final class PropertyTest {...]
        UMethod (name = PropertyTest) [public fun PropertyTest() = UastEmptyExpression]
        UMethod (name = getStringRepresentation) [public final fun getStringRepresentation() : java.lang.String {...}]
            UBlockExpression [{...}]
-                UReturnExpression [return [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)]
-                    [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)]
+                UReturnExpression [return [!] UnknownKotlinExpression (THIS_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)]
+                    UQualifiedReferenceExpression [[!] UnknownKotlinExpression (THIS_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] : PsiType:String
+                        [!] UnknownKotlinExpression (THIS_EXPRESSION) [[!] UnknownKotlinExpression (THIS_EXPRESSION)]
+                        [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
        UMethod (name = setStringRepresentation) [public final fun setStringRepresentation(value: java.lang.String) : void {...}]
            UParameter (name = value) [var value: java.lang.String]
            UBlockExpression [{...}] : PsiType:Unit
@@ -5,5 +5,11 @@ UFile (package = A.B.C) [package A.B.C...]
        UMethod (name = Bar) [public fun Bar() = UastEmptyExpression]
        UMethod (name = getFoo) [public final fun getFoo() : A.B.C.Foo {...}]
            UBlockExpression [{...}] : PsiType:Void
-                UReturnExpression [return [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)] : PsiType:Void
-                    [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)]
+                UReturnExpression [return [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] : PsiType:Void
+                    UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] : PsiType:Foo
+                        UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] : PsiType:Unit
+                            UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] : PsiType:Unit
+                                [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)]
+                                [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)]
+                            [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)]
+                        [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
@@ -3,8 +3,10 @@ UFile (package = ) [public final class ReceiverFunKt {...]
        UMethod (name = foo) [public static final fun foo($this$foo: java.lang.String) : int {...}]
            UParameter (name = $this$foo) [var $this$foo: java.lang.String]
            UBlockExpression [{...}]
-                UReturnExpression [return [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)]
-                    [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)]
+                UReturnExpression [return [!] UnknownKotlinExpression (THIS_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)]
+                    UQualifiedReferenceExpression [[!] UnknownKotlinExpression (THIS_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] : PsiType:int
+                        [!] UnknownKotlinExpression (THIS_EXPRESSION) [[!] UnknownKotlinExpression (THIS_EXPRESSION)]
+                        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)]
        UMethod (name = getRx) [public static final fun getRx($this$rx: java.lang.String) : kotlin.text.Regex {...}]
            UParameter (name = $this$rx) [var $this$rx: java.lang.String]
            UBlockExpression [{...}] : PsiType:Regex
@@ -2,27 +2,53 @@ UFile (package = ) [public final class ResolveKt {...]
    UClass (name = ResolveKt) [public final class ResolveKt {...}]
        UMethod (name = bar) [public static final fun bar() : void {...}]
            UBlockExpression [{...}] : PsiType:IntRange
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)]
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)]
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)]
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)]
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)]
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)]
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] : PsiType:Unit
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] : PsiType:Unit
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] : PsiType:Unit
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] : PsiType:String
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] : PsiType:int
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
+                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)]
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] : PsiType:IntRange
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
+                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)]
                [!] UnknownKotlinExpression (PROPERTY) [[!] UnknownKotlinExpression (PROPERTY)]
                [!] UnknownKotlinExpression (BINARY_EXPRESSION) [[!] UnknownKotlinExpression (BINARY_EXPRESSION)]
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)]
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)]
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] : PsiType:String
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] : PsiType:String
+                    UQualifiedReferenceExpression [[!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] : PsiType:Entry<Integer, String>
+                        UQualifiedReferenceExpression [[!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] : PsiType:Set<Entry<Integer, String>>
+                            [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
+                            [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)]
+                        [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
                [!] UnknownKotlinExpression (PROPERTY) [[!] UnknownKotlinExpression (PROPERTY)]
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)]
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] : PsiType:boolean
+                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)]
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
                [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
        UMethod (name = barT) [public static final fun barT(t: T) : void {...}]
            UParameter (name = t) [var t: T]
            UBlockExpression [{...}] : PsiType:Unit
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)]
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] : PsiType:Unit
+                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)]
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
        UMethod (name = barTL) [public static final fun barTL(listT: T) : void {...}]
            UParameter (name = listT) [var listT: T]
            UBlockExpression [{...}] : PsiType:Unit
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)]
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] : PsiType:boolean
+                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)]
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
                [!] UnknownKotlinExpression (FOR) [[!] UnknownKotlinExpression (FOR)]
    UClass (name = A) [public class A {...}]
        UMethod (name = A) [public fun A() = UastEmptyExpression]
@@ -8,8 +8,12 @@ UFile (package = ) [import java.lang.Thread...]
            [!] UnknownKotlinExpression (LAMBDA_EXPRESSION) [[!] UnknownKotlinExpression (LAMBDA_EXPRESSION)]
        UField (name = foo) [private static var foo: java.lang.Runnable = [!] UnknownKotlinExpression (LAMBDA_EXPRESSION)]
            [!] UnknownKotlinExpression (LAMBDA_EXPRESSION) [[!] UnknownKotlinExpression (LAMBDA_EXPRESSION)]
-        UField (name = baz) [private static final var baz: java.lang.Runnable = [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)]
-            [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)]
+        UField (name = baz) [private static final var baz: java.lang.Runnable = [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)]
+            UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] : PsiType:Runnable
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] : PsiType:Unit
+                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)]
+                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)]
+                [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
        UMethod (name = getNotSam) [public static final fun getNotSam() : kotlin.jvm.functions.Function0<? extends kotlin.Unit> = UastEmptyExpression]
        UMethod (name = getFoo) [public static final fun getFoo() : java.lang.Runnable = UastEmptyExpression]
        UMethod (name = setFoo) [public static final fun setFoo(value: java.lang.Runnable) : void = UastEmptyExpression]
@@ -21,10 +21,14 @@ UFile (package = ) [public final class StringTemplateComplexKt {...]
                    ULiteralExpression (value = "literal") ["literal"] : PsiType:String
                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)]
                ULiteralExpression (value = " z") [" z"] : PsiType:String
-        UField (name = literalInLiteral2) [private static final var literalInLiteral2: java.lang.String = "a " + [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) + " z"]
-            UPolyadicExpression (operator = +) ["a " + [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) + " z"] : PsiType:String
+        UField (name = literalInLiteral2) [private static final var literalInLiteral2: java.lang.String = "a " + "literal" + [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION) + " z"]
+            UPolyadicExpression (operator = +) ["a " + "literal" + [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION) + " z"] : PsiType:String
                ULiteralExpression (value = "a ") ["a "] : PsiType:String
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)]
+                UQualifiedReferenceExpression ["literal" + [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] : PsiType:String
+                    UPolyadicExpression (operator = +) ["literal" + [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] : PsiType:String
+                        ULiteralExpression (value = "literal") ["literal"] : PsiType:String
+                        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)]
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
                ULiteralExpression (value = " z") [" z"] : PsiType:String
        UField (name = empty) [private static final var empty: java.lang.String = ""]
            ULiteralExpression (value = "") [""] : PsiType:String
@@ -21,10 +21,14 @@ UFile (package = ) [public final class StringTemplateComplexForUInjectionHostKt
                    ULiteralExpression (value = "literal") ["literal"] : PsiType:String
                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)]
                ULiteralExpression (value = " z") [" z"] : PsiType:String
-        UField (name = literalInLiteral2) [private static final var literalInLiteral2: java.lang.String = "a " + [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) + " z"]
-            UPolyadicExpression (operator = +) ["a " + [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) + " z"] : PsiType:String
+        UField (name = literalInLiteral2) [private static final var literalInLiteral2: java.lang.String = "a " + "literal" + [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION) + " z"]
+            UPolyadicExpression (operator = +) ["a " + "literal" + [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION) + " z"] : PsiType:String
                ULiteralExpression (value = "a ") ["a "] : PsiType:String
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)]
+                UQualifiedReferenceExpression ["literal" + [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] : PsiType:String
+                    UPolyadicExpression (operator = +) ["literal" + [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] : PsiType:String
+                        ULiteralExpression (value = "literal") ["literal"] : PsiType:String
+                        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)]
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
                ULiteralExpression (value = " z") [" z"] : PsiType:String
        UField (name = empty) [private static final var empty: java.lang.String = ""]
            ULiteralExpression (value = "") [""] : PsiType:String
@@ -1,6 +1,8 @@
 UFile (package = ) [public final class Demo {...]
    UClass (name = Demo) [public final class Demo {...}]
-        UField (name = foo) [private final var foo: error.NonExistentClass = [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)]
-            [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)]
+        UField (name = foo) [private final var foo: error.NonExistentClass = [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)]
+            UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] : PsiType:NonExistentClass
+                [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)]
+                [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
        UMethod (name = Demo) [public fun Demo() = UastEmptyExpression]
        UMethod (name = getFoo) [public final fun getFoo() : error.NonExistentClass = UastEmptyExpression]
@@ -36,7 +36,9 @@ UFile (package = ) [public final class SuperCallsKt {...]
        UMethod (name = foo) [public fun foo(a: long) : void {...}]
            UParameter (name = a) [var a: long]
            UBlockExpression [{...}] : PsiType:Unit
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)]
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (SUPER_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] : PsiType:Unit
+                    [!] UnknownKotlinExpression (SUPER_EXPRESSION) [[!] UnknownKotlinExpression (SUPER_EXPRESSION)]
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
    UClass (name = O) [public final class O : A {...}]
        UField (name = INSTANCE) [public static final var INSTANCE: O]
        UMethod (name = O) [private fun O() = UastEmptyExpression]
@@ -2,8 +2,10 @@ UFile (package = test.pkg) [package test.pkg...]
    UClass (name = SuspendKt) [public final class SuspendKt {...}]
        UMethod (name = top) [public static final fun top() : int {...}]
            UBlockExpression [{...}]
-                UReturnExpression [return [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)]
-                    [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)]
+                UReturnExpression [return [!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)]
+                    UQualifiedReferenceExpression [[!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] : PsiType:int
+                        [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
+                        [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
    UClass (name = Context) [public final class Context {...}]
        UMethod (name = Context) [public fun Context() = UastEmptyExpression]
        UMethod (name = inner) [public final fun inner() : int {...}]
@@ -5,9 +5,13 @@ UFile (package = ) [import java.io.Closeable...]
        UMethod (name = foo) [public static final fun foo() : void {...}]
            UBlockExpression [{...}] = Undetermined
                [!] UnknownKotlinExpression (PROPERTY) [[!] UnknownKotlinExpression (PROPERTY)] = Undetermined
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)] = Undetermined
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
                [!] UnknownKotlinExpression (PROPERTY) [[!] UnknownKotlinExpression (PROPERTY)] = Undetermined
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)] = Undetermined
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
                [!] UnknownKotlinExpression (PROPERTY) [[!] UnknownKotlinExpression (PROPERTY)] = Undetermined
                [!] UnknownKotlinExpression (PROPERTY) [[!] UnknownKotlinExpression (PROPERTY)] = Undetermined
        UMethod (name = withErr) [public static final fun withErr() : void {...}]
@@ -66,7 +66,9 @@ UFile (package = ) [public final class A {...]
                UastEmptyExpression [UastEmptyExpression] = Undetermined
                [!] UnknownKotlinExpression (BINARY_EXPRESSION) [[!] UnknownKotlinExpression (BINARY_EXPRESSION)] = Undetermined
                [!] UnknownKotlinExpression (PROPERTY) [[!] UnknownKotlinExpression (PROPERTY)] = Undetermined
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)] = Undetermined
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
        UMethod (name = getA) [public final fun getA() : java.lang.String = UastEmptyExpression]
        UMethod (name = setA) [public final fun setA(value: java.lang.String) : void = UastEmptyExpression]
            UParameter (name = value) [var value: java.lang.String]
@@ -3,6 +3,10 @@ UFile (package = ) [public final class InnerNonFixedTypeVariableKt {...]
        UMethod (name = test) [public static final fun test(list: java.util.List<? extends java.lang.Object>) : void {...}]
            UParameter (name = list) [var list: java.util.List<? extends java.lang.Object>]
            UBlockExpression [{...}] = Undetermined
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)] = Undetermined
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                    UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                        [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
    UClass (name = Some) [public final class Some {...}]
        UMethod (name = Some) [public fun Some() = UastEmptyExpression]
@@ -3,7 +3,11 @@ UFile (package = ) [import java.util.stream.Stream...]
    UClass (name = LambdasKt) [public final class LambdasKt {...}]
        UMethod (name = foo) [public static final fun foo() : void {...}]
            UBlockExpression [{...}] = Undetermined
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)] = Undetermined
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                    UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                        [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
        UMethod (name = doSelectItem) [public static final fun doSelectItem(selectItemFunction: kotlin.jvm.functions.Function0<? extends kotlin.Unit>) : void {...}]
            UParameter (name = selectItemFunction) [var selectItemFunction: kotlin.jvm.functions.Function0<? extends kotlin.Unit>]
            UBlockExpression [{...}] = Undetermined
@@ -19,13 +19,41 @@ UFile (package = ) [public final class ParametersDisorderKt {...]
            UBlockExpression [{...}] = Undetermined
                [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
                [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)] = Undetermined
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)] = Undetermined
+                UQualifiedReferenceExpression ["abc".[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                    ULiteralExpression (value = "abc") ["abc"] = "abc"
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
                [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)] = Undetermined
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)] = Undetermined
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)] = Undetermined
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)] = Undetermined
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                    UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                        UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                            [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                            [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                    UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                        UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                            [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                            [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                    UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                        UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                            [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                            [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                    UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                        UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                            [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                            [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
                [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
        UMethod (name = objectLiteral) [public static final fun objectLiteral() : void {...}]
            UBlockExpression [{...}] = Undetermined
@@ -3,8 +3,10 @@ UFile (package = ) [public final class PropertyTest {...]
        UMethod (name = PropertyTest) [public fun PropertyTest() = UastEmptyExpression]
        UMethod (name = getStringRepresentation) [public final fun getStringRepresentation() : java.lang.String {...}]
            UBlockExpression [{...}] = Nothing
-                UReturnExpression [return [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)] = Nothing
-                    [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)] = Undetermined
+                UReturnExpression [return [!] UnknownKotlinExpression (THIS_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Nothing
+                    UQualifiedReferenceExpression [[!] UnknownKotlinExpression (THIS_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                        [!] UnknownKotlinExpression (THIS_EXPRESSION) [[!] UnknownKotlinExpression (THIS_EXPRESSION)] = Undetermined
+                        [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
        UMethod (name = setStringRepresentation) [public final fun setStringRepresentation(value: java.lang.String) : void {...}]
            UParameter (name = value) [var value: java.lang.String]
            UBlockExpression [{...}] = Undetermined
@@ -5,5 +5,11 @@ UFile (package = A.B.C) [package A.B.C...]
        UMethod (name = Bar) [public fun Bar() = UastEmptyExpression]
        UMethod (name = getFoo) [public final fun getFoo() : A.B.C.Foo {...}]
            UBlockExpression [{...}] = Nothing
-                UReturnExpression [return [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)] = Nothing
-                    [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)] = Undetermined
+                UReturnExpression [return [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Nothing
+                    UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                        UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                            UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                                [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                                [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                            [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                        [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
@@ -3,8 +3,10 @@ UFile (package = ) [public final class ReceiverFunKt {...]
        UMethod (name = foo) [public static final fun foo($this$foo: java.lang.String) : int {...}]
            UParameter (name = $this$foo) [var $this$foo: java.lang.String]
            UBlockExpression [{...}] = Nothing
-                UReturnExpression [return [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)] = Nothing
-                    [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)] = Undetermined
+                UReturnExpression [return [!] UnknownKotlinExpression (THIS_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Nothing
+                    UQualifiedReferenceExpression [[!] UnknownKotlinExpression (THIS_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                        [!] UnknownKotlinExpression (THIS_EXPRESSION) [[!] UnknownKotlinExpression (THIS_EXPRESSION)] = Undetermined
+                        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
        UMethod (name = getRx) [public static final fun getRx($this$rx: java.lang.String) : kotlin.text.Regex {...}]
            UParameter (name = $this$rx) [var $this$rx: java.lang.String]
            UBlockExpression [{...}] = Nothing
@@ -2,27 +2,53 @@ UFile (package = ) [public final class ResolveKt {...]
    UClass (name = ResolveKt) [public final class ResolveKt {...}]
        UMethod (name = bar) [public static final fun bar() : void {...}]
            UBlockExpression [{...}] = Undetermined
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)] = Undetermined
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)] = Undetermined
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)] = Undetermined
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)] = Undetermined
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)] = Undetermined
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)] = Undetermined
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
                [!] UnknownKotlinExpression (PROPERTY) [[!] UnknownKotlinExpression (PROPERTY)] = Undetermined
                [!] UnknownKotlinExpression (BINARY_EXPRESSION) [[!] UnknownKotlinExpression (BINARY_EXPRESSION)] = Undetermined
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)] = Undetermined
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)] = Undetermined
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                    UQualifiedReferenceExpression [[!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                        UQualifiedReferenceExpression [[!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                            [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                            [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                        [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
                [!] UnknownKotlinExpression (PROPERTY) [[!] UnknownKotlinExpression (PROPERTY)] = Undetermined
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)] = Undetermined
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
                [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
        UMethod (name = barT) [public static final fun barT(t: T) : void {...}]
            UParameter (name = t) [var t: T]
            UBlockExpression [{...}] = Undetermined
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)] = Undetermined
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
        UMethod (name = barTL) [public static final fun barTL(listT: T) : void {...}]
            UParameter (name = listT) [var listT: T]
            UBlockExpression [{...}] = Undetermined
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)] = Undetermined
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
                [!] UnknownKotlinExpression (FOR) [[!] UnknownKotlinExpression (FOR)] = Undetermined
    UClass (name = A) [public class A {...}]
        UMethod (name = A) [public fun A() = UastEmptyExpression]
@@ -8,8 +8,12 @@ UFile (package = ) [import java.lang.Thread...]
            [!] UnknownKotlinExpression (LAMBDA_EXPRESSION) [[!] UnknownKotlinExpression (LAMBDA_EXPRESSION)] = Undetermined
        UField (name = foo) [private static var foo: java.lang.Runnable = [!] UnknownKotlinExpression (LAMBDA_EXPRESSION)]
            [!] UnknownKotlinExpression (LAMBDA_EXPRESSION) [[!] UnknownKotlinExpression (LAMBDA_EXPRESSION)] = Undetermined
-        UField (name = baz) [private static final var baz: java.lang.Runnable = [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)]
-            [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)] = Undetermined
+        UField (name = baz) [private static final var baz: java.lang.Runnable = [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)]
+            UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
        UMethod (name = getNotSam) [public static final fun getNotSam() : kotlin.jvm.functions.Function0<? extends kotlin.Unit> = UastEmptyExpression]
        UMethod (name = getFoo) [public static final fun getFoo() : java.lang.Runnable = UastEmptyExpression]
        UMethod (name = setFoo) [public static final fun setFoo(value: java.lang.Runnable) : void = UastEmptyExpression]
@@ -21,10 +21,14 @@ UFile (package = ) [public final class StringTemplateComplexKt {...]
                    ULiteralExpression (value = "literal") ["literal"] = "literal"
                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
                ULiteralExpression (value = " z") [" z"] = " z"
-        UField (name = literalInLiteral2) [private static final var literalInLiteral2: java.lang.String = "a " + [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) + " z"]
-            UPolyadicExpression (operator = +) ["a " + [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) + " z"] = Undetermined
+        UField (name = literalInLiteral2) [private static final var literalInLiteral2: java.lang.String = "a " + "literal" + [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION) + " z"]
+            UPolyadicExpression (operator = +) ["a " + "literal" + [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION) + " z"] = Undetermined
                ULiteralExpression (value = "a ") ["a "] = "a "
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)] = Undetermined
+                UQualifiedReferenceExpression ["literal" + [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                    UPolyadicExpression (operator = +) ["literal" + [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                        ULiteralExpression (value = "literal") ["literal"] = "literal"
+                        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
                ULiteralExpression (value = " z") [" z"] = " z"
        UField (name = empty) [private static final var empty: java.lang.String = ""]
            ULiteralExpression (value = "") [""] = ""
@@ -21,10 +21,14 @@ UFile (package = ) [public final class StringTemplateComplexForUInjectionHostKt
                    ULiteralExpression (value = "literal") ["literal"] = "literal"
                    [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
                ULiteralExpression (value = " z") [" z"] = " z"
-        UField (name = literalInLiteral2) [private static final var literalInLiteral2: java.lang.String = "a " + [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) + " z"]
-            UPolyadicExpression (operator = +) ["a " + [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) + " z"] = Undetermined
+        UField (name = literalInLiteral2) [private static final var literalInLiteral2: java.lang.String = "a " + "literal" + [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION) + " z"]
+            UPolyadicExpression (operator = +) ["a " + "literal" + [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION) + " z"] = Undetermined
                ULiteralExpression (value = "a ") ["a "] = "a "
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)] = Undetermined
+                UQualifiedReferenceExpression ["literal" + [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                    UPolyadicExpression (operator = +) ["literal" + [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                        ULiteralExpression (value = "literal") ["literal"] = "literal"
+                        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
                ULiteralExpression (value = " z") [" z"] = " z"
        UField (name = empty) [private static final var empty: java.lang.String = ""]
            ULiteralExpression (value = "") [""] = ""
@@ -1,6 +1,8 @@
 UFile (package = ) [public final class Demo {...]
    UClass (name = Demo) [public final class Demo {...}]
-        UField (name = foo) [private final var foo: error.NonExistentClass = [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)]
-            [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)] = Undetermined
+        UField (name = foo) [private final var foo: error.NonExistentClass = [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)]
+            UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] = Undetermined
+                [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
        UMethod (name = Demo) [public fun Demo() = UastEmptyExpression]
        UMethod (name = getFoo) [public final fun getFoo() : error.NonExistentClass = UastEmptyExpression]
@@ -36,7 +36,9 @@ UFile (package = ) [public final class SuperCallsKt {...]
        UMethod (name = foo) [public fun foo(a: long) : void {...}]
            UParameter (name = a) [var a: long]
            UBlockExpression [{...}] = Undetermined
-                [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)] = Undetermined
+                UQualifiedReferenceExpression [[!] UnknownKotlinExpression (SUPER_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (SUPER_EXPRESSION) [[!] UnknownKotlinExpression (SUPER_EXPRESSION)] = Undetermined
+                    [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
    UClass (name = O) [public final class O : A {...}]
        UField (name = INSTANCE) [public static final var INSTANCE: O]
        UMethod (name = O) [private fun O() = UastEmptyExpression]
@@ -2,8 +2,10 @@ UFile (package = test.pkg) [package test.pkg...]
    UClass (name = SuspendKt) [public final class SuspendKt {...}]
        UMethod (name = top) [public static final fun top() : int {...}]
            UBlockExpression [{...}] = Nothing
-                UReturnExpression [return [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)] = Nothing
-                    [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)] = Undetermined
+                UReturnExpression [return [!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Nothing
+                    UQualifiedReferenceExpression [[!] UnknownKotlinExpression (CALL_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                        [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
+                        [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)] = Undetermined
    UClass (name = Context) [public final class Context {...}]
        UMethod (name = Context) [public fun Context() = UastEmptyExpression]
        UMethod (name = inner) [public final fun inner() : int {...}]
@@ -3,10 +3,12 @@ UFile (package = ) [public final class TypeCheckKt {...]
        UMethod (name = asString) [public static final fun asString($this$asString: java.lang.Object) : java.lang.String {...}]
            UParameter (name = $this$asString) [var $this$asString: java.lang.Object]
            UBlockExpression [{...}] : PsiType:Void
-                UReturnExpression [return if ([!] UnknownKotlinExpression (REFERENCE_EXPRESSION) !is java.lang.String) [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) else [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] : PsiType:Void
-                    UIfExpression [if ([!] UnknownKotlinExpression (REFERENCE_EXPRESSION) !is java.lang.String) [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) else [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] : PsiType:String
+                UReturnExpression [return if ([!] UnknownKotlinExpression (REFERENCE_EXPRESSION) !is java.lang.String) [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION) else [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] : PsiType:Void
+                    UIfExpression [if ([!] UnknownKotlinExpression (REFERENCE_EXPRESSION) !is java.lang.String) [!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION) else [!] UnknownKotlinExpression (REFERENCE_EXPRESSION)] : PsiType:String
                        UBinaryExpressionWithType [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION) !is java.lang.String] : PsiType:boolean
                            [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)]
                            UTypeReferenceExpression (name = java.lang.String) [java.lang.String]
-                        [!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION) [[!] UnknownKotlinExpression (DOT_QUALIFIED_EXPRESSION)]
+                        UQualifiedReferenceExpression [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION).[!] UnknownKotlinExpression (CALL_EXPRESSION)] : PsiType:String
+                            [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)]
+                            [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
                        [!] UnknownKotlinExpression (REFERENCE_EXPRESSION) [[!] UnknownKotlinExpression (REFERENCE_EXPRESSION)]
@@ -6,6 +6,7 @@
 package org.jetbrains.uast.test.common.kotlin

 import org.jetbrains.kotlin.test.KotlinTestUtils
+import org.jetbrains.kotlin.test.KtAssert
 import org.jetbrains.uast.UFile
 import org.jetbrains.uast.test.common.kotlin.FirUastTestSuffix.TXT
 import java.io.File
@@ -21,10 +22,22 @@ interface FirUastTypesTestBase : FirUastPluginSelection, FirUastFileComparisonTe
        return getTypesFile(filePath, "$pluginSuffix$TXT")
    }

+    // TODO: ideally, we don't want this kind of whitelist.
+    fun isExpectedToFail(filePath: String): Boolean {
+        return false
+    }
+
    fun check(filePath: String, file: UFile) {
        val typesFile = getPluginTypesFile(filePath)

-        KotlinTestUtils.assertEqualsToFile(typesFile, file.asLogTypes())
+        try {
+            KotlinTestUtils.assertEqualsToFile(typesFile, file.asLogTypes())
+            if (isExpectedToFail(filePath)) {
+                KtAssert.fail("This test seems not fail anymore. Drop this from the white-list and re-run the test.")
+            }
+        } catch (e: Exception) {
+            if (!isExpectedToFail(filePath)) throw e
+        }

        cleanUpIdenticalFile(
            typesFile,
@@ -7,4 +7,12 @@ package org.jetbrains.uast.test.kotlin

 import org.jetbrains.uast.test.common.kotlin.FirLegacyUastTypesTestBase

-abstract class AbstractFirLegacyUastTypesTest : AbstractFirUastTypesTest(), FirLegacyUastTypesTestBase
+abstract class AbstractFirLegacyUastTypesTest : AbstractFirUastTypesTest(), FirLegacyUastTypesTestBase {
+    private val whitelist : Set<String> = setOf(
+        // TODO: not able to map Stream<String?..String>
+        "plugins/uast-kotlin/testData/Lambdas.kt",
+    )
+    override fun isExpectedToFail(filePath: String): Boolean {
+        return filePath in whitelist
+    }
+}
				`@@ -0,0 +1 @@`
				`toString() -> UQualifiedReferenceExpression from KtDotQualifiedExpression`
				`@@ -0,0 +1 @@`
				`length -> UQualifiedReferenceExpression from KtDotQualifiedExpression`
				`@@ -0,0 +1 @@`
				`filterIsInstance<String>() -> UQualifiedReferenceExpression from KtDotQualifiedExpression`
				`@@ -0,0 +1 @@`
				`bar("lorem") -> UQualifiedReferenceExpression from KtDotQualifiedExpression`
				`@@ -0,0 +1 @@`
				`java -> UQualifiedReferenceExpression from KtDotQualifiedExpression`