diff --git a/tests/baselines/reference/arityAndOrderCompatibility01.errors.txt b/tests/baselines/reference/arityAndOrderCompatibility01.errors.txt
index 5eeaef51566..b34b8896919 100644
--- a/tests/baselines/reference/arityAndOrderCompatibility01.errors.txt
+++ b/tests/baselines/reference/arityAndOrderCompatibility01.errors.txt
@@ -1,4 +1,4 @@
-tests/cases/conformance/types/tuple/arityAndOrderCompatibility01.ts(15,12): error TS2339: Property '2' does not exist on type '[string, number]'.
+tests/cases/conformance/types/tuple/arityAndOrderCompatibility01.ts(15,12): error TS2493: Tuple type '[string, number]' of length '2' has no element at index '2'.
 tests/cases/conformance/types/tuple/arityAndOrderCompatibility01.ts(17,5): error TS2461: Type '{ 0: string; 1: number; length: 2; }' is not an array type.
 tests/cases/conformance/types/tuple/arityAndOrderCompatibility01.ts(18,5): error TS2741: Property '2' is missing in type '[string, number]' but required in type '[number, number, number]'.
 tests/cases/conformance/types/tuple/arityAndOrderCompatibility01.ts(19,5): error TS2741: Property '2' is missing in type 'StrNum' but required in type '[number, number, number]'.
@@ -45,7 +45,7 @@ tests/cases/conformance/types/tuple/arityAndOrderCompatibility01.ts(32,5): error
     
     var [a, b, c] = x;
                ~
-!!! error TS2339: Property '2' does not exist on type '[string, number]'.
+!!! error TS2493: Tuple type '[string, number]' of length '2' has no element at index '2'.
     var [d, e, f] = y;
     var [g, h, i] = z;
         ~~~~~~~~~
diff --git a/tests/baselines/reference/bestCommonTypeOfTuple.errors.txt b/tests/baselines/reference/bestCommonTypeOfTuple.errors.txt
index e3c5dcc7986..0349ce1ebe4 100644
--- a/tests/baselines/reference/bestCommonTypeOfTuple.errors.txt
+++ b/tests/baselines/reference/bestCommonTypeOfTuple.errors.txt
@@ -1,7 +1,7 @@
-tests/cases/conformance/types/typeRelationships/bestCommonType/bestCommonTypeOfTuple.ts(22,13): error TS2339: Property '2' does not exist on type '[(x: number) => string, (x: number) => number]'.
-tests/cases/conformance/types/typeRelationships/bestCommonType/bestCommonTypeOfTuple.ts(23,13): error TS2339: Property '2' does not exist on type '[E1, E2]'.
-tests/cases/conformance/types/typeRelationships/bestCommonType/bestCommonTypeOfTuple.ts(24,13): error TS2339: Property '2' does not exist on type '[number, any]'.
-tests/cases/conformance/types/typeRelationships/bestCommonType/bestCommonTypeOfTuple.ts(25,13): error TS2339: Property '3' does not exist on type '[E1, E2, number]'.
+tests/cases/conformance/types/typeRelationships/bestCommonType/bestCommonTypeOfTuple.ts(22,13): error TS2493: Tuple type '[(x: number) => string, (x: number) => number]' of length '2' has no element at index '2'.
+tests/cases/conformance/types/typeRelationships/bestCommonType/bestCommonTypeOfTuple.ts(23,13): error TS2493: Tuple type '[E1, E2]' of length '2' has no element at index '2'.
+tests/cases/conformance/types/typeRelationships/bestCommonType/bestCommonTypeOfTuple.ts(24,13): error TS2493: Tuple type '[number, any]' of length '2' has no element at index '2'.
+tests/cases/conformance/types/typeRelationships/bestCommonType/bestCommonTypeOfTuple.ts(25,13): error TS2493: Tuple type '[E1, E2, number]' of length '3' has no element at index '3'.
 
 
 ==== tests/cases/conformance/types/typeRelationships/bestCommonType/bestCommonTypeOfTuple.ts (4 errors) ====
@@ -28,13 +28,13 @@ tests/cases/conformance/types/typeRelationships/bestCommonType/bestCommonTypeOfT
     t4 = [E1.one, E2.two, 20];
     var e1 = t1[2];  // {}
                 ~
-!!! error TS2339: Property '2' does not exist on type '[(x: number) => string, (x: number) => number]'.
+!!! error TS2493: Tuple type '[(x: number) => string, (x: number) => number]' of length '2' has no element at index '2'.
     var e2 = t2[2];  // {}
                 ~
