Comma Operator breaks Assertion Functions

[pushkine]

Bug Report

🕗 Version & Regression Information

ts stable & nightly

⏯ Playground Link

Playground Link

💻 Code

function Narrow<T>(value: any): asserts value is T {}

function test(foo: any, bar: any) {
    Narrow<number>(foo), Narrow<string>(bar);
    foo; // foo: number;
    bar; // bar: any;
}

🙁 Actual behavior

foo is asserted as number, bar is asserted as string.
The type of foo becomes number, but the type of bar is still any.

🙂 Expected behavior

Type of bar to be narrowed to string.

[MartinJohns]

Related issue: #41264

Tho I see no reason why you couldn't just use a semicolon instead.

[fatcerberus]

According to #41312 this should be fixed already?

[jakebailey]

Just to note it since it's been a few months and I'm about to look a this; the bug is still present in 4.6.0-dev.20211130, so wasn't fixed by #41312.