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 {