Merge pull request #2096 from dotty-staging/fix-i2051

Fix #2051: allow override T with => T or ()T

2 files changed, 11 insertions, 0 deletions

diff --git a/tests/neg/i2051.scala b/tests/neg/i2051.scala
new file mode 100644
index 000000000..2295a05ab
--- /dev/null
+++ b/tests/neg/i2051.scala
@@ -0,0 +1,2 @@
+abstract class C { val x: Int }
+class D extends C { def x = 1 } // error: method x of type => Int needs to be a stable, immutable value
diff --git a/tests/pos/i2051.scala b/tests/pos/i2051.scala
new file mode 100644
index 000000000..9e29eea22
--- /dev/null
+++ b/tests/pos/i2051.scala
@@ -0,0 +1,9 @@
+class A[T](val x:T)
+class B[T](override val x:T) extends A[T](x)
+
+class C[T](val x:T, val y: Int, val z: Boolean)
+class D[T](override val x:T, y: Int, z: Boolean) extends C[T](x, y, z)
+
+trait X(val x: Int, y: Int, z: Int)
+trait Y(override val x: Int, y: Int, z: Int) extends X
+class Z(override val x: Int, y: Int, z: Int) extends Y(x, y, z) with X(x, y, z)