From 397aaa189e86a335f73d1c5e57892ad16dcf4410 Mon Sep 17 00:00:00 2001
From: Simon Ogorodnik <simon.ogorodnik@jetbrains.com>
Date: Wed, 15 May 2019 15:50:31 +0300
Subject: [PATCH] [FIR] Allow type-variables in general subtyping with cone
 context

---
 .../src/org/jetbrains/kotlin/fir/types/ConeTypeContext.kt       | 2 +-
 1 file changed, 1 insertion(+), 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 4cde3d9fadc..9c0240858c8 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
@@ -419,6 +419,6 @@ class ConeTypeCheckerContext(override val isErrorTypeEqualsToAnything: Boolean,
     }
 
     override val KotlinTypeMarker.isAllowedTypeVariable: Boolean
-        get() = false
+        get() = this is ConeKotlinType && this is ConeTypeVariableType
 
 }