pub export fn main() noreturn {}

// error
//
// :1:32: error: function declared 'noreturn' returns
// :1:22: note: 'noreturn' declared here