summaryrefslogtreecommitdiff
path: root/test/files/neg/t6902.check
diff options
context:
space:
mode:
authorJason Zaugg <jzaugg@gmail.com>2013-01-19 11:57:52 +0100
committerJason Zaugg <jzaugg@gmail.com>2013-01-19 11:57:52 +0100
commitcbd0205999d19e378f9f7ac8ca685a134862cf47 (patch)
treec2b573a3f637da29b55161a55534205827340437 /test/files/neg/t6902.check
parent766bb97114b5932b75340a9169558de61899997e (diff)
downloadscala-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.check10
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