Array rest of readonly tuple type incorrectly preserves readonly modifier

TypeScript Version: 3.8.0-dev.20200101

Search Terms: readonly tuple rest

Code

declare const tuple: readonly [number, ...number[]];

const [a, ...rest] = tuple;
rest[0] = 1;
rest.push(2);

Expected behavior:

rest: number[]
I should be able to modify the resulting array.

Actual behavior:

rest: readonly number[]
Not able to modify the array (even though it is a mutable clone at runtime).

Playground Link: https://www.typescriptlang.org/play/?ts=3.8.0-dev.20200101&ssl=1&ssc=1&pln=5&pc=14#code/CYUwxgNghgTiAEYD2A7AzgF3hgrgBwhAC544phUIBPeAbRRwFsAjEGAGngDoeGW3aAXUEBuAFBjk6LLSiceXOJkHwAvNnyFxSjLQAMK9QEZtITFzw40ACwAUAJgCUIoA

Beginne mit der verknüpften TypeScript Playground-Reproduktion unter Verwendung des Beispiels zur Rest-Destrukturierung eines readonly-Tupels. Verfolge, wie der Compiler den Typ von rest ableitet, und überprüfe anschließend, dass das abgeschlossene Verhalten rest[0] = 1 und rest.push(2) ermöglicht und dabei die berichtete Laufzeitsemantik beibehält.