-!!! error TS2339: Property '2' does not exist on type '[E1, E2]'.
+!!! error TS2493: Tuple type '[E1, E2]' of length '2' has no element at index '2'.
     var e3 = t3[2];  // any
                 ~
-!!! error TS2339: Property '2' does not exist on type '[number, any]'.
+!!! error TS2493: Tuple type '[number, any]' of length '2' has no element at index '2'.
     var e4 = t4[3];  // number
                 ~
-!!! error TS2339: Property '3' does not exist on type '[E1, E2, number]'.
\ No newline at end of file
+!!! error TS2493: Tuple type '[E1, E2, number]' of length '3' has no element at index '3'.
\ No newline at end of file
diff --git a/tests/baselines/reference/bestCommonTypeOfTuple2.errors.txt b/tests/baselines/reference/bestCommonTypeOfTuple2.errors.txt
index d2fd301e131..602e9fdeef2 100644
--- a/tests/baselines/reference/bestCommonTypeOfTuple2.errors.txt
+++ b/tests/baselines/reference/bestCommonTypeOfTuple2.errors.txt
@@ -1,8 +1,8 @@
-tests/cases/conformance/types/typeRelationships/bestCommonType/bestCommonTypeOfTuple2.ts(17,14): error TS2339: Property '4' does not exist on type '[C, base]'.
-tests/cases/conformance/types/typeRelationships/bestCommonType/bestCommonTypeOfTuple2.ts(18,14): error TS2339: Property '4' does not exist on type '[C, D]'.
-tests/cases/conformance/types/typeRelationships/bestCommonType/bestCommonTypeOfTuple2.ts(19,14): error TS2339: Property '4' does not exist on type '[C1, D1]'.
-tests/cases/conformance/types/typeRelationships/bestCommonType/bestCommonTypeOfTuple2.ts(20,14): error TS2339: Property '2' does not exist on type '[base1, C1]'.
-tests/cases/conformance/types/typeRelationships/bestCommonType/bestCommonTypeOfTuple2.ts(21,14): error TS2339: Property '2' does not exist on type '[C1, F]'.
+tests/cases/conformance/types/typeRelationships/bestCommonType/bestCommonTypeOfTuple2.ts(17,14): error TS2493: Tuple type '[C, base]' of length '2' has no element at index '4'.
+tests/cases/conformance/types/typeRelationships/bestCommonType/bestCommonTypeOfTuple2.ts(18,14): error TS2493: Tuple type '[C, D]' of length '2' has no element at index '4'.
+tests/cases/conformance/types/typeRelationships/bestCommonType/bestCommonTypeOfTuple2.ts(19,14): error TS2493: Tuple type '[C1, D1]' of length '2' has no element at index '4'.
+tests/cases/conformance/types/typeRelationships/bestCommonType/bestCommonTypeOfTuple2.ts(20,14): error TS2493: Tuple type '[base1, C1]' of length '2' has no element at index '2'.
+tests/cases/conformance/types/typeRelationships/bestCommonType/bestCommonTypeOfTuple2.ts(21,14): error TS2493: Tuple type '[C1, F]' of length '2' has no element at index '2'.
 
 
 ==== tests/cases/conformance/types/typeRelationships/bestCommonType/bestCommonTypeOfTuple2.ts (5 errors) ====
@@ -24,17 +24,17 @@ tests/cases/conformance/types/typeRelationships/bestCommonType/bestCommonTypeOfT
     
     var e11 = t1[4]; // base
                  ~
-!!! error TS2339: Property '4' does not exist on type '[C, base]'.
+!!! error TS2493: Tuple type '[C, base]' of length '2' has no element at index '4'.
     var e21 = t2[4]; // {}
                  ~
-!!! error TS2339: Property '4' does not exist on type '[C, D]'.
+!!! error TS2493: Tuple type '[C, D]' of length '2' has no element at index '4'.
     var e31 = t3[4]; // C1
                  ~
-!!! error TS2339: Property '4' does not exist on type '[C1, D1]'.
+!!! error TS2493: Tuple type '[C1, D1]' of length '2' has no element at index '4'.
     var e41 = t4[2]; // base1
                  ~
-!!! error TS2339: Property '2' does not exist on type '[base1, C1]'.
+!!! error TS2493: Tuple type '[base1, C1]' of length '2' has no element at index '2'.
     var e51 = t5[2]; // {}
                  ~
