diff options
Diffstat (limited to 'src/test/ui/issues/issue-13202.rs')
-rw-r--r-- | src/test/ui/issues/issue-13202.rs | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/test/ui/issues/issue-13202.rs b/src/test/ui/issues/issue-13202.rs deleted file mode 100644 index 16debb5b6..000000000 --- a/src/test/ui/issues/issue-13202.rs +++ /dev/null @@ -1,7 +0,0 @@ -// run-fail -// error-pattern:bad input -// ignore-emscripten no processes - -fn main() { - Some("foo").unwrap_or(panic!("bad input")).to_string(); -} |