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/pos | |
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/pos')
-rw-r--r-- | test/files/pos/hk-infer.scala | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test/files/pos/hk-infer.scala b/test/files/pos/hk-infer.scala index a1b83bf04a..30e3476404 100644 --- a/test/files/pos/hk-infer.scala +++ b/test/files/pos/hk-infer.scala @@ -8,6 +8,9 @@ object Basis { import Basis._ object DoesWork { + // Doesn'tWork + // def f1 = x ++ y ++ x1 ++ x2 + def f2 = List(x, y, x1, x2).flatten } |