test/files/neg/bug170.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

trait J {
  def foo(): Unit;
}

trait I with J {
  override def foo(): Unit = ();
}

class D extends J with I {
  abstract override def foo(): Unit = super.foo();
}

object Test with Application {
  (new D).foo();
}