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

readonly タプルの rest 分割代入の例を使用して、リンク先の TypeScript Playground の再現から始めてください。コンパイラーが rest の型をどのように推論するかを追跡し、その後、報告されているランタイムのセマンティクスを維持しながら、完成した動作で rest[0] = 1 と rest.push(2) が可能になることを確認してください。