microsoft / microsoft/TypeScript
C extends A but C does not extend A | B
Aperta
Nessuno ha ancora preso questa issue.
Domain: check: Variance Relationships
Help Wanted
Possible Improvement
- Lingua principale
- Go
- Stelle
- 111k
- Fork
- 14.4k
- Merge medio
- 1g 19h
- PR unite (30g)
- 117
Descrizione
🔎 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
Guida per i contributori
Apri la guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Direzione di ricerca
Inizia con l’esempio collegato di TypeScript Playground e riproduci l’errore del vincolo generico per DoesNotWork<T extends A | B = C>. Segui il percorso del controllo dei tipi per i vincoli di unione e verifica la modifica con questo esempio, con l’obiettivo di fare in modo che C venga accettato perché estende A.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Valutazione
- Stack tecnologico
- typescript
- Ambito
- compilers
- Tipo di issue
- Bug
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Stato di attività
- Ferma
- Chiarezza
- Specificata chiaramente
- Idoneità per principianti
- 35/100