Microsoft/TypeScript
Ver no GitHubIncorrect inference of mapped substitution type in conditional involving a union of arrays (regression)
Open
#56.018 aberto em 7 de out. de 2023
BugDomain: Conditional TypesHelp 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
"inference", "conditional type", "substitution type", "mapped type", "type constraint", "array", "union type"
🕗 Version & Regression Information
This changed between versions 5.0.4 and 5.1.6
⏯ Playground Link
💻 Code
type Renamed = readonly ({ [k: PropertyKey]: string } | undefined)[]
type Foo<T extends readonly (PropertyKey | undefined)[] | Renamed> =
T extends Renamed ? GetKeys<Required<T>> : Required<T>
// ~~~~~~~~~~
// Type 'Required<T>' does not satisfy the constraint 'Renamed'
type GetKeys<R extends Renamed> = { [K in keyof R]: keyof R[K] }
// usage
type A = Foo<['a'?]> // ["a"]
type B = Foo<[{ a?: 'b' }]> // ["a"]
🙁 Actual behavior
TS fails to see that Required<T extends Renamed> extends Renamed.
🙂 Expected behavior
It should compile.
Additional information about the issue
Substitute readonly (PropertyKey | undefined)[] with something that is not an array and the problem disappears.
I get the same error when I do GetKeys<Id<T>> with type Id<T> = { [K in keyof T]: T[K] }.
Extract<Required<T>, Required<Renamed>> silences the error, but Extract<Required<T>, Renamed> does not.