CFA doesn't see non executable code #15089
Description
TypeScript Version: 2.3.0-dev.20170403
Code
let validate = true;
if (validate) {
} else {
// here validate type is never, but error doesn't arise
if (validate) {
}
}{{ message }}
TypeScript Version: 2.3.0-dev.20170403
Code
let validate = true;
if (validate) {
} else {
// here validate type is never, but error doesn't arise
if (validate) {
}
}