-!!! error TS2339: Property '2' does not exist on type '[C1, F]'.
+!!! error TS2493: Tuple type '[C1, F]' of length '2' has no element at index '2'.
     
\ No newline at end of file
diff --git a/tests/baselines/reference/castingTuple.errors.txt b/tests/baselines/reference/castingTuple.errors.txt
index 4587612cb76..4ddb42ed2d9 100644
--- a/tests/baselines/reference/castingTuple.errors.txt
+++ b/tests/baselines/reference/castingTuple.errors.txt
@@ -6,7 +6,7 @@ tests/cases/conformance/types/tuple/castingTuple.ts(14,15): error TS2352: Conver
 tests/cases/conformance/types/tuple/castingTuple.ts(15,14): error TS2352: Conversion of type '[number, string]' to type '[number, string, boolean]' may be a mistake because neither type sufficiently overlaps with the other. If this was intentional, convert the expression to 'unknown' first.
 tests/cases/conformance/types/tuple/castingTuple.ts(18,21): error TS2352: Conversion of type '[C, D]' to type '[C, D, A]' may be a mistake because neither type sufficiently overlaps with the other. If this was intentional, convert the expression to 'unknown' first.
   Property '2' is missing in type '[C, D]' but required in type '[C, D, A]'.
-tests/cases/conformance/types/tuple/castingTuple.ts(20,33): error TS2339: Property '5' does not exist on type '[C, D, A]'.
+tests/cases/conformance/types/tuple/castingTuple.ts(20,33): error TS2493: Tuple type '[C, D, A]' of length '3' has no element at index '5'.
 tests/cases/conformance/types/tuple/castingTuple.ts(30,10): error TS2352: Conversion of type '[number, string]' to type '[number, number]' may be a mistake because neither type sufficiently overlaps with the other. If this was intentional, convert the expression to 'unknown' first.
   Type 'string' is not comparable to type 'number'.
 tests/cases/conformance/types/tuple/castingTuple.ts(31,10): error TS2352: Conversion of type '[C, D]' to type '[A, I]' may be a mistake because neither type sufficiently overlaps with the other. If this was intentional, convert the expression to 'unknown' first.
@@ -49,7 +49,7 @@ tests/cases/conformance/types/tuple/castingTuple.ts(33,1): error TS2304: Cannot
     var eleFromCDA1 = classCDATuple[2]; // A
     var eleFromCDA2 = classCDATuple[5]; // C | D | A
                                     ~
-!!! error TS2339: Property '5' does not exist on type '[C, D, A]'.
+!!! error TS2493: Tuple type '[C, D, A]' of length '3' has no element at index '5'.
     var t10: [E1, E2] = [E1.one, E2.one];
     var t11 = <[number, number]>t10;
     var array1 = <{}[]>emptyObjTuple;
diff --git a/tests/baselines/reference/emitCapturingThisInTupleDestructuring1.errors.txt b/tests/baselines/reference/emitCapturingThisInTupleDestructuring1.errors.txt
index 8fba60b9cd0..5b8f2346ee9 100644
--- a/tests/baselines/reference/emitCapturingThisInTupleDestructuring1.errors.txt
+++ b/tests/baselines/reference/emitCapturingThisInTupleDestructuring1.errors.txt
@@ -1,5 +1,5 @@
-tests/cases/compiler/emitCapturingThisInTupleDestructuring1.ts(3,17): error TS2339: Property '1' does not exist on type '[any]'.
-tests/cases/compiler/emitCapturingThisInTupleDestructuring1.ts(3,29): error TS2339: Property '2' does not exist on type '[any]'.
+tests/cases/compiler/emitCapturingThisInTupleDestructuring1.ts(3,17): error TS2493: Tuple type '[any]' of length '1' has no element at index '1'.
+tests/cases/compiler/emitCapturingThisInTupleDestructuring1.ts(3,29): error TS2493: Tuple type '[any]' of length '1' has no element at index '2'.
 
 
 ==== tests/cases/compiler/emitCapturingThisInTupleDestructuring1.ts (2 errors) ====
