Fix #1795: Avoid infinite recursion between member and asSeenFrom

1 files changed, 13 insertions, 0 deletions

diff --git a/tests/pos/i1795.scala b/tests/pos/i1795.scala
new file mode 100644
index 000000000..3e8bd1e97
--- /dev/null
+++ b/tests/pos/i1795.scala
@@ -0,0 +1,13 @@
+sealed trait T1 {type M1}
+
+case object o1 extends T1
+
+sealed trait T2 {type M2}
+
+case object o2 extends T2
+
+class TestX {
+  type TestT1 <: T1 {type M1 = TestT2}
+  type TestT2 <: T2 {type M2 = TestT1}
+  //val x: TestT1 = o1
+}