4 files changed, 29 insertions, 2 deletions
diff --git a/test/files/run/patmat_unapp_abstype-new.check b/test/files/run/patmat_unapp_abstype-new.check
index 72239d16cd..42c54631d2 100644
--- a/test/files/run/patmat_unapp_abstype-new.check
+++ b/test/files/run/patmat_unapp_abstype-new.check
@@ -1,4 +1,4 @@
 TypeRef
-none of the above
+MethodType
 Bar
 Foo
diff --git a/test/files/run/patmat_unapp_abstype-new.flags b/test/files/run/patmat_unapp_abstype-new.flags
deleted file mode 100644
index ba80cad69b..0000000000
--- a/test/files/run/patmat_unapp_abstype-new.flags
+++ /dev/null
@@ -1 +0,0 @@
--Xoldpatmat
diff --git a/test/files/run/t4124.check b/test/files/run/t4124.check
new file mode 100644
index 0000000000..66a0092d93
--- /dev/null
+++ b/test/files/run/t4124.check
@@ -0,0 +1,4 @@
+hi
+hi
+bye
+bye
diff --git a/test/files/run/t4124.scala b/test/files/run/t4124.scala
new file mode 100644
index 0000000000..9f35b57ce3
--- /dev/null
+++ b/test/files/run/t4124.scala
@@ -0,0 +1,24 @@
+import xml.Node
+
+object Test extends App {
+  val body: Node = <elem>hi</elem>	
+  println ((body: AnyRef, "foo") match {
+    case (node: Node, "bar")        => "bye"
+    case (ser: Serializable, "foo") => "hi"
+  })
+
+  println ((body, "foo") match {
+    case (node: Node, "bar")        => "bye"
+    case (ser: Serializable, "foo") => "hi"
+  })
+
+  println ((body: AnyRef, "foo") match {
+    case (node: Node, "foo")        => "bye"
+    case (ser: Serializable, "foo") => "hi"
+  })
+
+  println ((body: AnyRef, "foo") match {
+    case (node: Node, "foo")        => "bye"
+    case (ser: Serializable, "foo") => "hi"
+  })
+}