about summary refs log tree commit diff
path: root/src/test
diff options
context:
space:
mode:
Diffstat (limited to 'src/test')
-rw-r--r--src/test/compile-fail/unreachable-try-pattern.rs (renamed from src/test/run-pass/unreachable-try-pattern.rs)8
1 files changed, 8 insertions, 0 deletions
diff --git a/src/test/run-pass/unreachable-try-pattern.rs b/src/test/compile-fail/unreachable-try-pattern.rs
index f58d5c8de0d..6b334a0f275 100644
--- a/src/test/run-pass/unreachable-try-pattern.rs
+++ b/src/test/compile-fail/unreachable-try-pattern.rs
@@ -16,7 +16,15 @@ fn bar(x: Result<!, i32>) -> Result<u32, i32> {
     x?
 }
 
+fn foo(x: Result<!, i32>) -> Result<u32, i32> {
+    let y = (match x { Ok(n) => Ok(n as u32), Err(e) => Err(e) })?;
+    //~^ ERROR unreachable pattern
+    //~| ERROR unreachable expression
+    Ok(y)
+}
+
 fn main() {
     let _ = bar(Err(123));
+    let _ = foo(Err(123));
 }