@@ -7,7 +7,7 @@ tests/cases/compiler/emitCapturingThisInTupleDestructuring1.ts(3,29): error TS23
     wrapper((array: [any]) => {
         [this.test, this.test1, this.test2] = array;  // even though there is a compiler error, we should still emit lexical capture for "this"
                     ~~~~~~~~~~
-!!! error TS2339: Property '1' does not exist on type '[any]'.
+!!! error TS2493: Tuple type '[any]' of length '1' has no element at index '1'.
                                 ~~~~~~~~~~
-!!! error TS2339: Property '2' does not exist on type '[any]'.
+!!! error TS2493: Tuple type '[any]' of length '1' has no element at index '2'.
     });
\ No newline at end of file
diff --git a/tests/baselines/reference/emitCapturingThisInTupleDestructuring2.errors.txt b/tests/baselines/reference/emitCapturingThisInTupleDestructuring2.errors.txt
index 22a8e1ca63e..5d14e2401c4 100644
--- a/tests/baselines/reference/emitCapturingThisInTupleDestructuring2.errors.txt
+++ b/tests/baselines/reference/emitCapturingThisInTupleDestructuring2.errors.txt
@@ -1,4 +1,4 @@
-tests/cases/compiler/emitCapturingThisInTupleDestructuring2.ts(8,39): error TS2339: Property '2' does not exist on type '[number, number]'.
+tests/cases/compiler/emitCapturingThisInTupleDestructuring2.ts(8,39): error TS2493: Tuple type '[number, number]' of length '2' has no element at index '2'.
 
 
 ==== tests/cases/compiler/emitCapturingThisInTupleDestructuring2.ts (1 errors) ====
@@ -11,6 +11,6 @@ tests/cases/compiler/emitCapturingThisInTupleDestructuring2.ts(8,39): error TS23
         method() {
             () => [this.test, this.test1, this.test2] = array1; // even though there is a compiler error, we should still emit lexical capture for "this" 
                                           ~~~~~~~~~~
-!!! error TS2339: Property '2' does not exist on type '[number, number]'.
+!!! error TS2493: Tuple type '[number, number]' of length '2' has no element at index '2'.
         }
     }
\ No newline at end of file
diff --git a/tests/baselines/reference/emptyTuplesTypeAssertion01.errors.txt b/tests/baselines/reference/emptyTuplesTypeAssertion01.errors.txt
index e3b857412cc..f1c4d76fe2b 100644
--- a/tests/baselines/reference/emptyTuplesTypeAssertion01.errors.txt
+++ b/tests/baselines/reference/emptyTuplesTypeAssertion01.errors.txt
@@ -1,8 +1,8 @@
-tests/cases/conformance/types/tuple/emptyTuples/emptyTuplesTypeAssertion01.ts(2,11): error TS2339: Property '0' does not exist on type '[]'.
+tests/cases/conformance/types/tuple/emptyTuples/emptyTuplesTypeAssertion01.ts(2,11): error TS2493: Tuple type '[]' of length '0' has no element at index '0'.
 
 
 ==== tests/cases/conformance/types/tuple/emptyTuples/emptyTuplesTypeAssertion01.ts (1 errors) ====
     let x = <[]>[];
     let y = x[0];
               ~
-!!! error TS2339: Property '0' does not exist on type '[]'.
\ No newline at end of file
+!!! error TS2493: Tuple type '[]' of length '0' has no element at index '0'.
\ No newline at end of file
diff --git a/tests/baselines/reference/emptyTuplesTypeAssertion02.errors.txt b/tests/baselines/reference/emptyTuplesTypeAssertion02.errors.txt
index 34d22dc673a..64663106a1e 100644
--- a/tests/baselines/reference/emptyTuplesTypeAssertion02.errors.txt
+++ b/tests/baselines/reference/emptyTuplesTypeAssertion02.errors.txt
@@ -1,8 +1,8 @@
-tests/cases/conformance/types/tuple/emptyTuples/emptyTuplesTypeAssertion02.ts(2,11): error TS2339: Property '0' does not exist on type '[]'.
+tests/cases/conformance/types/tuple/emptyTuples/emptyTuplesTypeAssertion02.ts(2,11): error TS2493: Tuple type '[]' of length '0' has no element at index '0'.
 
 
 ==== tests/cases/conformance/types/tuple/emptyTuples/emptyTuplesTypeAssertion02.ts (1 errors) ====
     let x = [] as [];
     let y = x[0];
               ~
