Почему этот код scala имеет несоответствие типа ошибки компиляции

Question

Почему этот scala код

case class Foo[T]() {
  def bar(tt: T): Unit = ???
  def bar_(s: String)(implicit ev : T =:= String): Unit = bar(s)
}

вызывает эту ошибку компиляции

[error] type mismatch;
[error]  found   : s.type (with underlying type String)
[error]  required: T
[error]     def foo2(s: String)(implicit ev: T =:= String) = foo(s)

Answer 1

Дело в том, что вам нужны доказательства String =:= T, а не T =:= String.

case class Foo[T]() {
  def bar(tt: T): Unit = ???
  def bar_(s: String)(implicit ev : String =:= T): Unit = bar(s)
}

=:= не симметрично c.

https://typelevel.org/blog/2014/07/02/type_equality_to_leibniz.html

См. Также cats.evidence.Is, scalaz.Leibniz.

В scala 2.13 вы также можете

def bar_(s: String)(implicit ev : T =:= String): Unit = {
  implicit val ev1 = ev.flip
  bar(s)
}