More tests

which all pass.

1 files changed, 17 insertions, 0 deletions

diff --git a/tests/pos/t0904.scala b/tests/pos/t0904.scala
new file mode 100644
index 000000000..28ad30fc2
--- /dev/null
+++ b/tests/pos/t0904.scala
@@ -0,0 +1,17 @@
+trait A {
+  def apply(x: Int): Int
+  def update(x: Int, y: Int): Unit
+}
+
+trait B extends A
+
+abstract class Foo {
+  val a: A = null
+  val b: B = null
+
+  a(0) = 1
+  b(0) = 1
+
+  a(0) += 1
+  b(0) += 1 // this one does not type check.
+}