-!!! error TS2339: Property '0' does not exist on type '[]'.
\ No newline at end of file
+!!! error TS2493: Tuple type '[]' of length '0' has no element at index '0'.
\ No newline at end of file
diff --git a/tests/baselines/reference/genericCallWithTupleType.errors.txt b/tests/baselines/reference/genericCallWithTupleType.errors.txt
index ec3c40ccad9..0cc4a4986db 100644
--- a/tests/baselines/reference/genericCallWithTupleType.errors.txt
+++ b/tests/baselines/reference/genericCallWithTupleType.errors.txt
@@ -1,10 +1,10 @@
 tests/cases/conformance/types/typeRelationships/typeInference/genericCallWithTupleType.ts(12,1): error TS2322: Type '[string, number, boolean, boolean]' is not assignable to type '[string, number]'.
   Types of property 'length' are incompatible.
     Type '4' is not assignable to type '2'.
-tests/cases/conformance/types/typeRelationships/typeInference/genericCallWithTupleType.ts(13,20): error TS2339: Property '2' does not exist on type '[string, number]'.
+tests/cases/conformance/types/typeRelationships/typeInference/genericCallWithTupleType.ts(13,20): error TS2493: Tuple type '[string, number]' of length '2' has no element at index '2'.
 tests/cases/conformance/types/typeRelationships/typeInference/genericCallWithTupleType.ts(14,1): error TS2322: Type '{ a: string; }' is not assignable to type 'undefined'.
-tests/cases/conformance/types/typeRelationships/typeInference/genericCallWithTupleType.ts(14,11): error TS2339: Property '3' does not exist on type '[string, number]'.
-tests/cases/conformance/types/typeRelationships/typeInference/genericCallWithTupleType.ts(15,20): error TS2339: Property '3' does not exist on type '[string, number]'.
+tests/cases/conformance/types/typeRelationships/typeInference/genericCallWithTupleType.ts(14,11): error TS2493: Tuple type '[string, number]' of length '2' has no element at index '3'.
+tests/cases/conformance/types/typeRelationships/typeInference/genericCallWithTupleType.ts(15,20): error TS2493: Tuple type '[string, number]' of length '2' has no element at index '3'.
 tests/cases/conformance/types/typeRelationships/typeInference/genericCallWithTupleType.ts(22,14): error TS2322: Type 'number' is not assignable to type 'string'.
 tests/cases/conformance/types/typeRelationships/typeInference/genericCallWithTupleType.ts(22,17): error TS2322: Type 'string' is not assignable to type 'number'.
 tests/cases/conformance/types/typeRelationships/typeInference/genericCallWithTupleType.ts(23,14): error TS2322: Type '{}' is not assignable to type 'string'.
@@ -31,15 +31,15 @@ tests/cases/conformance/types/typeRelationships/typeInference/genericCallWithTup
 !!! error TS2322:     Type '4' is not assignable to type '2'.
     var e3 = i1.tuple1[2];  // {}
                        ~
-!!! error TS2339: Property '2' does not exist on type '[string, number]'.
+!!! error TS2493: Tuple type '[string, number]' of length '2' has no element at index '2'.
     i1.tuple1[3] = { a: "string" };
     ~~~~~~~~~~~~
 !!! error TS2322: Type '{ a: string; }' is not assignable to type 'undefined'.
               ~
-!!! error TS2339: Property '3' does not exist on type '[string, number]'.
+!!! error TS2493: Tuple type '[string, number]' of length '2' has no element at index '3'.
     var e4 = i1.tuple1[3];  // {}
                        ~
-!!! error TS2339: Property '3' does not exist on type '[string, number]'.
+!!! error TS2493: Tuple type '[string, number]' of length '2' has no element at index '3'.
     i2.tuple1 = ["foo", 5];
     i2.tuple1 = ["foo", "bar"];
     i2.tuple1 = [5, "bar"];
