ed8f3f0b9b ^
d283455a24 ^
1 2
3 4 5
bug708.scala:8: error: error overriding type S in trait X with bounds >: Nothing <: A.this.T; type S has incompatible type Any override private[A] type S = Any; ^ one error found