microsoft / microsoft/TypeScript
undefined is narrowed away incorrectly
Offen
Dieses Issue hat noch niemand übernommen.
Bug
Domain: check: Control Flow
Help Wanted
- Vorherrschende Sprache
- Go
- Sterne
- 111k
- Forks
- 14.3k
- Ø Merge
- 1 T. 19 Std.
- Gemergte PRs (30 T.)
- 117
Beschreibung
🔎 Search Terms
narrowing undefined, incorrect type narrowing, incorrect if statement narrowing
🕗 Version & Regression Information
- This changed between versions 5.2 and 5.3
⏯ Playground Link
💻 Code
declare class A {
IsA(): this is A;
}
declare const pattern: A | undefined;
function applyPattern() {
if (pattern?.IsA() === false) {
pattern;
// ^?
return;
}
pattern;
// ^?
}
🙁 Actual behavior
pattern is narrowed down to A, removing the undefined
🙂 Expected behavior
pattern should only be narrowed to A | undefined
Additional information about the issue
No response
Beitragsleitfaden
Erste Schritte
- Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
- Forke das Repository und arbeite in einem Branch.
- Öffne einen Pull Request, der die Issue-Nummer nennt.
Rechercherichtung
Beginne mit dem verlinkten TypeScript Playground-Repro und vergleiche sein Verhalten zwischen den Versionen 5.2 und 5.3. Verfolge das Kontrollfluss-Narrowing für pattern?.IsA() === false; als erledigt gilt die Aufgabe, wenn der spätere Ausdruck pattern A | undefined bleibt, anstatt auf A eingegrenzt zu werden.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- typescript
- Bereich
- compilers
- Issue-Typ
- Bug
- Schwierigkeit
- 4/5
- Geschätzter Aufwand
- 3-5 Tage
- Aktivitätsstatus
- Veraltet
- Klarheit
- Größtenteils klar
- Anfängerfreundlichkeit
- 35/100