src/test/run-fail/match-disc-bot.rs

// error-pattern:quux
fn f() -> ! {
    panic!("quux")
}
fn g() -> isize {
    match f() {
        true => 1,
        false => 0,
    }
}
fn main() {
    g();
}