1fn f(a: noreturn) void {
 2    _ = a;
 3}
 4export fn entry() void {
 5    f();
 6}
 7
 8// error
 9//
10// :1:6: error: parameter of type 'noreturn' not allowed