sbt-bridge/sbt-test/source-dependencies/inherited_type_params/A.scala


1
2
3
4
5
6
7

trait Equal[-A] {
  def equal(a1: A, a2: A): Boolean
}
object Test {
  implicit def TraversableEqual[CC[X] <: collection.TraversableLike[X, CC[X]] with Traversable[X], A: Equal]: Equal[CC[A]] = error("")
}