From bb522e88cf30e1e82a81b7bc357a5e00213b6b53 Mon Sep 17 00:00:00 2001
From: Svetlana Isakova <svetlana.isakova@jetbrains.com>
Date: Tue, 15 Oct 2013 17:29:07 +0400
Subject: [PATCH] comment added

---
 .../src/org/jetbrains/jet/lang/types/TypeConstructor.java     | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/core/descriptors/src/org/jetbrains/jet/lang/types/TypeConstructor.java b/core/descriptors/src/org/jetbrains/jet/lang/types/TypeConstructor.java
index c2530e166d2..a8a63713e44 100644
--- a/core/descriptors/src/org/jetbrains/jet/lang/types/TypeConstructor.java
+++ b/core/descriptors/src/org/jetbrains/jet/lang/types/TypeConstructor.java
@@ -34,6 +34,10 @@ public interface TypeConstructor extends Annotated {
 
     boolean isSealed();
 
+    /**
+     * If the type is non-denotable, it can't be written in code directly, it only can appear internally inside a type checker.
+     * Examples: intersection type or number value type.
+     */
     boolean isDenotable();
 
     @Nullable