Fix #1716: Don't allow wildcards as type arguments to methods

Wildcards don't make sense as type arguments to methods, and I believe to keep things
simple this should also apply to method type arguments in patterns.

The best way to enforce this is to make use of the existing infrastructure in the parser
for topLevelTypes.

1 files changed, 9 insertions, 0 deletions

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