diff options
author | Jason Zaugg <jzaugg@gmail.com> | 2013-01-19 11:57:52 +0100 |
---|---|---|
committer | Jason Zaugg <jzaugg@gmail.com> | 2013-01-19 11:57:52 +0100 |
commit | cbd0205999d19e378f9f7ac8ca685a134862cf47 (patch) | |
tree | c2b573a3f637da29b55161a55534205827340437 /test/files/neg/t6902.check | |
parent | 766bb97114b5932b75340a9169558de61899997e (diff) | |
download | scala-cbd0205999d19e378f9f7ac8ca685a134862cf47.tar.gz scala-cbd0205999d19e378f9f7ac8ca685a134862cf47.tar.bz2 scala-cbd0205999d19e378f9f7ac8ca685a134862cf47.zip |
SI-6902 Check unreachability under @unchecked
Only exhaustiveness checking should be disabled if the
scrutinee of a match as annotated as `: @unchecked`.
This was the pre-2.10.x behaviour.
This also fixes a variation of the closed ticket,
SI-6011. The exhaustiveness check is needed to
safely fallback from emitting a table switch if
duplicate cases are detected.
Diffstat (limited to 'test/files/neg/t6902.check')
-rw-r--r-- | test/files/neg/t6902.check | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/test/files/neg/t6902.check b/test/files/neg/t6902.check new file mode 100644 index 0000000000..8ad7fd37f9 --- /dev/null +++ b/test/files/neg/t6902.check @@ -0,0 +1,10 @@ +t6902.scala:4: error: unreachable code + case Some(b) => 3 // no warning was emitted + ^ +t6902.scala:9: error: unreachable code + case Some(b) => 3 // no warning was emitted + ^ +t6902.scala:21: error: unreachable code + case 1 => 3 // crash + ^ +three errors found |