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

Bắt đầu với bản tái hiện TypeScript Playground được liên kết bằng cách sử dụng ví dụ destructuring rest của tuple readonly. Theo dõi cách trình biên dịch suy luận kiểu của rest, sau đó xác minh rằng hành vi hoàn chỉnh cho phép rest[0] = 1 và rest.push(2) trong khi vẫn giữ nguyên ngữ nghĩa runtime được báo cáo.