translated "Scalaで抽象メソッドをoverrideする際にoverride修飾子を付けるべきかどうかの是非"
constraining class linearization in Scala