Override checks and self-types still needed som...

Override checks and self-types still needed some work (ticket #2808.)
I believe this is the right change. The modifications in parallel and
actors were a result of the files failing to compile after the change to
allOverriddenSymbols. (I am taking the position that that aspect is a
feature.) Review by malayeri, odersky.

1 files changed, 13 insertions, 0 deletions

diff --git a/test/files/pos/self-type-override.scala b/test/files/pos/self-type-override.scala
new file mode 100644
index 0000000000..7c40ef37e6
--- /dev/null
+++ b/test/files/pos/self-type-override.scala
@@ -0,0 +1,13 @@
+trait TCommon {
+  def f: String
+}
+
+class C1 extends TCommon {
+  def f = "in C1"
+}
+
+trait TOverrider { this: TCommon =>
+  override def f = "in TOverrider"   // The overridden self-type member...
+}
+
+class C2 extends C1 with TOverrider  // ... fails to override, here.