scala> sealed abstract class <:<[-S, +T] extends Function1[S, T]
defined class $less$colon$less
scala> implicit def canCast[F <% T, T]: (F <:< T) = new (F <:< T) { def apply(a: F): T = a }
canCast: [F, T](implicit evidence$1: F => T)<:<[F,T]
scala> case class L[X](val x: X) { def double[Y](implicit transformer: X <:< Int) = x*2 }
defined class L
scala> L(42).double
res16: Int = 84
scala> L("a").double
<console>:26: error: diverging implicit expansion for type <:<[String,Int]
starting with method canCast
L("a").double
А вот с
implicit def canCast[F <: T, T]: (F <:< T) = new (F <:< T) { def apply(a: F): T = a }
уже не работает…
P.S. Сорри за множественные правки: сначала больше-меньше побилось в html, затем заметил, что лишний кусок прихватил.
no subject
scala> sealed abstract class <:<[-S, +T] extends Function1[S, T] defined class $less$colon$less scala> implicit def canCast[F <% T, T]: (F <:< T) = new (F <:< T) { def apply(a: F): T = a } canCast: [F, T](implicit evidence$1: F => T)<:<[F,T] scala> case class L[X](val x: X) { def double[Y](implicit transformer: X <:< Int) = x*2 } defined class L scala> L(42).double res16: Int = 84 scala> L("a").double <console>:26: error: diverging implicit expansion for type <:<[String,Int] starting with method canCast L("a").doubleА вот с
implicit def canCast[F <: T, T]: (F <:< T) = new (F <:< T) { def apply(a: F): T = a }уже не работает…
P.S. Сорри за множественные правки: сначала больше-меньше побилось в html, затем заметил, что лишний кусок прихватил.