diff --git a/tests/baselines/reference/indexerWithTuple.errors.txt b/tests/baselines/reference/indexerWithTuple.errors.txt
index 45cddd9313f..b5b09be4c49 100644
--- a/tests/baselines/reference/indexerWithTuple.errors.txt
+++ b/tests/baselines/reference/indexerWithTuple.errors.txt
@@ -1,7 +1,7 @@
-tests/cases/conformance/types/tuple/indexerWithTuple.ts(11,25): error TS2339: Property '2' does not exist on type '[string, number]'.
-tests/cases/conformance/types/tuple/indexerWithTuple.ts(17,27): error TS2339: Property '2' does not exist on type '[number, [string, number]]'.
-tests/cases/conformance/types/tuple/indexerWithTuple.ts(20,30): error TS2339: Property '2' does not exist on type '[number, string | number]'.
-tests/cases/conformance/types/tuple/indexerWithTuple.ts(28,30): error TS2339: Property '2' does not exist on type '[boolean, string | number]'.
+tests/cases/conformance/types/tuple/indexerWithTuple.ts(11,25): error TS2493: Tuple type '[string, number]' of length '2' has no element at index '2'.
+tests/cases/conformance/types/tuple/indexerWithTuple.ts(17,27): error TS2493: Tuple type '[number, [string, number]]' of length '2' has no element at index '2'.
+tests/cases/conformance/types/tuple/indexerWithTuple.ts(20,30): error TS2493: Tuple type '[number, string | number]' of length '2' has no element at index '2'.
+tests/cases/conformance/types/tuple/indexerWithTuple.ts(28,30): error TS2493: Tuple type '[boolean, string | number]' of length '2' has no element at index '2'.
 
 
 ==== tests/cases/conformance/types/tuple/indexerWithTuple.ts (4 errors) ====
@@ -17,7 +17,7 @@ tests/cases/conformance/types/tuple/indexerWithTuple.ts(28,30): error TS2339: Pr
     var ele11 = strNumTuple[1]; // number
     var ele12 = strNumTuple[2]; // string | number
                             ~
-!!! error TS2339: Property '2' does not exist on type '[string, number]'.
+!!! error TS2493: Tuple type '[string, number]' of length '2' has no element at index '2'.
     var ele13 = strNumTuple[idx0]; // string | number
     var ele14 = strNumTuple[idx1]; // string | number
     var ele15 = strNumTuple["0"]; // string
@@ -25,12 +25,12 @@ tests/cases/conformance/types/tuple/indexerWithTuple.ts(28,30): error TS2339: Pr
     var strNumTuple1 = numTupleTuple[1];  //[string, number];
     var ele17 = numTupleTuple[2]; // number | [string, number]
                               ~
-!!! error TS2339: Property '2' does not exist on type '[number, [string, number]]'.
+!!! error TS2493: Tuple type '[number, [string, number]]' of length '2' has no element at index '2'.
     var eleUnion10 = unionTuple1[0]; // number
     var eleUnion11 = unionTuple1[1]; // string | number
     var eleUnion12 = unionTuple1[2]; // string | number
                                  ~
-!!! error TS2339: Property '2' does not exist on type '[number, string | number]'.
+!!! error TS2493: Tuple type '[number, string | number]' of length '2' has no element at index '2'.
     var eleUnion13 = unionTuple1[idx0]; // string | number
     var eleUnion14 = unionTuple1[idx1]; // string | number
     var eleUnion15 = unionTuple1["0"]; // number
@@ -40,7 +40,7 @@ tests/cases/conformance/types/tuple/indexerWithTuple.ts(28,30): error TS2339: Pr
     var eleUnion21 = unionTuple2[1]; // string | number
     var eleUnion22 = unionTuple2[2]; // string | number | boolean
                                  ~
-!!! error TS2339: Property '2' does not exist on type '[boolean, string | number]'.
+!!! error TS2493: Tuple type '[boolean, string | number]' of length '2' has no element at index '2'.
     var eleUnion23 = unionTuple2[idx0]; // string | number | boolean
     var eleUnion24 = unionTuple2[idx1]; // string | number | boolean
     var eleUnion25 = unionTuple2["0"]; // boolean
diff --git a/tests/baselines/reference/tupleLengthCheck.errors.txt b/tests/baselines/reference/tupleLengthCheck.errors.txt
index 1c6fe909135..06127460394 100644
--- a/tests/baselines/reference/tupleLengthCheck.errors.txt
+++ b/tests/baselines/reference/tupleLengthCheck.errors.txt
@@ -1,5 +1,5 @@
-tests/cases/conformance/types/tuple/tupleLengthCheck.ts(5,14): error TS2339: Property '2' does not exist on type '[number, string]'.
-tests/cases/conformance/types/tuple/tupleLengthCheck.ts(6,14): error TS2339: Property '1000' does not exist on type '[number, string]'.
+tests/cases/conformance/types/tuple/tupleLengthCheck.ts(5,14): error TS2493: Tuple type '[number, string]' of length '2' has no element at index '2'.
+tests/cases/conformance/types/tuple/tupleLengthCheck.ts(6,14): error TS2493: Tuple type '[number, string]' of length '2' has no element at index '1000'.
 
 
 ==== tests/cases/conformance/types/tuple/tupleLengthCheck.ts (2 errors) ====
