Two new tests

1) Verify we survive illegal infinite paths. Closes #91.
2) Verify we handle fbounds in and types correctly.

1 files changed, 16 insertions, 0 deletions

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
+
+}