Problem with function types, <T>() => T extends X ? () : ()

Repository metrics

Stars

48,455 stars (48,455 stars)

PR merge metrics

平均マージ 6d 17h (平均マージ 6d 17h)30d で 9 merged PRs (30d で 9 merged PRs)

説明

type Fn<X> = <T>() => T extends X ? 1 : 2
type Equals<X, Y> =
  Fn<X> extends
  Fn<Y> ? true : false

type A = Equals<{readonly a: 'A'}, {a: 'A'}>

type Fn1<X> = <T>() => T extends X ? 1 : 2
type Fn2<X> = <T>() => T extends X ? 1 : 2
type Equals<X, Y> =
  Fn1<X> extends
  Fn2<Y> ? true : false

type A = Equals<{readonly a: 'A'}, {a: 'A'}>

コントリビューターガイド

調査方針

TypeScript の checker.ts における型等価性アルゴリズムを調査し、特にジェネリック関数型内の条件付き型がどのように比較されるかに焦点を当てます。この問題は、Equals<{readonly a: 'A'}, {a: 'A'}> が誤って true を返すことを示しています。ジェネリック制約を持つ関数型の構造的型付けロジックと、readonly 修飾子が無視される理由を調べてください。「関数型の比較」および条件付き型における「readonly」に関連する既存の問題やテストを探します。

技術スタック

typescript

領域

なし

Issue 種別

バグ

難度新しい貢献者にとっての実装難度です。1 は非常に小さな変更、5 は専門的な作業です。

4

推定時間経験ある貢献者が調査、実装、テスト、pull request 準備にかけるおおよその時間範囲です。

3-5日

活動状況Issue が今どれだけ取り組みやすいかを示します。新しい、活発、古い、ブロック中、またはメンテナー入力待ちなどです。

アクティブ

明確さ期待される変更、受け入れ条件、次の手順がどれだけ明確かを示します。

明確

前提条件

TypeScriptGit

初心者向け度初回貢献者にどれだけ取り組みやすいかを 1-100 で推定したスコアです。

25