Fixed bug 694

1 files changed, 10 insertions, 0 deletions

diff --git a/test/files/pos/bug694.scala b/test/files/pos/bug694.scala
new file mode 100755
index 0000000000..ebabc658ce
--- /dev/null
+++ b/test/files/pos/bug694.scala
@@ -0,0 +1,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";
+  }
+}