From 26119f040399c0318f68822fc70b1641c01b7743 Mon Sep 17 00:00:00 2001
From: Simon Ogorodnik <Simon.Ogorodnik@jetbrains.com>
Date: Tue, 23 Apr 2019 04:12:44 +0300
Subject: [PATCH] FIR: implement isDenotable on type constructor more
 accurately

---
 .../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 da8fd6fdeff..b0e0e13d906 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
@@ -253,7 +253,13 @@ interface ConeTypeContext : TypeSystemContext, TypeSystemOptimizationContext {
     }
 
     override fun TypeConstructorMarker.isDenotable(): Boolean {
-        return true // TODO
+        //TODO
+        return when (this) {
+            is ConeCapturedTypeConstructor -> false
+            is ConeTypeVariableTypeConstructor -> false
+            is ConeSymbol -> true
+            else -> true
+        }
     }
 
     override fun TypeConstructorMarker.isCommonFinalClassConstructor(): Boolean {