Merge branch '6229-known-length-tuples' of https://github.com/tycho01/TypeScript into 6229-known-length-tuples

Author: sandersn

src/compiler/checker.ts

@@ -67,7 +67,6 @@ namespace ts {
         const allowSyntheticDefaultImports = typeof compilerOptions.allowSyntheticDefaultImports !== "undefined" ? compilerOptions.allowSyntheticDefaultImports : modulekind === ModuleKind.System;
         const strictNullChecks = getStrictOptionValue(compilerOptions, "strictNullChecks");
         const strictFunctionTypes = getStrictOptionValue(compilerOptions, "strictFunctionTypes");
-        const strictTuples = getStrictOptionValue(compilerOptions, "strictTuples");
         const noImplicitAny = getStrictOptionValue(compilerOptions, "noImplicitAny");
         const noImplicitThis = getStrictOptionValue(compilerOptions, "noImplicitThis");
 
@@ -7303,12 +7302,9 @@ namespace ts {
                 property.type = typeParameter;
                 properties.push(property);
             }
-            if (strictTuples) {
-                const lengthSymbol = createSymbol(SymbolFlags.Property, "length" as __String);
-                lengthSymbol.type = getLiteralType(arity);
-                lengthSymbol.checkFlags = CheckFlags.Readonly;
-                properties.push(lengthSymbol);
-            }
+            const lengthSymbol = createSymbol(SymbolFlags.Property, "length" as __String);
+            lengthSymbol.type = getLiteralType(arity);
+            properties.push(lengthSymbol);
             const type = <GenericType & InterfaceTypeWithDeclaredMembers>createObjectType(ObjectFlags.Tuple | ObjectFlags.Reference);
             type.typeParameters = typeParameters;
             type.outerTypeParameters = undefined;

src/compiler/commandLineParser.ts

@@ -276,13 +276,6 @@ namespace ts {
             category: Diagnostics.Strict_Type_Checking_Options,
             description: Diagnostics.Enable_strict_checking_of_function_types
         },
-        {
-            name: "strictTuples",
-            type: "boolean",
-            showInSimplifiedHelpView: true,
-            category: Diagnostics.Strict_Type_Checking_Options,
-            description: Diagnostics.Enable_strict_tuple_checks
-        },
         {
             name: "noImplicitThis",
             type: "boolean",

src/compiler/core.ts

@@ -1683,7 +1683,7 @@ namespace ts {
         return moduleResolution;
     }
 
-    export type StrictOptionName = "noImplicitAny" | "noImplicitThis" | "strictNullChecks" | "strictFunctionTypes" | "strictTuples" | "alwaysStrict";
+    export type StrictOptionName = "noImplicitAny" | "noImplicitThis" | "strictNullChecks" | "strictFunctionTypes" | "alwaysStrict";
 
     export function getStrictOptionValue(compilerOptions: CompilerOptions, flag: StrictOptionName): boolean {
         return compilerOptions[flag] === undefined ? compilerOptions.strict : compilerOptions[flag];

src/compiler/diagnosticMessages.json

@@ -3326,10 +3326,6 @@
         "category": "Message",
         "code": 6186
     },
-    "Enable strict tuple checks.": {
-        "category": "Message",
-        "code": 6187
-    },
     "Variable '{0}' implicitly has an '{1}' type.": {
         "category": "Error",
         "code": 7005

src/compiler/types.ts

@@ -3788,7 +3788,6 @@ namespace ts {
         strict?: boolean;
         strictFunctionTypes?: boolean;  // Always combine with strict property
         strictNullChecks?: boolean;  // Always combine with strict property
-        strictTuples?: boolean;
         /* @internal */ stripInternal?: boolean;
         suppressExcessPropertyErrors?: boolean;
         suppressImplicitAnyIndexErrors?: boolean;