@@ -9,10 +9,10 @@ tests/cases/conformance/types/tuple/tupleLengthCheck.ts(6,14): error TS2339: Pro
     const a1 = a[1]
     const a2 = a[2]
                  ~
-!!! error TS2339: Property '2' does not exist on type '[number, string]'.
+!!! error TS2493: Tuple type '[number, string]' of length '2' has no element at index '2'.
     const a3 = a[1000]
                  ~~~~
-!!! error TS2339: Property '1000' does not exist on type '[number, string]'.
+!!! error TS2493: Tuple type '[number, string]' of length '2' has no element at index '1000'.
     
     const a4 = rest[1]
     const a5 = rest[2]
diff --git a/tests/baselines/reference/tupleTypes.errors.txt b/tests/baselines/reference/tupleTypes.errors.txt
index 3776a92d6a1..1cf2f113d14 100644
--- a/tests/baselines/reference/tupleTypes.errors.txt
+++ b/tests/baselines/reference/tupleTypes.errors.txt
@@ -1,4 +1,4 @@
-tests/cases/compiler/tupleTypes.ts(11,12): error TS2339: Property '2' does not exist on type '[number, string]'.
+tests/cases/compiler/tupleTypes.ts(11,12): error TS2493: Tuple type '[number, string]' of length '2' has no element at index '2'.
 tests/cases/compiler/tupleTypes.ts(12,5): error TS2403: Subsequent variable declarations must have the same type.  Variable 't2' must be of type 'undefined', but here has type 'string | number'.
 tests/cases/compiler/tupleTypes.ts(14,1): error TS2739: Type '[]' is missing the following properties from type '[number, string]': 0, 1
 tests/cases/compiler/tupleTypes.ts(15,1): error TS2741: Property '1' is missing in type '[number]' but required in type '[number, string]'.
@@ -7,7 +7,7 @@ tests/cases/compiler/tupleTypes.ts(17,15): error TS2322: Type 'number' is not as
 tests/cases/compiler/tupleTypes.ts(18,1): error TS2322: Type '[number, string, number]' is not assignable to type '[number, string]'.
   Types of property 'length' are incompatible.
     Type '3' is not assignable to type '2'.
-tests/cases/compiler/tupleTypes.ts(35,14): error TS2339: Property '2' does not exist on type '[number, string]'.
+tests/cases/compiler/tupleTypes.ts(35,14): error TS2493: Tuple type '[number, string]' of length '2' has no element at index '2'.
 tests/cases/compiler/tupleTypes.ts(36,5): error TS2403: Subsequent variable declarations must have the same type.  Variable 'tt2' must be of type 'undefined', but here has type 'string | number'.
 tests/cases/compiler/tupleTypes.ts(41,1): error TS2322: Type '[]' is not assignable to type '[number, string]'.
 tests/cases/compiler/tupleTypes.ts(47,1): error TS2322: Type '[number, string]' is not assignable to type 'number[]'.
@@ -35,7 +35,7 @@ tests/cases/compiler/tupleTypes.ts(51,1): error TS2322: Type '[number, {}]' is n
     var t1: string;
     var t2 = t[2];   // number|string
                ~
-!!! error TS2339: Property '2' does not exist on type '[number, string]'.
+!!! error TS2493: Tuple type '[number, string]' of length '2' has no element at index '2'.
     var t2: number|string;
         ~~
 !!! error TS2403: Subsequent variable declarations must have the same type.  Variable 't2' must be of type 'undefined', but here has type 'string | number'.
@@ -75,7 +75,7 @@ tests/cases/compiler/tupleTypes.ts(51,1): error TS2322: Type '[number, {}]' is n
     var tt1: string;
     var tt2 = tt[2]; 
                  ~
-!!! error TS2339: Property '2' does not exist on type '[number, string]'.
+!!! error TS2493: Tuple type '[number, string]' of length '2' has no element at index '2'.
     var tt2: number | string;
         ~~~
 !!! error TS2403: Subsequent variable declarations must have the same type.  Variable 'tt2' must be of type 'undefined', but here has type 'string | number'.
