How can TypeScript detect always reached or unreachable code blocks?

Question

For example:

const a = true;
if (!a) {
    // not reachable, but no warning here
}

Are there any ways