blob: 5fbb239e04c126e61ab0ad63a35202c696bf79da (
plain) (
tree)
|
|
object Test {
// this works.
class B { final def f(): Unit = () }
trait A extends B { def f (): Unit }
class BB extends B { def f (): Unit }
// this earns a VerifyError.
trait C { def wait (): Unit }
class D { }
def main(args: Array[String]): Unit = {
new B with A { }
new BB
// new D with C { }
}
}
|