implicit def safeCast[Z,Y, _ >: Z <: Y]( z:Z ):Y = z.asInstanceOf[Y]
case class L[X](val x: X) { def double[_ >: X <: Int] = x*2 }
safeCast is not a valid implicit value for L.this.x.type => ?{val *: ?} because: incompatible: (z: X)X does not match expected type L.this.x.type => ?{val *: ?} safeCast is not a valid implicit value for => L.this.x.type => ?{val *: ?} because: incompatible: (z: X)X does not match expected type => L.this.x.type => ?{val *: ?}
а почему он говорит (z: X)X? Это он о чём? Что Z и Y ему одним типом кажутся в том контексте?
no subject
implicit def safeCast[Z,Y, _ >: Z <: Y]( z:Z ):Y = z.asInstanceOf[Y] case class L[X](val x: X) { def double[_ >: X <: Int] = x*2 }safeCast is not a valid implicit value for L.this.x.type => ?{val *: ?} because:
incompatible: (z: X)X does not match expected type L.this.x.type => ?{val *: ?}
safeCast is not a valid implicit value for => L.this.x.type => ?{val *: ?} because:
incompatible: (z: X)X does not match expected type => L.this.x.type => ?{val *: ?}
а почему он говорит (z: X)X? Это он о чём? Что Z и Y ему одним типом кажутся в том контексте?
Ок, поспрашиваю.