Two new tests

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

Author: odersky

test/dotc/tests.scala

@@ -107,6 +107,7 @@ class tests extends CompilerTest {
   @Test def neg_cycles = compileFile(negDir, "cycles", xerrors = 8)
   @Test def neg_boundspropagation = compileFile(negDir, "boundspropagation", xerrors = 4)
   @Test def neg_refinedSubtyping = compileFile(negDir, "refinedSubtyping", xerrors = 2)
+  @Test def neg_i0091_infpaths = compileFile(negDir, "i0091-infpaths", xerrors = 3)
   @Test def neg_i0248_inherit_refined = compileFile(negDir, "i0248-inherit-refined", xerrors = 4)
 
   @Test def dotc = compileDir(dotcDir + "tools/dotc", twice)(allowDeepSubtypes)

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

tests/pos/fbounds.scala

@@ -0,0 +1 @@
+class A [ T <: A[_] & Number]