Specialization + dependent method type --> inconsistent symbols

[adriaanm]

trait SpecFun[@specialized T] {
  type Res
  def res: Res
}

object Test {
  // the symbols for the `op` argument get out of synch
  def m[@specialized T](op: SpecFun[T]): op.Res = op.res
}

[dlwh]

this might be an instance of the same bug, but though I'd leave it here:

trait ValuesVisitor[A] {
  def visit(a: A): Unit

  def visitArray(arr: Array[A]): Unit = ???
}

class OpArray[@specialized A] {
  def traverse(from: Array[A], fn: ValuesVisitor[A]): fn.type = {
    fn.visitArray(from)
    fn
  }

}

traverse.scala:11: error: type mismatch;
 found   : fn.type (with underlying type ValuesVisitor[Byte])
 required: fn.type
    fn
    ^