次のスニペットは、期待どおり true を返します。
import scala.reflect.runtime.universe._
typeOf[Seq[Int]] <:< typeOf[Traversable[Int]]
ただし、このスニペットは次のことを行いません。
val s = Seq[Int](1,2,3)
val m = runtimeMirror(this.getClass.getClassLoader)
val t = m.reflect(s).symbol.typeSignature
t <:< typeOf[Seq[Int]]
明らかな何かが欠けているだけだと確信していますが、REPLを数時間使用していて、うまくいきませんでした。どんな提案でも大歓迎です。前もって感謝します。