diff options
author | Jason Zaugg <jzaugg@gmail.com> | 2013-02-25 21:54:09 +0100 |
---|---|---|
committer | Jason Zaugg <jzaugg@gmail.com> | 2013-02-25 21:54:09 +0100 |
commit | 0303e64efa8ee223c0767d7be8d2875a62b88aea (patch) | |
tree | 30a86867d56b532a316a0e59e1338c6790f2f4ba /test/files/pos/t0305.scala | |
parent | 9a2455aee4cfb09030ff2c2c0e6861326487e474 (diff) | |
download | scala-0303e64efa8ee223c0767d7be8d2875a62b88aea.tar.gz scala-0303e64efa8ee223c0767d7be8d2875a62b88aea.tar.bz2 scala-0303e64efa8ee223c0767d7be8d2875a62b88aea.zip |
SI-7183 Disable unreachability for withFilter matches.
This avoids spurious unreachable warnings on code
that the user didn't write.
The parser desugars for-comprehensions such as:
for (A(a) <- List(new A)) yield a
To:
List(new A()).withFilter(((check$ifrefutable$2) =>
check$ifrefutable$2: @scala.unhecked match {
case A((a @ _)) => true
case _ => false
})
)
But, if `A.unapply` returns `Some[_]`, the last case is dead code.
(Matching against a regular case class *would* fall through in
the caes of a null scrutinee.)
In SI-6902, we enabled unreachability warnings, even if the
scrutinee was annotated as @unchecked. That was consistent
with the 2.9.2 behaviour, it was only disabled temporarily
(actually, accidentally) in 2.10.0. But, the old pattern matcher
didn't warn about this code.
This commit makes the pattern matcher recognise the special
scrutinee based on its name and disables both exhaustivity
*and* unreachability analysis.
To do so, the we generalize the boolean flag `unchecked` to
the class `Suppression`.
Diffstat (limited to 'test/files/pos/t0305.scala')
0 files changed, 0 insertions, 0 deletions