Что *так* не так с наследованием класса case?

Это не совсем так. А это хуже лжи.

Как упоминалось aepurniet, в любом случае преемник класса, который сужает область определения, должен переопределить равенство, потому что сопоставление с образцом должно работать точно так же, как равенство (если попытаться сопоставить Point с ColoredPoint, то он не будет совпадать, так как color не существует).

Это дает понимание того, как можно реализовать равенство иерархии классов case.

case class Point(x: Int, y: Int)
case class ColoredPoint(x: Int, y: Int, c: Color) extends Point(x, y)

Point(0, 0) equals ColoredPoint(0, 0, RED)  // false
Point(0, 0) equals ColoredPoint(0, 0, null) // true

ColoredPoint(0, 0, RED) equals Point(0, 0)  // false
ColoredPoint(0, 0, null) equals Point(0, 0) // true

В конце концов можно удовлетворить требования отношения равенства даже для преемника класса case (без переопределения равенства).

case class ColoredPoint(x: Int, y: Int, c: String)
class RedPoint(x: Int, y: Int) extends ColoredPoint(x, y, "red")
class GreenPoint(x: Int, y: Int) extends ColoredPoint(x, y, "green")

val colored = ColoredPoint(0, 0, "red")
val red1 = new RedPoint(0, 0)
val red2 = new RedPoint(0, 0)
val green = new GreenPoint(0, 0)

red1 equals colored // true
red2 equals colored // true
red1 equals red2 // true

colored equals green // false
red1 equals green // false
red2 equals green // false

def foo(p: GreenPoint) = ???