exception when traversing java.lang.Object with test.D$class with scala.ScalaObject$class {
  def this(): object d$1 = {
    {
      d$1.super.this();
      ()
    };
    d$1.this./*B$class*/$init$();
    d$1.this./*C$class*/$init$();
    d$1.this./*D$class*/$init$();
    ()
  }
}
exception when traversing final class d$1 extends java.lang.Object with test.D$class with scala.ScalaObject$clas\
s {
  def this(): object d$1 = {
    {
      d$1.super.this();
      ()
    };
    d$1.this./*B$class*/$init$();
    d$1.this./*C$class*/$init$();
    d$1.this./*D$class*/$init$();
    ()
  }
}
exception when traversing package test {
  final class Go extends java.lang.Object with scala.ScalaObject {
    def main(args: scala.Array[java.lang.String]): scala.Unit = {
      var d$module$0: scala.runtime.ObjectRef = new scala.runtime.ObjectRef.this(null);
      Go.this.d$0(d$module$0).f()
    };
    final private   def d$0(d$module$0: scala.runtime.ObjectRef): object d$1 = {
      if (d$module$0.elem.$asInstanceOf[object test.d$1]().eq(null))
        d$module$0.elem = new object test.d$1.this();
      d$module$0.elem.$asInstanceOf[object test.d$1]()
    };
    def this(): object test.Go = {
      {
        Go.super.this();
        ()
      };
      ()
    }
  };
  abstract trait A extends java.lang.Object with scala.ScalaObject {
    def f(): scala.Unit
  };
  abstract trait B extends java.lang.Object with test.A with scala.ScalaObject {
    private  def test$Go$B$$super$f(): scala.Unit;
    override def f(): scala.Unit
  };
  abstract trait C extends java.lang.Object with test.A with scala.ScalaObject {
    private  def test$Go$C$$super$f(): scala.Unit;
    override def f(): scala.Unit
  };
  abstract trait D extends java.lang.Object with test.B with test.C with scala.ScalaObject {
    private  def test$Go$D$$super$f(): scala.Unit;
    override def f(): scala.Unit
  };
  abstract trait B$class extends java.lang.Object with test.A with scala.ScalaObject with test.B {
    override def f(): scala.Unit = {
      B$class.this.test$Go$B$$super$f();
      scala.Console.println("B")
    };
    def /*B$class*/$init$(): scala.Unit = {
      ()
    }
  };
  abstract trait C$class extends java.lang.Object with test.A with scala.ScalaObject with test.C {
    override def f(): scala.Unit = {
      C$class.this.test$Go$C$$super$f();
      scala.Console.println("C")
    };
    def /*C$class*/$init$(): scala.Unit = {
      ()
    }
  };
  abstract trait D$class extends java.lang.Object with test.B with test.C with scala.ScalaObject with test.D {
    override def f(): scala.Unit = D$class.this.test$Go$D$$super$f();
    def /*D$class*/$init$(): scala.Unit = {
      ()
    }
  };
  final class d$1 extends java.lang.Object with test.D$class with scala.ScalaObject$class {
    def this(): object d$1 = {
      {
        d$1.super.this();
        ()
      };
      d$1.this./*B$class*/$init$();
      d$1.this./*C$class*/$init$();
      d$1.this./*D$class*/$init$();
      ()
    }
  }
}
Exception in thread "main" java.lang.AssertionError: assertion failed: method f
	at scala.Predef$.assert(Predef.scala:182)
	at scala.tools.nsc.transform.Mixin$$anonfun$2.apply(Mixin.scala:56)
	at scala.tools.nsc.transform.Mixin$$anonfun$2.apply(Mixin.scala:43)
	at scala.tools.nsc.symtab.SymbolTable.atPhase(SymbolTable.scala:71)
	at scala.tools.nsc.transform.Mixin.scala$tools$nsc$transform$Mixin$$rebindSuper(Mixin.scala:43)
	at scala.tools.nsc.transform.Mixin$$anonfun$9.apply(Mixin.scala:179)
	at scala.tools.nsc.transform.Mixin$$anonfun$9.apply(Mixin.scala:159)
	at scala.List.foreach(List.scala:680)
	at scala.tools.nsc.transform.Mixin.mixinMembers$0(Mixin.scala:159)
	at scala.tools.nsc.transform.Mixin$$anonfun$10.apply(Mixin.scala:190)
	at scala.tools.nsc.transform.Mixin$$anonfun$10.apply(Mixin.scala:190)
	at scala.List.foreach(List.scala:680)
	at scala.tools.nsc.transform.Mixin.addMixedinMembers(Mixin.scala:190)
	at scala.tools.nsc.transform.Mixin$MixinTransformer.preTransform(Mixin.scala:249)
	at scala.tools.nsc.transform.Mixin$MixinTransformer.transform(Mixin.scala:438)
	at scala.tools.nsc.ast.Trees$Transformer.transformTemplate(Trees.scala:1044)
	at scala.tools.nsc.ast.Trees$Transformer$$anonfun$13.apply(Trees.scala:950)
	at scala.tools.nsc.ast.Trees$Transformer$$anonfun$13.apply(Trees.scala:949)
	at scala.tools.nsc.ast.Trees$Transformer.atOwner(Trees.scala:1064)
	at scala.tools.nsc.ast.Trees$Transformer.transform(Trees.scala:948)
	at scala.tools.nsc.transform.Mixin$MixinTransformer.transform(Mixin.scala:438)
	at scala.tools.nsc.ast.Trees$Transformer$$anonfun$25.apply(Trees.scala:1058)
	at scala.tools.nsc.ast.Trees$Transformer$$anonfun$25.apply(Trees.scala:1056)
	at scala.List$.loop$0(List.scala:232)
	at scala.List$.mapConserve(List.scala:249)
	at scala.List$.loop$0(List.scala:236)
	at scala.List$.mapConserve(List.scala:249)
	at scala.List$.loop$0(List.scala:236)
	at scala.List$.mapConserve(List.scala:249)
	at scala.List$.loop$0(List.scala:236)
	at scala.List$.mapConserve(List.scala:249)
	at scala.List$.loop$0(List.scala:236)
	at scala.List$.mapConserve(List.scala:249)
	at scala.List$.loop$0(List.scala:236)
	at scala.List$.mapConserve(List.scala:249)
	at scala.List$.loop$0(List.scala:236)
	at scala.List$.mapConserve(List.scala:249)
	at scala.List$.loop$0(List.scala:236)
	at scala.List$.mapConserve(List.scala:249)
	at scala.List$.loop$0(List.scala:236)
	at scala.List$.mapConserve(List.scala:249)
	at scala.tools.nsc.ast.Trees$Transformer.transformStats(Trees.scala:1056)
	at scala.tools.nsc.ast.Trees$Transformer$$anonfun$12.apply(Trees.scala:945)
	at scala.tools.nsc.ast.Trees$Transformer$$anonfun$12.apply(Trees.scala:945)
	at scala.tools.nsc.ast.Trees$Transformer.atOwner(Trees.scala:1064)
	at scala.tools.nsc.ast.Trees$Transformer.transform(Trees.scala:944)
	at scala.tools.nsc.transform.Mixin$MixinTransformer.transform(Mixin.scala:438)
	at scala.tools.nsc.ast.Trees$Transformer.transformUnit(Trees.scala:1059)
	at scala.tools.nsc.transform.Transform$Phase.apply(Transform.scala:22)
	at scala.tools.nsc.Global$GlobalPhase.applyPhase(Global.scala:216)
	at scala.tools.nsc.Global$GlobalPhase$$anonfun$1.apply(Global.scala:205)
	at scala.tools.nsc.Global$GlobalPhase$$anonfun$1.apply(Global.scala:205)
	at scala.Iterator$class.foreach(Iterator.scala:304)
	at scala.collection.mutable.ListBuffer$$anon$0.foreach(ListBuffer.scala:216)
	at scala.tools.nsc.Global$GlobalPhase.run(Global.scala:205)
	at scala.tools.nsc.Global$Run.compileSources(Global.scala:467)
	at scala.tools.nsc.Global$Run.compile(Global.scala:531)
	at scala.tools.nsc.Main$.process(Main.scala:76)
	at scala.tools.nsc.Main$.main(Main.scala:98)
	at scala.tools.nsc.Main.main(Main.scala)

bug703.scala:7 error: method f in trait B is accessed from super. It may not be abstract unless it is overridden by a member declared `abstract' and `override'
      super.f;
           ^
bug703.scala:13 error: method f in trait C is accessed from super. It may not be abstract unless it is overridden by a member declared `abstract' and `override'
      super.f;
           ^

object Go {
  trait A {
    def f : Unit; // = Console.println("A");
  }
  trait B extends A {
    abstract override def f = {
      super.f;
      Console.println("B");
    }
  }
  trait C extends A {
    abstract override def f = {
      super.f;
      Console.println("C");
    }
  }
  trait D extends B with C {
    abstract override def f = {
      super.f;
    }
  }
  class Super {
    def f: Unit = Console.println("A")
  }
  def main(args : Array[String]) : Unit = {
    object d extends Super with D
    d.f;
  }
}