bug664.scala:4 error: type Foo is not a member of test.Test with scala.ScalaObject trait Foo extends super.Foo { ^ bug664.scala:5 error: type Bar is not a member of java.lang.Object with scala.ScalaObject trait Bar extends super.Bar; ^ two errors found