microsoft / microsoft/TypeScript
`Parameters` returns `never` when used with a generic function that combines `Pick` and `Partial` on the generic type argument
まだ誰も着手していません。
- 主要言語
- Go
- スター
- 111k
- フォーク
- 14.3k
- 平均マージ
- 2日 4時間
- マージ済み PR(30日)
- 132
説明
### 🔎 Search Terms
partial pick generic parameters never
### 🕗 Version & Regression Information
- This is the behavior in every version I tried, and I reviewed the FAQ for entries about Parameters
### ⏯ Playground Link
https://www.typescriptlang.org/play/?ts=5.9.0-dev.20250331#code/C4TwDgpgBA8gRgKygXgFBSgHygbyqSALigHIBDEgGigEsATYgZ2ACcaA7Ac2rKdY85QAvuiy584CMRJwqtBlGZsu1OMXYBXALZwILYQG5UqDsD0AzMgGNoAQQAKASVyiA7gHsWAa0YAeACpQEAAeZux0jLCIAHwAFKIY7ojE-pSiAJTEAG7u9EaiZAA2jO4A6p4+AUGhEOGR8AhxCVBJCMT2NFZeAdQkBBAkYiT0JNFpGJlQOXnGGEUltsVlFX6BIWERUY3xGInJUPZkLMA0RQHRGdm5dPkYdO4QjOzA5d5V67WbDU27LfsdXR6pH6g2wwzooygADIDkcTmd-BcJlcZiJUP0oK8fIcWGQtJFkLDcVoIGYWH4HI4ANokDzeRgkAC60QMvzZ7IwAHpOVAqa1iA1GejJFBFiUsYwcXiCUS8aS9BSnDT5st6UyWRyuTy+f9Ot0GtQAET9Q1iQ30Q3RIUYsXuW0SqX4lCyklkxXU8hLe0rdWs7m8-lE+GFXzfa0igAiDyeLwqjpljvl5N8lJp90ezyxvo5-vYECyeiAA
### 💻 Code
```ts
type Obj =
| { type: 'a', id: string, a: string }
| { type: 'b', id: string, b: number };
interface API {
works(
obj: T,
): void;
alsoWorks(
obj: Pick,
): void;
alsoAlsoWorks(
obj: Partial
): void;
doesntWork(
obj: Pick & Partial
): void;
}
type WorksParams = Parameters; // [obj: Obj]
type AlsoWorksParams = Parameters; // [obj: Pick]
type AlsoAlsoWorksParams = Parameters; // [obj: Partial]
type DoesntWorkParams = Parameters; // never
```
### 🙁 Actual behavior
`Parameters` returns `never`
### 🙂 Expected behavior
The `Parameters` case behaves like the other cases and returns `[obj: Pick & Partial]`.
### Additional information about the issue
I'm not sure why `Parameters` works for all cases except when `Pick` and `Partial` are used together. I'm having the same problem when using `extends` and `infer` to get the parameters.
My use case is to prepend an argument `event: IpcMainInvokeEvent` to several generic functions to match the signature expected by the `listener` argument of Electron's [`ipcMain.handle`](https://www.electronjs.org/docs/latest/api/ipc-main#ipcmainhandlechannel-listener) method. If anyone knows of a workaround for this `Parameters` problem, I'd love to hear it.
コントリビューションガイド
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
調査の方向性
リンク先の TypeScript Playground から始め、Pick & Partial を使用する API の例を簡略化します。4 つのメソッドについて Parameters の結果を比較し、関連する型推論の挙動を追跡します。Pick と Partial を組み合わせたケースで期待されるパラメータタプルが生成され、他のケースにリグレッションが発生しなければ完了です。
索引モデルが issue の本文から書いたものです。
評価
- 技術スタック
- typescript
- 領域
- compilers
- issue の種類
- バグ
- 難易度
- 4/5
- 見積もり時間
- 3〜5日
- 活発さ
- 停滞
- 明瞭さ
- おおむね明確
- 初心者へのやさしさ
- 45/100