From 0cee59bbf965440de813d5813c6086b97e444d5f Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Sat, 13 Dec 2014 14:47:12 +0100
Subject: Two new tests

1) Verify we survive illegal infinite paths. Closes #91.
2) Verify we handle fbounds in and types correctly.
---
 tests/neg/i0091-infpaths.scala | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 tests/neg/i0091-infpaths.scala

(limited to 'tests/neg/i0091-infpaths.scala')

diff --git a/tests/neg/i0091-infpaths.scala b/tests/neg/i0091-infpaths.scala
new file mode 100644
index 000000000..917ea49a2
--- /dev/null
+++ b/tests/neg/i0091-infpaths.scala
@@ -0,0 +1,16 @@
+object infpaths {
+
+  object a {
+    trait T { t =>
+      type M <: t.b.M
+      type T <: a.T
+      val b: t.T
+    }
+    val x: a.T = ???
+  }
+
+  val m1: a.x.M = ???
+  val m2: a.x.b.M = m1
+  val m3: a.x.b.b.M = m2
+
+}
-- 
cgit v1.2.3