Array rest of readonly tuple type incorrectly preserves readonly modifier

<!-- 🚨 STOP 🚨 𝗦𝗧𝗢𝗣 🚨 𝑺𝑻𝑶𝑷 🚨 Half of all issues filed here are duplicates, answered in the FAQ, or not appropriate for the bug tracker. Even if you think you've found a *bug*, please read the FAQ first, especially the Common "Bugs" That Aren't Bugs section! Please help us by doing the following steps before logging an issue: * Search: https://github.com/Microsoft/TypeScript/search?type=Issues * Read the FAQ: https://github.com/Microsoft/TypeScript/wiki/FAQ Please fill in the *entire* template below. --> <!-- Please try to reproduce the issue with the latest published version. It may have already been fixed. For npm: `typescript@next` This is also the 'Nightly' version in the playground: http://www.typescriptlang.org/play/?ts=Nightly --> **TypeScript Version:** 3.8.0-dev.20200101 <!-- Search terms you tried before logging this (so others can find this issue more easily) --> **Search Terms:** readonly tuple rest **Code** ```ts 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