blob: 6bc85927660b9304c21a034b0efea851e26340b6 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
trait Super[@specialized(Int) A] {
def superb = 0
}
object Sub extends Super[Int] {
// it is expected that super[Super].superb crashes, since
// specialization does parent class rewiring, and the super
// of Sub becomes Super$mcII$sp and not Super. But I consider
// this normal behavior -- if you want, I can modify duplicatiors
// to make this work, but I consider it's best to keep this
// let the user know Super is not the superclass anymore.
// super[Super].superb - Vlad
super.superb // okay
override def superb: Int = super.superb // okay
}
|