En utilisant scala 2.12.8, cela ne serait pas compilé sans un cast: sealed trait Content
case object A extends Content
final case class B(i: Int) extends Content
sealed trait Containe ...
Voici une installation simple avec deux traits, une classe avec un paramètre de type covariant délimitée par les traits précédents et une deuxième classe ...