Un problema de las conversiones implícitas en Scala 2,8

Question

Quiero escribir una conversión implícita de Tuple2 [A, B] para Sec [C] donde C es super tipo de ambos A y B. Mi primer intento de la siguiente manera:

implicit def t2seq[A,B,C](t: (A,B))(implicit env: (A,B) <:< (C,C)): Seq[C] = { 
    val (a,b) = env(t) 
    Seq(a,b) 
} 

Pero no funciona:

scala> (1,2): Seq[Int] 
<console>:7: error: type mismatch; 
found : (Int, Int) 
required: Seq[Int] 
     (1,2): Seq[Int] 
    ^

Si bien éste funciona:

class Tuple2W[A,B](t: (A,B)) { 
    def toSeq[C](implicit env: (A,B) <:< (C,C)): Seq[C] = { 
     val (a,b) = env(t) 
     Seq(a,b) 
    } 
} 
implicit def t2tw[A,B](t: (A,B)): Tuple2W[A,B] = new Tuple2W(t) 

caso de uso:

scala> (1,2).toSeq 
res0: Seq[Int] = List(1, 2) 

No tengo idea de por qué la primera solución no funcionó como se esperaba. Scala versión 2.8.0.r22634-b20100728020027 (Java HotSpot (TM) Client VM, Java 1.6.0_20).

Answer 1

Sólo tiene que utilizar <:< si los parámetros que han de limitarse ya estén consolidados en el ámbito circundante (como lo son en su segundo intento), por lo que en su caso

implicit def t2seq[A <: C,B <: C,C](t: (A,B)) = Seq(t._1, t._2) 

es suficiente.

Supongo que su primer intento no funcionó ya que es demasiado complejo para el tipo inferencer.