`Tuple & nominal` not recognised as tuple in spread parameter

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.

Inizia con l’esempio TypeScript Playground collegato e riproduci l’errore di spread per l’intersezione di una tupla e di un tipo marcatore nominale. Traccia quindi il comportamento del controllo di tuple e argomenti spread, poi aggiungi un test di regressione che copra questo caso; il lavoro è completato quando la chiamata con parametri fissi viene verificata senza l’errore di spread.