microsoft / microsoft/TypeScript

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

Offen
#41,700 2 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

Bug Domain: Mapped Types
Vorherrschende Sprache
Go
Sterne
111k
Forks
14.3k
Ø Merge
2 T. 4 Std.
Gemergte PRs (30 T.)
132

Beschreibung

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 ?

Beitragsleitfaden

Beitragsleitfaden öffnen

Erste Schritte

  1. Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
  2. Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
  3. Forke das Repository und arbeite in einem Branch.
  4. Öffne einen Pull Request, der die Issue-Nummer nennt.

Rechercherichtung

Beginne mit dem verlinkten TypeScript Playground und dem bereitgestellten Repro für enum, mapped type und Partial und vergleiche anschließend das gemeldete Verhalten über die aufgeführten TypeScript-Versionen hinweg. Als abgeschlossen gilt die Aufgabe, wenn das Beispiel erwartungsgemäß kompiliert, sobald der mapped type aus der Vereinigung von enums erstellt wird, und eine Regressionstestabdeckung für den Fall eines gemeinsamen enum-Members vorhanden ist.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Bewertung

Tech-Stack
typescript
Bereich
compilers
Issue-Typ
Bug
Schwierigkeit
4/5
Geschätzter Aufwand
3-5 Tage
Aktivitätsstatus
Veraltet
Klarheit
Größtenteils klar
Anfängerfreundlichkeit
35/100

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.