Fixed cycle detection.

Now detects the cycles reported by @retronym

1 files changed, 13 insertions, 0 deletions

diff --git a/tests/neg/cycles.scala b/tests/neg/cycles.scala
index dbcbe1efb..0dd24c309 100644
--- a/tests/neg/cycles.scala
+++ b/tests/neg/cycles.scala
@@ -27,3 +27,16 @@ class E {
   }
   val x: F#T = ???
 }
+
+class T1 {
+  type X = (U, U) // cycle
+  type U = X & Int
+}
+class T2 {
+  type X = (U, U) // cycle
+  type U = X | Int
+}
+object T12 {
+  ??? : (T1 {})#U
+  ??? : (T2 {})#U
+}