tests/ui/issues/issue-13202.rs

//@ run-fail
//@ error-pattern:bad input
//@ needs-subprocess

fn main() {
    Some("foo").unwrap_or(panic!("bad input")).to_string();
}