// Issue #7580

// error-pattern:panic works

use std::*;

fn main() {
    panic!("panic works")
}