Microsoft/TypeScript
Auf GitHub ansehenIncorrect inference of mapped substitution type in conditional involving a union of arrays (regression)
Open
#56.018 geöffnet am 7. Okt. 2023
BugDomain: Conditional TypesHelp Wanted
Repository-Metriken
- Stars
- (48.455 Stars)
- PR-Merge-Metriken
- (Durchschn. Merge 6T 17h) (9 gemergte PRs in 30 T)
Beschreibung
🔎 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.