1export fn a() void {
 2    return;
 3    b();
 4}
 5
 6fn b() void {}
 7
 8// error
 9//
10// :3:6: error: unreachable code
11// :2:5: note: control flow is diverted here