Microsoft/TypeScript
Distributive conditional types can't distribute over `NoInfer` types wrapping a union
Offen
#61.076 geöffnet am 29.01.2025
Domain: Conditional TypesHelp WantedPossible Improvement
Repository-Metriken
- Stars
- (108.860 Sterne)
- PR-Merge-Metriken
- (PR-Metriken ausstehend)
Beschreibung
🔎 Search Terms
noinfer union distributive conditional distribution
🕗 Version & Regression Information
- This is the behavior in every version I tried
⏯ Playground Link
💻 Code
type FooEvent = { type: "FOO" };
type BarEvent = { type: "BAR" };
type Input = FooEvent | BarEvent;
type Result = Extract<Input, FooEvent>;
// ^? type Result = { type: "FOO"; }
type Result2 = Extract<NoInfer<Input>, FooEvent>;
// ^? type Result2 = never
🙁 Actual behavior
Result2 gets computed as never
🙂 Expected behavior
Result2 should get computed as { type: "FOO"; }
Additional information about the issue
This is repro for the core problem behind this incorrect behavior: TS playground