diff --git a/tests/baselines/reference/unionsOfTupleTypes1.errors.txt b/tests/baselines/reference/unionsOfTupleTypes1.errors.txt
index 402dfcad340..da997e988ee 100644
--- a/tests/baselines/reference/unionsOfTupleTypes1.errors.txt
+++ b/tests/baselines/reference/unionsOfTupleTypes1.errors.txt
@@ -1,10 +1,10 @@
-tests/cases/conformance/types/tuple/unionsOfTupleTypes1.ts(8,15): error TS2339: Property '2' does not exist on type '[string, number]'.
+tests/cases/conformance/types/tuple/unionsOfTupleTypes1.ts(8,15): error TS2493: Tuple type '[string, number]' of length '2' has no element at index '2'.
 tests/cases/conformance/types/tuple/unionsOfTupleTypes1.ts(13,15): error TS2339: Property '2' does not exist on type 'T2'.
-tests/cases/conformance/types/tuple/unionsOfTupleTypes1.ts(27,20): error TS2339: Property '2' does not exist on type '[string, number]'.
+tests/cases/conformance/types/tuple/unionsOfTupleTypes1.ts(27,20): error TS2493: Tuple type '[string, number]' of length '2' has no element at index '2'.
 tests/cases/conformance/types/tuple/unionsOfTupleTypes1.ts(28,20): error TS2339: Property '2' does not exist on type 'T2'.
-tests/cases/conformance/types/tuple/unionsOfTupleTypes1.ts(31,16): error TS2339: Property '2' does not exist on type '[string, number]'.
+tests/cases/conformance/types/tuple/unionsOfTupleTypes1.ts(31,16): error TS2493: Tuple type '[string, number]' of length '2' has no element at index '2'.
 tests/cases/conformance/types/tuple/unionsOfTupleTypes1.ts(32,16): error TS2339: Property '2' does not exist on type 'T2'.
-tests/cases/conformance/types/tuple/unionsOfTupleTypes1.ts(37,18): error TS2339: Property '2' does not exist on type '[string, number]'.
+tests/cases/conformance/types/tuple/unionsOfTupleTypes1.ts(37,18): error TS2493: Tuple type '[string, number]' of length '2' has no element at index '2'.
 tests/cases/conformance/types/tuple/unionsOfTupleTypes1.ts(41,18): error TS2339: Property '2' does not exist on type 'T2'.
 
 
@@ -18,7 +18,7 @@ tests/cases/conformance/types/tuple/unionsOfTupleTypes1.ts(41,18): error TS2339:
     type T11 = T1[1];  // number
     type T12 = T1[2];  // undefined
                   ~
-!!! error TS2339: Property '2' does not exist on type '[string, number]'.
+!!! error TS2493: Tuple type '[string, number]' of length '2' has no element at index '2'.
     type T1N = T1[number];  // string | number
     
     type T20 = T2[0];  // string | boolean
@@ -41,7 +41,7 @@ tests/cases/conformance/types/tuple/unionsOfTupleTypes1.ts(41,18): error TS2339:
     function f1(t1: T1, t2: T2, t3: T3, t4: T4, x: number) {
         let [d10, d11, d12] = t1;  // string, number
                        ~~~
-!!! error TS2339: Property '2' does not exist on type '[string, number]'.
+!!! error TS2493: Tuple type '[string, number]' of length '2' has no element at index '2'.
         let [d20, d21, d22] = t2;  // string | boolean, number | undefined
                        ~~~
 !!! error TS2339: Property '2' does not exist on type 'T2'.
@@ -49,7 +49,7 @@ tests/cases/conformance/types/tuple/unionsOfTupleTypes1.ts(41,18): error TS2339:
         let [d40, d41, d42] = t4;  // string | boolean, number | undefined, number | undefined
         [d10, d11, d12] = t1;
                    ~~~
-!!! error TS2339: Property '2' does not exist on type '[string, number]'.
+!!! error TS2493: Tuple type '[string, number]' of length '2' has no element at index '2'.
         [d20, d21, d22] = t2;
                    ~~~
 !!! error TS2339: Property '2' does not exist on type 'T2'.
@@ -59,7 +59,7 @@ tests/cases/conformance/types/tuple/unionsOfTupleTypes1.ts(41,18): error TS2339:
         let t11 = t1[1];  // number
         let t12 = t1[2];  // undefined
                      ~
-!!! error TS2339: Property '2' does not exist on type '[string, number]'.
+!!! error TS2493: Tuple type '[string, number]' of length '2' has no element at index '2'.
         let t1x = t1[x];  // string | number
         let t20 = t2[0];  // string | boolean
         let t21 = t2[1];  // number | undefined