From f0125bc5912ebe87a01c7e63094dc97757d2dee8 Mon Sep 17 00:00:00 2001 From: Paul Phillips Date: Mon, 20 Jun 2011 15:28:15 +0000 Subject: 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. --- test/files/run/bug2308a.scala | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 test/files/run/bug2308a.scala (limited to 'test/files/run/bug2308a.scala') 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) +} -- cgit v1.2.3