microsoft / microsoft/TypeScript

`Parameters` returns `never` when used with a generic function that combines `Pick` and `Partial` on the generic type argument

オープン
#61,516 コメント 2 件 リアクション 0 件 担当者 0 名 GitHub で見る

まだ誰も着手していません。

Bug Domain: check: Type Inference Help Wanted
主要言語
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.

コントリビューションガイド

コントリビューションガイドを開く

はじめの一歩

  1. issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
  2. 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
  3. リポジトリをフォークし、ブランチを切って変更します。
  4. issue 番号を参照したプルリクエストを送ります。

調査の方向性

リンク先の TypeScript Playground から始め、Pick & Partial を使用する API の例を簡略化します。4 つのメソッドについて Parameters の結果を比較し、関連する型推論の挙動を追跡します。Pick と Partial を組み合わせたケースで期待されるパラメータタプルが生成され、他のケースにリグレッションが発生しなければ完了です。

索引モデルが issue の本文から書いたものです。

評価

技術スタック
typescript
領域
compilers
issue の種類
バグ
難易度
4/5
見積もり時間
3〜5日
活発さ
停滞
明瞭さ
おおむね明確
初心者へのやさしさ
45/100

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。