From 5733fdbd3ed3e8036992ee690bbd8270a36471a2 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Sun, 7 Jun 2015 18:26:43 +0200 Subject: Fix mergeDenot one more time. It's easy to get this wrong. What happened was that when computing deferred members of a class a deferred member was preferred over a concrete one because the types did not match. Thsi should not happen. We now change the scheme to always prefer concrete over abstract, and subclass-owned over superclass-owned. But we pick a denotation only if the overrides relationship on types coincides with the preference on symbols. --- tests/pos/t2503.scala | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100755 tests/pos/t2503.scala (limited to 'tests/pos/t2503.scala') diff --git a/tests/pos/t2503.scala b/tests/pos/t2503.scala new file mode 100755 index 000000000..d0983f2ca --- /dev/null +++ b/tests/pos/t2503.scala @@ -0,0 +1,19 @@ +import scala.collection.mutable._ + +trait SB[A] extends Buffer[A] { + + import collection.Traversable + + abstract override def insertAll(n: Int, iter: Traversable[A]): Unit = synchronized { + super.insertAll(n, iter) + } + + abstract override def update(n: Int, newelem: A): Unit = synchronized { + super.update(n, newelem) + } +} + +object Test extends dotty.runtime.LegacyApp { + new ArrayBuffer[Int] with SB[Int] +} + -- cgit v1.2.3