From e3a43806a2b5b17982e942a82cabe139c09d971e Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Thu, 1 Jan 2015 13:45:08 +0100
Subject: Reorg of subtyping.

Plus, RefinedThis gets a second parameter, `level`. This will replace the first one in due time.
---
 tests/pending/pos/subtypcycle.scala | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 tests/pending/pos/subtypcycle.scala

(limited to 'tests/pending/pos/subtypcycle.scala')

diff --git a/tests/pending/pos/subtypcycle.scala b/tests/pending/pos/subtypcycle.scala
new file mode 100644
index 000000000..76eb7ffec
--- /dev/null
+++ b/tests/pending/pos/subtypcycle.scala
@@ -0,0 +1,10 @@
+object subtypcycle {
+  trait Y {
+    type A <: { type T >: B }
+    type B >: { type T >: A }
+  }
+
+  val y: Y = ???
+  val a: y.A = ???
+  val b: y.B = a
+}
-- 
cgit v1.2.3