Microsoft/TypeScript
Voir sur GitHubAliased optional chain calls don't narrow like their inline equivalents
Open
#59 145 ouverte le 5 juil. 2024
Domain: check: Control FlowHelp WantedPossible Improvement
Métriques du dépôt
- Stars
- (48 455 stars)
- Métriques de merge PR
- (Merge moyen 6j 17h) (9 PRs mergées en 30 j)
Description
🔎 Search Terms
aliased conditions control flow analysis cfa optional chain call
🕗 Version & Regression Information
- This is the behavior in every version I tried
⏯ Playground Link
💻 Code
function resolve1(id: string | undefined) {
const isBundled = id?.includes("_bundled");
if (isBundled) {
const str: string = id; // error
}
}
function resolve2(id: string | undefined) {
if (id?.includes("_bundled")) {
const str: string = id; // ok
}
}
🙁 Actual behavior
resolve1 errors within the if block
🙂 Expected behavior
I'd expect it to be OK. Just like resolve2 is OK with it here - the condition is exactly the same and TS supports Control Flow Analysis of Aliased Conditions and Discriminant since 4.4
Additional information about the issue
No response