flag to check for type-unreachable code

feature request

the allowUnreachableCode flag (when disabled) only checks for code that's syntactically unreachable. however, the check doesn't work at all when looking at types.

i propose an additional flag (as @RyanCavanaugh suggested keeping these two concerns separate, see https://github.com/microsoft/TypeScript/issues/45267#issuecomment-901297945) that checks for code that the type checker believes is unreachable. for example:

declare function foo(): never

const a = foo()
console.log(1) //no error

foo()

console.log(1) //error

assertNever

in order to allow the assertNever pattern, the flag could still allow unreachable code where an argument of type never is passed, but not code after never is returned. this way, the following code would still be valid:

declare function assertNever(value: never): never
declare const foo: 1|2|3
switch(foo) {
    case 1:
        break
    case 2:
        break
    case 3:
        break
    default:
        assertNever(foo)
}

🔎 Search Terms

unreachable code

⏯ Playground Link

Playground link with relevant code

💻 Code

if (false) console.log("asdf") //error
if (false as false) console.log("asdf") //no error

Beginne mit dem verlinkten TypeScript Playground und reproduziere beide Beispiele unter Verwendung des bestehenden Verhaltens von allowUnreachableCode. Lies die Typprüfungs- und Unreachable-Code-Diagnosen rund um diese Fälle und definiere dann das Verhalten des Flags für never-Rückgaben und assertNever-Aufrufe. Als abgeschlossen gilt die Aufgabe, wenn die vorgeschlagenen, typbasierten Unreachable-Checks und Ausnahmen durch vereinbarte Compiler-Tests abgedeckt sind.