scala - scala と抽象型の「ボックス化解除」

Question

与えられたクラス

object A {
  type URLT = String
}

case class A(url : URLT)

class ForeignStreamWriter {
  def writeString(str: String) {}
}

trait WriterA {

  val writer : ForeignStreamWriter

  def write(src: A) {
    writer.write(src.url)
  }
}

writer.write(src.url)で URLT ではなく文字列を使用していることをコンパイラに伝えるにはどうすればよいですか? ForeignStreamWriter の署名を変更できません。

UPD

今のところ、私は唯一の解決策を見つけました

  def write(src: A) {
    writer.write(src.url.asInstanceOf[String])
  }

しかし、私はそれがあまり好きではありません。

Answer 1

あなたimport A._は範囲内にいる必要があります。ちなみに、サンプルはそれなしではコンパイルできませんでした。