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