// error-pattern:mismatched types fn main() { die!("test"); }