Type of variable isn't widened inside a conditional inside a loop

Bug Report

🔎 Search Terms

ts2367 widen loop

🕗 Version & Regression Information

• This is a crash
• This changed between versions ______ and _______
• This is the behavior in every version I tried, and I reviewed the FAQ for entries about _________
• I was unable to test this on prior versions because _______

⏯ Playground Link

Playground link

💻 Code

Edit: shorter version by gabritto

let code: 0 | 1 = 0
while (true) {
    code = code === 1 ? 0 : 1
}

And in practice:

🙁 Actual behavior

Error

🙂 Expected behavior

Since code could be changed in previous iterations of the loop, the condition is not always false, so there shouldn’t be any error.

[fatcerberus]

Clarification on above comment: I was responding to someone who mistakenly thought code and code2 in the repro code were the same variable. That comment has since been deleted, but I left my response in case someone else makes the same mistake.

[fatcerberus]

No, there are actually two variables: code and code2. The latter is a loop variable.