// Traits.scala
sealed trait T

trait A extends T
trait B extends T
trait C extends T