Test cases

Author: odersky

tests/neg/illegal-depmeth.scala

@@ -0,0 +1,13 @@
+object Test {
+
+  class C { type T }
+
+  def f(x: C, y: x.T): x.T = y // ok
+
+  def g(y: x.T, x: C): x.T = y // error
+
+  def h(x: x.T) = ??? // error
+
+  def g(x: => C): x.T = ???  // error: x is not stable
+
+}

tests/pos/param-depmeth.scala

@@ -0,0 +1,15 @@
+object Test {
+
+  class C { type T }
+
+  def f(x: C, y: x.T): x.T = y // ok
+
+  val c = new C { type T = String }
+  val c2 = c
+
+  f(c, "abc")
+  f(new C{ type T = String}, "abc")
+
+  val d: (C{ type T = String}) # T = "abc"
+
+}