test/files/pos/bug694.scala


1
2
3
4
5
6
7
8
9
10

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";
  }
}