Microsoft/TypeScript
Type loosening regression with union types in TS 4.2
Aperta
#43.185 aperta il 10 mar 2021
BugDomain: check: Type InferenceHelp Wanted
Metriche repository
- Star
- (108.860 stelle)
- Metriche merge PR
- (Metriche PR in attesa)
Descrizione
Bug Report
🔎 Search Terms
- union type
🕗 Version & Regression Information
- bug exists in 4.2
- works in 4.1
⏯ Playground Link
When using union types with helper function constructing one of the type, the type is incorrectly loosened from string value type to string (func1). Directly returning the shape (func2) or using as const (func3) fixes it. Also when simplifying and removing the union (func4), it starts working.
This was not problem in 4.1, errors only in 4.2