diff --git a/idea/testData/checker/Enums.jet b/idea/testData/checker/Enums.jet
new file mode 100644
index 00000000000..0ef400fda22
--- /dev/null
+++ b/idea/testData/checker/Enums.jet
@@ -0,0 +1,10 @@
+enum class List<out T>(val size : Int) {
+  Nil : List<Nothing>(0) {
+    val a = 1
+  }
+  Cons<out T>(val head : T, val tail : List<T>) : List<T>(tail.size + 1)
+
+}
+
+val foo = List.Nil
+val foo1 = foo.a
\ No newline at end of file