Microsoft/TypeScript
Ver no GitHubInferred type is not the same as what's passed in original generic type.
Open
#42.516 aberto em 27 de jan. de 2021
BugDomain: check: Type InferenceEffort: DifficultHelp 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
Bug Report
🔎 Search Terms
infer, generic
🕗 Version & Regression Information
- This is a crash
- This changed between versions _________ and _________
- This is the behavior in every version I tried, and I reviewed the FAQ for entries about infer.
- I was unable to test this on prior versions because _______
⏯ Playground Link
Playground link with relevant code
💻 Code
// The variable names are meaningless, they are simplified from vue project.
type PropConstructor<T = any> =
| { new (...args: any[]): T & object }
| { (): T }
type MyInfer<T> = T extends PropConstructor<infer V> ? V : 'xxx'
type VVV = (() => string) | (() => number)
type X = MyInfer<PropConstructor<VVV>>
🙁 Actual behavior
type X = (() => string) | (() => number) | ((() => string) & object) | ((() => number) & object)
🙂 Expected behavior
type X = (() => string) | (() => number))