fixed several problems with cyclic references u...

fixed several problems with cyclic references uncovered by experimenting
with collections. Added early type definitions.

1 files changed, 6 insertions, 0 deletions

diff --git a/test/files/neg/cyclics.scala b/test/files/neg/cyclics.scala
new file mode 100644
index 0000000000..adfc94e4e5
--- /dev/null
+++ b/test/files/neg/cyclics.scala
@@ -0,0 +1,6 @@
+object test {
+  type A = List[A]
+  type B[T] = List[B[B[T]]]
+  trait I { type E }
+  type C = I { type E = C }
+}