Неявные преобразования не работают с параметрами типа

Question

У меня проблема с неявными преобразованиями, не работающими при определенных обстоятельствах (типы с более высоким родом). Для данной системы, типа выражения и двух конкретных подтипов выражения:

trait Sys[S <: Sys[S]]

object Expr {
  trait Var  [S <: Sys[S], A] extends Expr[S, A]
  trait Const[S <: Sys[S], A] extends Expr[S, A]
}
trait Expr[S <: Sys[S], A]

И класс pimp для операций с выражениями:

class RichDoubleExpr[S <: Sys[S]](ex: Expr[S, Double]) {
  def gugu(): String = "yes"
}

Тогда пусть будут неявные преобразования из примитивов в выражения и из выражений в выражения ops:

implicit def const[S <: Sys[S]](d: Double): Expr[S, Double] = 
  new Expr.Const[S, Double] {}

implicit def exprOps[S <: Sys[S], A <% Expr[S, Double]](v: A): RichDoubleExpr[S] = 
  new RichDoubleExpr( v )

Следующие работы (таким образом, неявный метод const):

3.4.gugu()

Следующее не работает (таким образом, неявный метод exprOps):

def test[S <: Sys[S]]: String = {
  val v = new Expr.Var[S, Double] {}
  v.gugu()
}

со следующей ошибкой:

error: No implicit view available from java.lang.Object with
   Expr.Var[S,Double] => Expr[S,Double].
          v.gugu()
          ^

Теперь, так как Expr.Var продолжается Expr и параметры типа идентичны, это сообщение об ошибке явно не имеет смысла для меня. Любые идеи, как это исправить?

Answer 1

Жизнеспособным решением в моем случае является несколько "исправить" параметр типа S:

class ExprImplicits[S <: Sys[S]] {
  implicit def const(d: Double): Expr[S, Double] = new Expr.Const[S, Double] {}

  implicit def exprOps[A <% Expr[S, Double]](v: A): RichDoubleExpr[S] = 
    new RichDoubleExpr(v)
}

Теперь я могу импортировать последствия для конкретной системы:

def test[S <: Sys[S]]: String = {
  val imp = new ExprImplicits[S]
  import imp._

  3.4.gugu()  // ok
  val v = new Expr.Var[S, Double] {}
  v.gugu()    // ok
}