Merge pull request #2079 from dotty-staging/depmeth2

Allow inter-parameter dependencies

1 files changed, 13 insertions, 0 deletions

diff --git a/tests/neg/illegal-depmeth.scala b/tests/neg/illegal-depmeth.scala
new file mode 100644
index 000000000..e4d771a07
--- /dev/null
+++ b/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
+
+}