Type guard not considered for unreachable code

```
function typeGuardNotDetectingUnreachableCode(x: string | boolean) {
if (typeof x === "string" && x === false) {
console.log();
}
}

function unreachableCodeDetectedFine1() {
return;
console.log();
}

function unreachableCodeDetectedFine2() {
throw new Error();
console.log();
}
```

It would be good if the first scenario was highlighted as unreachable code, like the other 2 scenarios are. TypeScript currently detects this scenario.