if stmt is ast.ExprStmt {

if stmt.expr is ast.CallExpr {

if prev_stmt_was_noreturn_call {

return

}

prev_stmt_was_noreturn_call = stmt.expr.is_noreturn

vlib/v/checker/tests/noreturn_with_non_empty_loop_at_end.vv:4:6: error: @[noreturn] functions should end with a call to another @[noreturn] function, or with an infinite `for {}` loop

2 | fn another() {

3 | eprintln(@FN)

4 | for {

| ^

5 | break

6 | }

vlib/v/checker/tests/noreturn_with_return.vv:2:1: error: [noreturn] functions cannot use return statements

1 | @[noreturn]

2 | fn another() {

| ~~~~~~

7 | }

8 |

vlib/v/checker/tests/noreturn_without_loop_or_another_noreturn_at_end.vv:3:2: error: @[noreturn] functions should end with a call to another @[noreturn] function, or with an infinite `for {}` loop

1 | @[noreturn]

2 | fn another() {

3 | eprintln(@FN)

| ~~~~~~~~~~~~~

4 | }

5 |