microsoft / microsoft/TypeScript
Inference breaks when a function returns a tuple with another function
Aperta
Nessuno ha ancora preso questa issue.
Bug
Domain: check: Type Inference
- Lingua principale
- Go
- Stelle
- 111k
- Fork
- 14.4k
- Merge medio
- 1g 19h
- PR unite (30g)
- 117
Descrizione
Bug Report
🔎 Search Terms
Inference, tuple, generic, callback, higher-order function
🕗 Version & Regression Information
v4.3.2 and below (tested down to v3.3.3)
⏯ Playground Link
Playground link with relevant code
💻 Code
declare function a(): [
<T>(arg: T) => T
]
declare function b<T, U>(a1: T, a2: [(a: T) => U]): U
b(1, [a()[0]]) // returns number, as expected
b(1, a()) // returns unknown (expected a number)
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 dal TypeScript Playground collegato e riproduci la differenza tra b(1, [a()[0]]) e b(1, a()). Traccia il comportamento di inferenza del callback generico restituito all'interno della tupla. Il lavoro è completato quando la seconda chiamata inferisce number invece di unknown, con la copertura del caso di regressione mostrato.
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