blob: f5d2e2f9c75aaadf088353cb8881280eae362e6e (
plain) (
tree)
|
|
trait Base[@specialized(Double) B] {
def default: B;
}
trait D1 extends Base[Double] {
override def default = 0.0;
}
class D2 extends D1 {
override def default: Double = 1.0;
}
object Test extends Application {
val d2 = new D2
assert(d2.default == 1.0, d2.default)
assert((d2: Base[_]).default == 1.0, (d2: Base[_]).default)
assert((d2: D1).default == 1.0, (d2: D1).default)
}
|