microsoft / microsoft/TypeScript
[P in keyof T]: T[P] not accepting inferred base type via extends
オープン
まだ誰も着手していません。
Effort: Difficult
Experience Enhancement
Help Wanted
Suggestion
- 主要言語
- Go
- スター
- 111k
- フォーク
- 14.4k
- 平均マージ
- 1日 19時間
- マージ済み PR(30日)
- 117
説明
TypeScript Version: 3.8.3
Search Terms:
[P in keyof T]?: T[P]typescript generic extends in keyoftypescript generic extends T[P]typescript mongo collection generic
Code
interface IModel {
id: string;
}
type Query<T> = {
[P in keyof T]?: T[P]
}
export class Base<T extends IModel> {
public find(query: Query<T>): void {
// Forward the query to database
console.log(query);
}
public findOneById(id: string): void {
this.find({ id });
}
}
Expected behavior:
It's expected to allow to execute the find with the properties defined on IModel as base of any other model;
Actual behavior:
It shows an error:
Argument of type '{ id: string; }' is not assignable to parameter of type 'Query<T>'.ts(2345)
Playground Link:
Related Issues:
Didn't find any related issue
コントリビューションガイド
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
調査の方向性
まず、issue にある TypeScript 3.8.3 の例とその Playground リンクを再現し、その後コメントスレッドを読んで現在のコンセンサスを確認します。ソースファイルもテストも指定されていません。IModel プロパティを使用する汎用的な find 呼び出しが一貫して受け入れられるか、期待される動作が明確に解決されれば、作業は完了です。
索引モデルが issue の本文から書いたものです。
評価
- 技術スタック
- typescript
- 領域
- compilers
- issue の種類
- バグ
- 難易度
- 4/5
- 見積もり時間
- 3〜5日
- 活発さ
- 停滞
- 明瞭さ
- おおむね明確
- 初心者へのやさしさ
- 35/100