more on Xkilloption, and a PM fix

1 files changed, 24 insertions, 2 deletions

diff --git a/test/files/run/patmatnew.scala b/test/files/run/patmatnew.scala
index d7cb9aec6f..377e89a267 100644
--- a/test/files/run/patmatnew.scala
+++ b/test/files/run/patmatnew.scala
@@ -20,7 +20,7 @@ object Test {
     val tr = new TestResult
     new TestSuite(
 
-      new Test01
+      new Test717
 
     ).run(tr)
 
@@ -31,7 +31,7 @@ object Test {
   class Foo(j:Int) {
     case class Bar(i:Int)
   }
-  class Test01 extends TestCase("bir (#717 test path of case classes)") {
+  class Test717 extends TestCase("#717 test path of case classes") {
     val foo1 = new Foo(1)
     val foo2 = new Foo(2)
 
@@ -43,4 +43,26 @@ object Test {
       assertTrue("ok", res);
     }
   }
+
+  class Test806_818 { // #806, #811 compile only -- type of bind
+    // bug811
+    trait Core {
+      trait NodeImpl;
+      trait OtherImpl extends NodeImpl;
+      trait DoubleQuoteImpl extends NodeImpl;
+      def asDQ(node : OtherImpl) = node match {
+	case dq : DoubleQuoteImpl => dq;
+      }
+    }
+
+    trait IfElseMatcher {
+      type Node <: NodeImpl;
+      trait NodeImpl;
+      trait IfImpl;
+      private def coerceIf(node : Node) = node match {
+	case node : IfImpl => node; // var node is of type Node with IfImpl!
+	case _ => null;
+      }
+    }
+  }
 }