Scala case class extending Product with Serializable

All case classes in Scala posses a few properties:

1. They will automatically extend the Product trait and a default implementation will be provided for them, as they can be viewed as a Cartesian Product of N records.
2. They will extend Serializable as they are serializable out of the box (as a design choice).
3. They will have an implementation of hashCode and equals provided by the compiler, which aids with pattern matching
4. They will provide apply and unapply methods, for composition and decomposition of the type.

Case classes are also Scala's way of expressing an Algebraic Data Type, more specifically a Product Type. Tuples are also a product type, and as so they also extend the Product trait.

When you use two case classes with a common trait, the scala's compiler will use it's type inference algorithm to attempt to find the least upper bound (LUB) for the T type of the Array. Since both case classes extend Product and Serializable through the compiler, and the trait does not, it will during the search and apply it to the final calculated type.

If you want to avoid seeing that, you can have your trait explicitly extend those traits:

sealed trait Animal extends Product with Serializable

More on this topic can be found here

This is an expected behavior because of how case class works. case class automatically extends two traits, namely Product and Serializable.

Product trait is extended as case class is an algebraic data type with product type.

Serializable trait is extended so that case class can be treated as a pure data - i.e capable of being serialized.

Unlike case class Dog and Cat, your trait Animal does not extend Product or Serializable. Hence the type signature you see.

When you declare something like Array(Dog(""), Cat("")), scalac needs to infer single top type that can represent all the elements of given array.

That's why the inferred type is Product with Serializable with Animal as Animal did not extend Product nor Serializable while the case class did implicitly.

To work around this inference, you can either make type explicit by Animal or make Animal extend Product and Serializable.

trait Animal extends Product with Serializable

case class Dog(name: String) extends Animal
case class Cat(name: String) extends Animal

Array(Dog(""), Cat("")) // Array[Animal] = Array(Dog(), Cat())