bug694.scala

来自「JAVA 语言的函数式编程扩展」· SCALA 代码 · 共 11 行

object test3 {
  trait Type[T];
  case object IntType extends Type[Int];
  case object StringType extends Type[String];

  def f[T](t : Type[T]) : T = t match {
    case IntType => 10;
    case StringType => "hello";
  }
}