Domain: check: Variance RelationshipsHelp WantedPossible Improvement
Repository-Metriken
- Stars
- (48.455 Stars)
- PR-Merge-Metriken
- (Durchschn. Merge 6T 17h) (9 gemergte PRs in 30 T)
Beschreibung
🔎 Search Terms
union extends
🕗 Version & Regression Information
- This is the behavior in every version I tried, and I reviewed the FAQ for entries about unions and extends
⏯ Playground Link
💻 Code
type A = { a: 1, b: string} | { a: 2 , b: string};
type B = { a: 2, c: string };
type C = { a: 1 | 2, b: string };
type Works<T extends A = C> = T;
type DoesNotWork<T extends A | B = C> = T;
🙁 Actual behavior
An error tells that C does not extend A | B
🙂 Expected behavior
No error since C extends A and therefore extends A | B
Additional information about the issue
No response