1export fn f() void {
2    const a: noreturn = {};
3    _ = a;
4}
5
6// error
7//
8// :2:25: error: cannot cast to noreturn