Can't assign to partial of intersection with mapped type over generic · Microsoft/TypeScript#56905

(2 commentaires) (0 réactions) (0 assignés)TypeScript (6 726 forks)batch import

Domain: Mapped TypesHelp WantedPossible Improvement

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

🔎 Search Terms

"mapped type", "mapped generic type", "intersection", "partial"

🕗 Version & Regression Information

Current version of Typescript, not sure if it's a regression

⏯ Playground Link

No response

💻 Code

Simple to reproduce:

type X = 'a' | 'b' | 'c'
const foo = <T extends X>() => {
    const result: Partial<{d:number} & {[P in T]: boolean}> = {
       // error: Type '{ d: number; }' is not assignable to type 'Partial<{ d: number; } & { [P in T]: boolean; }>'
        d: 1
    }
}

🙁 Actual behavior

I get an error

🙂 Expected behavior

I am able to use this type in general; I expect to be able to use a partial of it as well. The only thing I've found that satisfies the type is an empty object

Additional information about the issue