a87db21209 ^
1 2 3 4 5 6 7
@scala.annotation.implicitNotFound("Could not find implicit for ${T} or ${U}") trait X[T, U] object Test { type Z[U] = X[Int, U] implicitly[X[Int, String]] implicitly[Z[String]] }