When TypeVars were given higher-order abilities...

When TypeVars were given higher-order abilities, so too should have been
WildcardType, which acts as a plceholder for typevars. Always inflicting
arguments upon it was the cause of #2308. Closes #2308, review by moors.

1 files changed, 7 insertions, 0 deletions

diff --git a/test/files/run/bug2308a.scala b/test/files/run/bug2308a.scala
new file mode 100644
index 0000000000..fff158c772
--- /dev/null
+++ b/test/files/run/bug2308a.scala
@@ -0,0 +1,7 @@
+object Test {
+  trait T[M[_]]
+
+  def f1 = classOf[T[X] forSome { type X[_] } ]
+
+  def main(args: Array[String]): Unit = println(f1)
+}