diff options
author | Paul Phillips <paulp@improving.org> | 2011-06-20 15:28:15 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2011-06-20 15:28:15 +0000 |
commit | f0125bc5912ebe87a01c7e63094dc97757d2dee8 (patch) | |
tree | df088a77722a5d99328ee07d73a8456988d6ecca /test/files/run/bug2308a.scala | |
parent | 2627ab313f0d9f33e1b97e8aeda4447cf34bd27d (diff) | |
download | scala-f0125bc5912ebe87a01c7e63094dc97757d2dee8.tar.gz scala-f0125bc5912ebe87a01c7e63094dc97757d2dee8.tar.bz2 scala-f0125bc5912ebe87a01c7e63094dc97757d2dee8.zip |
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.
Diffstat (limited to 'test/files/run/bug2308a.scala')
-rw-r--r-- | test/files/run/bug2308a.scala | 7 |
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) +} |