microsoft / microsoft/TypeScript
`Tuple & nominal` not recognised as tuple in spread parameter
Dieses Issue hat noch niemand übernommen.
- Vorherrschende Sprache
- Go
- Sterne
- 111k
- Forks
- 14.4k
- Ø Merge
- 1 T. 19 Std.
- Gemergte PRs (30 T.)
- 117
Beschreibung
Bug Report
🔎 Search Terms
Nominal, Spread, Tuple,
🕗 Version & Regression Information
- This is the behavior in every version I tried, and I reviewed the FAQ for entries about spread and intersections
⏯ Playground Link
Playground link with relevant code
💻 Code
declare let a: [number, number, number] & { _nominal_a: never }
function b(...params: [number, number, number]) {}
b(...a) // Error: A spread argument must either have a tuple type or be passed to a rest parameter.
🙁 Actual behavior
The error in the code example is thrown, because TypeScript does not detect it as being a tuple.
In roblox-ts, we use a nominal marker type to indicate a special kind of tuple. This bug means that this tuple type can then not be spreaded into a fixed argument function. Our issue: https://github.com/roblox-ts/roblox-ts/issues/1537
🙂 Expected behavior
This is a tuple type, and should therefore be recognised as such.
Beitragsleitfaden
Erste Schritte
- Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
- Forke das Repository und arbeite in einem Branch.
- Öffne einen Pull Request, der die Issue-Nummer nennt.
Rechercherichtung
Beginne mit dem verlinkten TypeScript Playground-Beispiel und reproduziere den Spread-Fehler für die Schnittmenge eines Tupels und eines nominalen Markertyps. Verfolge anschließend das Prüfverhalten für Tupel und Spread-Argumente und füge dann einen Regressionstest hinzu, der diesen Fall abdeckt; fertig ist die Aufgabe, wenn der Aufruf mit festen Parametern ohne den Spread-Fehler typgeprüft wird.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- typescript
- Bereich
- compilers
- Issue-Typ
- Bug
- Schwierigkeit
- 4/5
- Geschätzter Aufwand
- 3-5 Tage
- Aktivitätsstatus
- Veraltet
- Klarheit
- Größtenteils klar
- Anfängerfreundlichkeit
- 38/100