diff options
| author | Jason Zaugg <jzaugg@gmail.com> | 2014-02-12 14:41:36 +0100 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@typesafe.com> | 2014-02-12 20:54:47 -0800 |
| commit | c956a27c3278b99d45676c268955a9e58a1ed15c (patch) | |
| tree | 0c30690c97b32232398f0ae36fa059ccc835d84d /test/files/neg/t5189.check | |
| parent | b4e1a308f81d48b72ba90b7a8594759f27e1d8f3 (diff) | |
| download | scala-c956a27c3278b99d45676c268955a9e58a1ed15c.tar.gz scala-c956a27c3278b99d45676c268955a9e58a1ed15c.tar.bz2 scala-c956a27c3278b99d45676c268955a9e58a1ed15c.zip | |
SI-5900 Fix pattern inference regression
This commit does not close SI-5900. It only addresses a regression
in 2.11 prereleases caused by SI-7886.
The fix for SI-7886 was incomplete (as shown by the last commit)
and incorrect (as shown by the regression in pos/t5900a.scala and
the fact it ended up inferring type parameters.)
I believe that the key to fixing this problem will be unifying
the inference of case class constructor patterns and extractor
patterns.
I've explored that idea:
https://gist.github.com/retronym/7704153
https://github.com/retronym/scala/compare/ticket/5900
But didn't quite get there.
Diffstat (limited to 'test/files/neg/t5189.check')
| -rw-r--r-- | test/files/neg/t5189.check | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/files/neg/t5189.check b/test/files/neg/t5189.check index aecc1d11c4..4885de99cd 100644 --- a/test/files/neg/t5189.check +++ b/test/files/neg/t5189.check @@ -1,5 +1,5 @@ t5189.scala:3: error: type mismatch; - found : T => U + found : Nothing => Any required: Any => Any def f(x: Any): Any => Any = x match { case Foo(bar) => bar } ^ |