Microsoft/TypeScript
Voir sur GitHubInfer from usages should not widen literal types
Open
#52 991 ouverte le 27 févr. 2023
Domain: LS: RefactoringsExperience EnhancementHelp WantedSuggestion
Métriques du dépôt
- Stars
- (48 455 stars)
- Métriques de merge PR
- (Merge moyen 6j 17h) (9 PRs mergées en 30 j)
Description
Bug Report
🔎 Search Terms
string literal to string, infer type from usages, code fix, quickfix
⏯ Playground Link
Playground link with relevant code
💻 Code
let a
a = "foo" as "foo" | "bar"
let b
b = getB()
checkB(b)
function checkB(toCheck: "foo" | "bar") {
}
function getB(): "foo" | "bar" {
return "foo"
}
🙁 Actual behavior
After running infer from usages quickfix, you get string type in a and b positions
🙂 Expected behavior
Should get inffered type "foo"
I think in case of as and satisfies clauses the type should be just copied literally?
As you can see from example this is common case for string enums, like when some function expects some string enum instead of just string, but this information gets lost