Microsoft/TypeScript

undefined is narrowed away incorrectly

Open

#60.106 aberto em 30 de set. de 2024

Ver no GitHub
 (3 comments) (0 reactions) (0 assignees)TypeScript (6.726 forks)batch import
BugDomain: check: Control FlowHelp Wanted

Métricas do repositório

Stars
 (48.455 stars)
Métricas de merge de PR
 (Mesclagem média 6d 17h) (9 fundiu PRs em 30d)

Description

🔎 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

Guia do colaborador