Comma Operator breaks Functions that return never

[pushkine]

Bug Report

🕗 Version & Regression Information

ts stable & nightly

⏯ Playground Link

Playground Link

💻 Code

function exit(): never {
    throw new Error();
}

function log_then_exit(): never {
    console.log();
    exit();
}

function log_then_exit_comma(): never {
    //                          ^^^^^ A function returning 'never' cannot have a reachable end point
    console.log(), exit();
}

🙁 Actual behavior

Error

🙂 Expected behavior

No Error

Related : #44487

[fatcerberus]

I believe this is expected because (per #32695 where the feature was implemented):

A function call is analyzed as an assertion call or never-returning call when

• the call occurs as a top-level expression statement, and
• the call specifies a single identifier or a dotted sequence of identifiers for the function name, and
• each identifier in the function name references an entity with an explicit type, and
• the function name resolves to a function type with an asserts return type or an explicit never return type annotation.

In your example, the call exit() is part of a comma expression, and thus not a top-level statement.