Arrow function with never return type does not cause unreachable code when called

[cherryblossom000]

TypeScript Version: 3.8.3

Search Terms: arrow function never unreachable narrowing

Code

const f = (): never => {
    throw new Error()
}
f()
// should be unreachable but isn't
console.log()

Expected behavior:
Unreachable code detected. (7027) warning on line 6 (last line).

Actual behavior:
No warning.

Playground Link: link

Related Issues: #36753, #12825

[IllusionMH]

As mentioned in linked #36753 (and many other e.g. #37472 (comment)) - it's design limitation.
Your const f needs explicit type annotation to participate in CFA.
const f: () => never = ...

[typescript-bot]

This issue has been marked as a 'Duplicate' and has seen no recent activity. It has been automatically closed for house-keeping purposes.