From 2111e56d2e20c5177614bffff074cda25bb30b64 Mon Sep 17 00:00:00 2001
From: Simon Ogorodnik <Simon.Ogorodnik@jetbrains.com>
Date: Tue, 30 Apr 2019 17:02:09 +0300
Subject: [PATCH] FIR: introduce workaround to avoid type-aliases in
 ConeClassType

---
 .../src/org/jetbrains/kotlin/fir/types/ConeTypeContext.kt | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/types/ConeTypeContext.kt b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/types/ConeTypeContext.kt
index 5c2344ff1df..b6def95b077 100644
--- a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/types/ConeTypeContext.kt
+++ b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/types/ConeTypeContext.kt
@@ -127,7 +127,7 @@ interface ConeTypeContext : TypeSystemContext, TypeSystemOptimizationContext {
     }
 
     override fun SimpleTypeMarker.typeConstructor(): TypeConstructorMarker {
-        return when (this) {
+        val typeConstructor = when (this) {
             is ConeCapturedType -> constructor
             is ConeTypeVariableType -> this.lookupTag as ConeTypeVariableTypeConstructor // TODO: WTF
             is ConeAbbreviatedType -> this.directExpansionType(session)?.typeConstructor()
@@ -136,6 +136,12 @@ interface ConeTypeContext : TypeSystemContext, TypeSystemOptimizationContext {
             else -> error("?: ${this}")
         }
 
+        // TODO: get rid of class types with type-alias symbols
+        if (typeConstructor is FirTypeAliasSymbol) {
+            return typeConstructor.fir.expandedTypeRef.coneTypeSafe()?.typeConstructor()
+                ?: ErrorTypeConstructor("Failed to expand alias: ${this}")
+        }
+        return typeConstructor
     }
 
     override fun SimpleTypeMarker.argumentsCount(): Int {