microsoft / microsoft/TypeScript

Partial of a mapped type from a union of enums fails when these enums have common members

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

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

Bug Domain: Mapped Types
主要言語
Go
スター
111k
フォーク
14.3k
平均マージ
1日 19時間
マージ済み PR(30日)
117

説明

TypeScript Version: 4.0.5, 4.1.2, 4.2.0-dev.20201126

Works fine with TS 3.X

Search Terms: mapped type enum partial

Code

enum EnumA {
    A = 'A',
    B = 'B',
}

// A second enum with at least one key also in EnumA
enum EnumB {
    B = 'B',
    C = 'C',
}

type Mapped = {
    [k in EnumA|EnumB]: string;
};

const partial: Partial<Mapped> = {
    [EnumA.B]: 'value',
};

Expected behavior:
Should compile

Actual behavior:
Typescript complains that EnumA.B does not exist in Partial<Mapped> when declaring the partial variable:

Type '{ B: string; }' is not assignable to type 'Partial<Mapped>'.
  Object literal may only specify known properties, and '[EnumA.B]' does not exist in type 'Partial<Mapped>'.

Playground Link: https://www.typescriptlang.org/play?ts=4.2.0-dev.20201126#code/KYOwrgtgBAouEEEoG8BQUNSQXigcgTwBp1MAhKXPM41AX1VVElngrUygqppM4GFK+frQaoALgE8ADsCgBZAIbTZAEyEdMAbQDWUAJYhWkBAB84kMgF0AXFADO4gE6GA5gG56n1AGMA9iCOUADu+uIAFn5g4vx+EBABAGqKADZgwHYACopO4vqpADxKKsCqAHwapBhaFogAdAi2+LScNWx1-E14ot7+geJQ-vFJqekAYk5xCFk5eYXFahW4mtW1CHXWdt0kdL0BQUMJIMlpwBNxZDO5+SlFyouVrbVkG109jH1BoRFR4tnXqTsC1Kj20awaXXWhD4YPg602+HhLVhlleWxevCqUDaqM66I67yAA

Related Issues: maybe https://github.com/microsoft/TypeScript/issues/37859 ?

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

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

はじめの一歩

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

調査の方向性

リンクされた TypeScript Playground と、提供されている enum、mapped type、Partial の repro から始め、その後、報告された動作を記載されている TypeScript バージョン間で比較します。enum の union から mapped type を構築したときに例が期待どおりコンパイルされ、共有された enum メンバーのケースに対するリグレッションカバレッジがあれば完了です。

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

評価

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

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

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