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:

Bắt đầu bằng cách tái hiện các ví dụ về tuple trong TypeScript Playground được liên kết và so sánh các kiểu được báo cáo với những đột biến trong thời gian chạy do sort và splice thực hiện. Theo dõi cách trình biên dịch xử lý tính khả biến của tuple và array; được xem là hoàn tất khi các chẩn đoán mong đợi xuất hiện đối với những thao tác này mà không làm hỏng việc sử dụng tuple hợp lệ.