1 files changed, 10 insertions, 0 deletions
diff --git a/tests/untried/pos/t694.scala b/tests/untried/pos/t694.scala
new file mode 100644
index 000000000..ebabc658c
--- /dev/null
+++ b/tests/untried/pos/t694.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";
+  }
+}