13:33 ~/Projects/Kepler_snippet00/sandbox (topic/snippet00)$ scalac -Xlog-implicits Test.scala
Test.scala:3: safeCast is not a valid implicit value for L.this.x.type => ?{def *: ?} because:
inferred type arguments [X,L.this.x.type,X] do not conform to method safeCast's type parameter bounds [X,Y,_ >: X <: Y]
case class L[X](val x: X) { def double[_ >: X <: Int] = x*2 }
no subject
13:33 ~/Projects/Kepler_snippet00/sandbox (topic/snippet00)$ scalac -Xlog-implicits Test.scala Test.scala:3: safeCast is not a valid implicit value for L.this.x.type => ?{def *: ?} because: inferred type arguments [X,L.this.x.type,X] do not conform to method safeCast's type parameter bounds [X,Y,_ >: X <: Y] case class L[X](val x: X) { def double[_ >: X <: Int] = x*2 }Сейчас подумаю, почему так.