なぜかよくわからないけど Scala で型推論がうまくいかなくて、その理由がよくわからないっていう話

kmizu @kmizu @lyrical_logical 最初の def f[C[_] <: A[_]])(a : C[T]) = a はtypoだと思うのですが、これの動くバージョンがちとわかりません。 #scalajp kmizu @kmizu @lyrical_logical def f[T, C[_] <: A[_]](a : C[T]) = a だと、 f(new B { def t = 1 }) // ok がimplicitが曖昧エラーになっちゃいますし。

[alpha_neet]

scalac -Yinfer-debug