From 532d7a9f3525471601a0853a6a6e28a048cb0827 Mon Sep 17 00:00:00 2001
From: Burak Emir <emir@epfl.ch>
Date: Sat, 1 Dec 2007 10:26:27 +0000
Subject: fixed #211

---
 test/files/run/patmatnew.scala | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

(limited to 'test')

diff --git a/test/files/run/patmatnew.scala b/test/files/run/patmatnew.scala
index dc8e21701a..f4852b4a0c 100644
--- a/test/files/run/patmatnew.scala
+++ b/test/files/run/patmatnew.scala
@@ -112,7 +112,7 @@ object Test extends TestConsoleMain {
       })
       assertEquals("s3", 1, ("hello") match {
         case s:String => 1
-        case _        => 0
+        //case _        => 0 // unreachable!
       })
       val xyz: (int, String, boolean) = (1, "abc", true);
       assertEquals("s4", 1, xyz._1 match {
@@ -797,6 +797,14 @@ object Test extends TestConsoleMain {
     override def runTest { assert(Y.toString ne null) /*instantiate Y*/ }
   }
 
+  object Ticket211 extends TestCase("#211") {
+    override def runTest {
+      (Some(123):Option[Int]) match {
+        case (x:Option[a]) if false => {};
+        case (y:Option[b]) => {};
+      }
+    }
+  }
 }
 
 
-- 
cgit v1.2.3