1
object SpecializationAbstractOverride {
3
trait A[@specialized(Int) T] { def foo(t: T) }
4
trait B extends A[Int] { def foo(t: Int) { println("B.foo") } }
5
trait M extends B { abstract override def foo(t: Int) { super.foo(t) ; println ("M.foo") } }
6
object C extends B with M
8
object D extends B { override def foo(t: Int) { super.foo(t); println("M.foo") } }
10
def main(args: Array[String]) {
11
D.foo(42) // OK, prints B.foo M.foo
12
C.foo(42) // StackOverflowError