Tuple should be readonly by default

Any tuples can mutate, this entails incorrect typing

TypeScript Version: 4.1.0-dev.20200828

Search Terms:
"readonly tuple"
"immutable tuple"

Code

const exampleSort: [number, string] = [2, '1'];

exampleSort.sort();

exampleSort // Type: [number, string], RealType: [string, number]

const exampleSplice: [number, string] = [2, '1'];

exampleSplice.splice(0, 1);

exampleSplice // Type: [number, string], RealType: [string]

Expected behavior:

const exampleSort: [number, string] = [2, '1'];

// Property 'sort' does not exist on type '[number, string]'.(2339)
exampleSort.sort();

const exampleSplice: [number, string] = [2, '1'];

// Property 'splice' does not exist on type '[number, string]'.(2339)
exampleSplice.splice(0, 1);

Actual behavior:

const exampleSort: [number, string] = [2, '1'];

exampleSort.sort();

const exampleSplice: [number, string] = [2, '1'];

exampleSplice.splice(0, 1);

Playground Link: https://www.typescriptlang.org/play?ts=4.1.0-dev.20200828#code/MYewdgzgLgBApgDwIYFsAOAbOBlEAnKALhgG0wBXFAIzjwBoZo8BLMAcwF0YBeUgJgYByAIyCOAbgBQkxKkw58UAHQRFACgCUUmcnRZcBGAHojMACoBPNHGJlKNeoygt2HBgCU4SDJeu2mrGwMFNS0HNKgkLCyejiYzMA2pCEODAGuPPxCohLSMfLY8YkqRXBqAAwMwlp5ugWlxqa+SXahjumcHl4+Vi0d4dKSQA

Related Issues:

Commencez par reproduire les exemples de tuples dans le TypeScript Playground lié et comparez les types signalés avec les mutations à l’exécution de sort et splice. Suivez la gestion par le compilateur de la mutabilité des tuples et des tableaux ; le travail est considéré comme terminé lorsque les diagnostics attendus apparaissent pour ces opérations sans casser l’utilisation valide des tuples.