Closes #3816. Review by moors.

2 files changed, 49 insertions, 0 deletions

diff --git a/test/files/neg/t3816.check b/test/files/neg/t3816.check
new file mode 100644
index 0000000000..3658e76b64
--- /dev/null
+++ b/test/files/neg/t3816.check
@@ -0,0 +1,7 @@
+t3816.scala:30: error: stable identifier required, but syncID found.
+      case Some( `syncID` ) =>
+                 ^
+t3816.scala:38: error: stable identifier required, but Test.this.foo found.
+      case Some( `foo` ) =>
+                 ^
+two errors found
diff --git a/test/files/neg/t3816.scala b/test/files/neg/t3816.scala
new file mode 100644
index 0000000000..31b0825f1d
--- /dev/null
+++ b/test/files/neg/t3816.scala
@@ -0,0 +1,42 @@
+class B {
+    def ::(a: List[Int]) {
+        a match {
+            case x::xs =>
+            case _ =>
+        }
+    }
+}
+
+object Test {
+  def testSuccess1( x: Any ) = {
+    val stable = 2
+    x match {
+      case Some( `stable` ) =>
+      case _ =>
+    }
+  }
+
+  val bar = 3
+  def testSuccess2( x: Any ) = {
+    x match {
+      case Some( `bar` ) =>
+      case _ =>
+    }
+  }
+
+  def testFail1( x: Any ) = {
+    var syncID = 0
+    x match {
+      case Some( `syncID` ) =>
+      case _ =>
+    }
+  }
+
+  var foo = 0
+  def testFail2( x: Any ) = {
+    x match {
+      case Some( `foo` ) =>
+      case _ =>
+    }
+  }
+}