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