Discriminating property with never as possible type makes its enclosing object type disappear when narrowing

Offen

#60,702 erstellt am 06.12.2024 10 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

Bewertung

Schwierigkeit: 4/5
Geschätzter Aufwand: 3-5 Tage
Anfängerfreundlichkeit: 45/100

Issue-Typ: Bug
Klarheit: Größtenteils klar
Aktivitätsstatus: Veraltet
Tech-Stack: typescript
Bereich: compilers

Rechercherichtung

Beginne mit der bereitgestellten TypeScript Playground-Reproduktion und führe das DiscUnion-Beispiel wie geschrieben aus. Verfolge die Eingrenzung sowohl für if(o.discProp) als auch für if(!o.discProp); die Arbeit ist abgeschlossen, wenn das { discProp: never, a: 1 }-Member in den erwarteten Zweigen möglich bleibt, ohne die anderen eingegrenzten Member zu ändern.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Beschreibung

In Discussion Suggestion

🔎 Search Terms

discriminated union never, discriminating property never

🕗 Version & Regression Information

It happens in every version I tried.

⏯ Playground Link

https://www.typescriptlang.org/play/?ts=5.8.0-dev.20241206#code/C4TwDgpgBAIglgZwMYFUB2cD2aoF4BQAPlAN5QAmiSACgE6ZgBcUaEAbhLQDRQCGzARigBfIqQpU6DZgCIw9MDJ4AjZgCYRYspWRSmUAK5pyEAGZxW5HkmYBmTfhNIANr1rQk2BMCiZm8ZHQsNHx8OFMACkwAOh0aBQBKUnwoXxSoAHoMqAA9AH58YSgIZwRoEnTMdKzcgtEwyIBCGLi9JIrUqtSa-MLi0vLK6uze4SA

💻 Code

type DiscUnion =
| { discProp: never, a: 1 }
| { discProp: "prop", b: 2 }
| { discProp: undefined, c: 3 }

declare const o: DiscUnion

if(o.discProp) {
  o
  // ^? { discProp: "prop"; b: 2; }
} else {
  o
  // ^? { discProp: undefined; c: 3; }
}

if(!o.discProp) {
  o
  // ^? { discProp: undefined; c: 3; }
} else {
  o
  // ^? { discProp: "prop"; b: 2; }
}

🙁 Actual behavior

{ discProp: never, a: 1 } disappears!

🙂 Expected behavior

In the first if, I expect { discProp: never, a: 1 } to be a possible type of o in the else branch. Viceversa, in the second if I expect it to be a possible type of o in the then branch.

Additional information about the issue

No response

Vorherrschende Sprache: Go
Sterne: 111k
Forks: 14.4k
Ø Merge: 1 T. 19 Std.
Gemergte PRs (30 T.): 117

Beitragsleitfaden

Beitragsleitfaden öffnen

Erste Schritte

Lesen Sie das ganze Issue und danach den Beitragsleitfaden des Projekts.
Schreiben Sie ins Issue, dass Sie es übernehmen — das erspart doppelte Arbeit.
Forken Sie das Repository und arbeiten Sie in einem Branch.
Öffnen Sie einen Pull Request, der die Issue-Nummer nennt.

Mehr aus microsoft/TypeScript

[Bug] PrivateIdentifier nodes are omitted from 2020 semantic classifications Offen

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 88/100

microsoft/TypeScript#64322 · 2 Kommentare · 1 Reaktion · 2 zugewiesene Personen · Erstellt am 18.9.2026
enhance: Add tests for premature caching of contextual parameter types Offen

Possible Improvement

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 78/100

microsoft/TypeScript#64278 · 1 Kommentar · 1 Reaktion · Erstellt am 15.9.2026
dom.generated.d.ts is missing from this repo while still referenced in the docs Offen

Docs

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 70/100

microsoft/TypeScript#64118 · 1 Kommentar · Erstellt am 01.9.2026
typescript-language-server does not work with @typescript/typescript6 Offen

Schwierigkeit 1/5 Unter einer Stunde Anfängerfreundlichkeit 88/100

microsoft/TypeScript#64094 · Erstellt am 29.8.2026
The new `--lsp` flag is not mentioned in `tsc --help`'s output Offen

Docs

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 76/100

microsoft/TypeScript#63959 · 5 Kommentare · Erstellt am 22.8.2026

Alle Issues in microsoft/TypeScript