undefined is narrowed away incorrectly

Descrizione

🔎 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

https://www.typescriptlang.org/play/?#code/CYUwxgNghgTiAEkoGdnwILwN4CgCQAksugBQCUAXPAC4AWAlmoxgNw4C+OOoSciA9gDtk1eAAco1aiBiCqmAD7wAroNAAzeoJDA261WGr0h8KGLEQAngAVJ02eWz566+CQlSZggPwA6IqRk8AC8ofDqUBDIIEG4eHge9oJs8QD0qfAAet74eHDUyrIpnAl2XinpWTnsQA

💻 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

Come iniziare

Leggi tutta la issue e poi la guida ai contributi del progetto.

Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.

Fai un fork del repository e lavora su un branch.

Apri una pull request che faccia riferimento al numero della issue.

Direzione di ricerca

Inizia con il repro collegato di TypeScript Playground e confronta il suo comportamento tra le versioni 5.2 e 5.3. Traccia il narrowing del flusso di controllo per pattern?.IsA() === false; il lavoro è completato quando l’espressione successiva pattern rimane A | undefined invece di essere ristretta a A.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Valutazione

Stack tecnologico

typescript

Ambito

compilers

Tipo di issue

Bug

Difficoltà

4/5

Tempo stimato

3-5 giorni

Stato di attività

Ferma

Chiarezza

Abbastanza chiara

Idoneità per principianti

35/100