Extended test case.

Also added non-unit fields and a class that directly implements two traits with the same fields.

Author: odersky

src/dotty/tools/dotc/transform/ResolveSuper.scala

@@ -83,7 +83,7 @@ class ResolveSuper extends MiniPhaseTransform with IdentityDenotTransformer { th
     def methodOverrides(mixin: ClassSymbol): List[Tree] = {
       def isOverridden(meth: Symbol) = meth.overridingSymbol(cls).is(Method, butNot = Deferred)
       def needsDisambiguation(meth: Symbol): Boolean =
-        meth.is(Method, butNot = PrivateOrDeferred) &&
+        meth.is(Method, butNot = PrivateOrAccessorOrDeferred) &&
           !isOverridden(meth) &&
           !meth.allOverriddenSymbols.forall(_ is Deferred)
       for (meth <- mixin.info.decls.toList if needsDisambiguation(meth))
@@ -107,5 +107,5 @@ class ResolveSuper extends MiniPhaseTransform with IdentityDenotTransformer { th
     else ddef
   }
 
-  private val PrivateOrDeferred = Private | Deferred
+  private val PrivateOrAccessorOrDeferred = Private | Accessor | Deferred
 }

tests/run/traits-initialization.scala

@@ -6,22 +6,32 @@ import store._
 
 trait A {
  str += "a"
+ val i = 2
  val s = str += 'A'
  str += '1'
 }
 
 trait B extends A {
  str += 'b'
+ override val i = 3
  override val s = str += 'B'
  str += '2'
 }
 
 class D(sup: Unit) extends A {
  str += 'd'
+ override val i = 4
  override val s = str += 'D'
  str += '3'
 }
 
+class E(sup: Unit) extends A with B {
+ str += 'd'
+ override val i = 5
+ override val s = str += 'E'
+ str += '3'
+}
+
 
 object Test extends D({str += "Z"}) with B {
  // should only have 2 fields