concat arrays

TypeScript Version: 4.1.2 & Nightly 4.2

Search Terms: concat, spread

Code

type First = [number, string];
type Second = [string, string];
type Result = [...First, ...Second];

function concat (first: First, second: Second): Result {
    return first.concat(second); // error
}

function spread (first: First, second: Second): Result {
    return [...first, ...second]; // ok
}

Expected behavior: concat function works similarly to spread function without an error.

Actual behavior: Type '(string | number)[]' is not assignable to type '[number, string, string, string]'. Target requires 4 element(s) but source may have fewer.(2322)

Playground Link:
playground

Related Issues: https://github.com/microsoft/TypeScript/issues/36554

Beginne damit, das Tuple-concat-Beispiel im verlinkten TypeScript-Playground nachzustellen und mit der Spread-Version zu vergleichen. Verfolge das Compilerverhalten für Array.concat bei Tupeltypen; abgeschlossen ist die Aufgabe, wenn concat mit dem deklarierten Result-Typ akzeptiert wird, ohne die Prüfung der Tupellänge abzuschwächen.