1 files changed, 9 insertions, 0 deletions
diff --git a/tests/neg/i1716.scala b/tests/neg/i1716.scala
new file mode 100644
index 000000000..1a3fd71d0
--- /dev/null
+++ b/tests/neg/i1716.scala
@@ -0,0 +1,9 @@
+object Fail {
+  def f(m: Option[Int]): Unit = {
+     m match {
+      case x @ Some[_] =>       // error
+      case _           =>
+    }
+  }
+  Some[_]  // error
+}