Microsoft/TypeScript

Can't assign to partial of intersection with mapped type over generic

開放

#56,905 建立於 2023年12月30日

 (2 則留言) (0 個反應) (0 位負責人)TypeScript (13,395 個分叉)batch import
Domain: Mapped TypesHelp WantedPossible Improvement

倉庫指標

星標
 (108,860 顆星)
PR 合併指標
 (PR 指標待抓取)

描述

🔎 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

No response

貢獻者指南