BugDomain: check: Type InferenceHelp Wanted
描述
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