Conformance for spec update section 4.19 contextually typed exp

tests/baselines/reference/argumentExpressionContextualTyping.errors.txt

@@ -0,0 +1,36 @@
+tests/cases/conformance/expressions/contextualTyping/argumentExpressionContextualTyping.ts(7,5): error TS2345: Argument of type '{ x: (string | number)[]; y: { c: boolean; d: string; e: number; }; }' is not assignable to parameter of type '{ x: [any, any]; y: { c: any; d: any; e: any; }; }'.
+  Types of property 'x' are incompatible.
+    Type '(string | number)[]' is not assignable to type '[any, any]'.
+      Property '0' is missing in type '(string | number)[]'.
+tests/cases/conformance/expressions/contextualTyping/argumentExpressionContextualTyping.ts(13,5): error TS2345: Argument of type '(string | number | boolean)[]' is not assignable to parameter of type '[string, number, boolean]'.
+  Property '0' is missing in type '(string | number | boolean)[]'.
+tests/cases/conformance/expressions/contextualTyping/argumentExpressionContextualTyping.ts(16,5): error TS2345: Argument of type '(string | number | boolean)[]' is not assignable to parameter of type '[string, number, boolean]'.
+
+
+==== tests/cases/conformance/expressions/contextualTyping/argumentExpressionContextualTyping.ts (3 errors) ====
+    function foo({x: [a, b], y: {c, d, e}}) { }
+    function bar({x: [a, b = 10], y: {c, d, e = { f:1 }}}) { }
+    function baz(x: [string, number, boolean]) { }
+
+    var o = { x: ["string", 1], y: { c: true, d: "world", e: 3 } };
+    var o1: { x: [string, number], y: { c: boolean, d: string, e: number } } = { x: ["string", 1], y: { c: true, d: "world", e: 3 } };
+    foo(o); // error because ["string", 1] has an array type
+        ~
+!!! error TS2345: Argument of type '{ x: (string | number)[]; y: { c: boolean; d: string; e: number; }; }' is not assignable to parameter of type '{ x: [any, any]; y: { c: any; d: any; e: any; }; }'.
+!!! error TS2345:   Types of property 'x' are incompatible.
+!!! error TS2345:     Type '(string | number)[]' is not assignable to type '[any, any]'.
+!!! error TS2345:       Property '0' is missing in type '(string | number)[]'.
+    foo(o1); // not error since contextual type of tuple is applied to ["string", 1]
+    foo({ x: ["string", 1], y: { c: true, d: "world", e: 3 } }); // not error
+
+    var array = ["string", 1, true];
+    var tuple: [string, number, boolean] = ["string", 1, true];
+    baz(array);  // error
+        ~~~~~
+!!! error TS2345: Argument of type '(string | number | boolean)[]' is not assignable to parameter of type '[string, number, boolean]'.
+!!! error TS2345:   Property '0' is missing in type '(string | number | boolean)[]'.
+    baz(tuple);
+    baz(["string", 1, true]);
+    baz(["string", 1, true, ...array]);  // error
+        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+!!! error TS2345: Argument of type '(string | number | boolean)[]' is not assignable to parameter of type '[string, number, boolean]'.

tests/baselines/reference/argumentExpressionContextualTyping.js

@@ -0,0 +1,37 @@
+//// [argumentExpressionContextualTyping.ts]
+function foo({x: [a, b], y: {c, d, e}}) { }
+function bar({x: [a, b = 10], y: {c, d, e = { f:1 }}}) { }
+function baz(x: [string, number, boolean]) { }
+
+var o = { x: ["string", 1], y: { c: true, d: "world", e: 3 } };
+var o1: { x: [string, number], y: { c: boolean, d: string, e: number } } = { x: ["string", 1], y: { c: true, d: "world", e: 3 } };
+foo(o); // error because ["string", 1] has an array type
+foo(o1); // not error since contextual type of tuple is applied to ["string", 1]
+foo({ x: ["string", 1], y: { c: true, d: "world", e: 3 } }); // not error
+
+var array = ["string", 1, true];
+var tuple: [string, number, boolean] = ["string", 1, true];
+baz(array);  // error
+baz(tuple);
+baz(["string", 1, true]);
+baz(["string", 1, true, ...array]);  // error
+
+//// [argumentExpressionContextualTyping.js]
+function foo(_a) {
+    var _b = _a.x, a = _b[0], b = _b[1], _c = _a.y, c = _c.c, d = _c.d, e = _c.e;
+}
+function bar(_a) {
+    var _b = _a.x, a = _b[0], _c = _b[1], b = _c === void 0 ? 10 : _c, _d = _a.y, c = _d.c, d = _d.d, _e = _d.e, e = _e === void 0 ? { f: 1 } : _e;
+}
+function baz(x) { }
+var o = { x: ["string", 1], y: { c: true, d: "world", e: 3 } };
+var o1 = { x: ["string", 1], y: { c: true, d: "world", e: 3 } };
+foo(o); // error because ["string", 1] has an array type
+foo(o1); // not error since contextual type of tuple is applied to ["string", 1]
+foo({ x: ["string", 1], y: { c: true, d: "world", e: 3 } }); // not error
+var array = ["string", 1, true];
+var tuple = ["string", 1, true];
+baz(array); // error
+baz(tuple);
+baz(["string", 1, true]);
+baz(["string", 1, true].concat(array)); // error

tests/baselines/reference/arrayLiteralExpressionContextualTyping.errors.txt

@@ -0,0 +1,29 @@
+tests/cases/conformance/expressions/contextualTyping/arrayLiteralExpressionContextualTyping.ts(4,5): error TS2322: Type '[number, number, number, string]' is not assignable to type '[number, number, number]'.
+  Types of property 'pop' are incompatible.
+    Type '() => string | number' is not assignable to type '() => number'.
+      Type 'string | number' is not assignable to type 'number'.
+        Type 'string' is not assignable to type 'number'.
+tests/cases/conformance/expressions/contextualTyping/arrayLiteralExpressionContextualTyping.ts(9,5): error TS2322: Type 'number[]' is not assignable to type '[number, number, number]'.
+  Property '0' is missing in type 'number[]'.
+
+
+==== tests/cases/conformance/expressions/contextualTyping/arrayLiteralExpressionContextualTyping.ts (2 errors) ====
+    var array = [1, 2, 3];
+    var array1 = [true, 2, 3];  // Contextual type by the numeric index type of the contextual type
+    var tup: [number, number, number] = [1, 2, 3, 4];
+    var tup1: [number, number, number] = [1, 2, 3, "string"];  // error
+        ~~~~
+!!! error TS2322: Type '[number, number, number, string]' is not assignable to type '[number, number, number]'.
+!!! error TS2322:   Types of property 'pop' are incompatible.
+!!! error TS2322:     Type '() => string | number' is not assignable to type '() => number'.
+!!! error TS2322:       Type 'string | number' is not assignable to type 'number'.
+!!! error TS2322:         Type 'string' is not assignable to type 'number'.
+    var tup2: [number|string, number|string, number|string] = [1, 2, 3, "string"];
+
+    var spr = [1, 2, 3, ...array];
+    var spr1 = [1, 2, 3, ...tup];
+    var spr2:[number, number, number] = [1, 2, 3, ...tup];  // error
+        ~~~~
+!!! error TS2322: Type 'number[]' is not assignable to type '[number, number, number]'.
+!!! error TS2322:   Property '0' is missing in type 'number[]'.
+

tests/baselines/reference/arrayLiteralExpressionContextualTyping.js

@@ -0,0 +1,21 @@
+//// [arrayLiteralExpressionContextualTyping.ts]
+var array = [1, 2, 3];
+var array1 = [true, 2, 3];  // Contextual type by the numeric index type of the contextual type
+var tup: [number, number, number] = [1, 2, 3, 4];
+var tup1: [number, number, number] = [1, 2, 3, "string"];  // error
+var tup2: [number|string, number|string, number|string] = [1, 2, 3, "string"];
+
+var spr = [1, 2, 3, ...array];
+var spr1 = [1, 2, 3, ...tup];
+var spr2:[number, number, number] = [1, 2, 3, ...tup];  // error
+
+
+//// [arrayLiteralExpressionContextualTyping.js]
+var array = [1, 2, 3];
+var array1 = [true, 2, 3]; // Contextual type by the numeric index type of the contextual type
+var tup = [1, 2, 3, 4];
+var tup1 = [1, 2, 3, "string"]; // error
+var tup2 = [1, 2, 3, "string"];
+var spr = [1, 2, 3].concat(array);
+var spr1 = [1, 2, 3].concat(tup);
+var spr2 = [1, 2, 3].concat(tup); // error

tests/baselines/reference/destructuringArrayBindingPatternAndAssignment1.js

@@ -0,0 +1,41 @@
+//// [destructuringArrayBindingPatternAndAssignment1.ts]
+var [p0,p1, p2] : any = [2, 3, 4];
+var [a, b, c]: [number, number, string] = [1, 2, "string"];
+var [d, e]: any = undefined;
+var [f = false, g = 1]: any = undefined;
+g = 10;
+f = true;
+
+var [x] = []
+var [[[y]], [[[[z]]]]] = [[[]], [[[[]]]]]
+var [[w], m]: [[string|number], boolean] = [[1], true];
+interface J extends Array<Number> {
+    2: number;
+}
+
+var [, w1] = [1, 2, 3];
+var [,,, w2] = [1, 2, 3, 4];
+var [,,, w2] = [1, 2, 3, 4];
+var [,,,...w3] = [1, 2, 3, 4, "hello"];
+
+var [r, s, ...t] = [1, 2, "string"];
+var [r1, s1, t1] = [1, 2, "string"];
+
+
+
+//// [destructuringArrayBindingPatternAndAssignment1.js]
+var _a = [2, 3, 4], p0 = _a[0], p1 = _a[1], p2 = _a[2];
+var _b = [1, 2, "string"], a = _b[0], b = _b[1], c = _b[2];
+var d = undefined[0], e = undefined[1];
+var _c = undefined[0], f = _c === void 0 ? false : _c, _d = undefined[1], g = _d === void 0 ? 1 : _d;
+g = 10;
+f = true;
+var x = ([])[0];
+var _e = [[[]], [[[[]]]]], y = _e[0][0][0], z = _e[1][0][0][0][0];
+var _f = [[1], true], w = _f[0][0], m = _f[1];
+var _g = [1, 2, 3], w1 = _g[1];
+var _h = [1, 2, 3, 4], w2 = _h[3];
+var _j = [1, 2, 3, 4], w2 = _j[3];
+var _k = [1, 2, 3, 4, "hello"], w3 = _k.slice(3);
+var _l = [1, 2, "string"], r = _l[0], s = _l[1], t = _l.slice(2);
+var _m = [1, 2, "string"], r1 = _m[0], s1 = _m[1], t1 = _m[2];

tests/baselines/reference/destructuringArrayBindingPatternAndAssignment1.types

@@ -0,0 +1,133 @@
+=== tests/cases/conformance/es6/destructuring/destructuringArrayBindingPatternAndAssignment1.ts ===
+var [p0,p1, p2] : any = [2, 3, 4];
+>p0 : any, Symbol(p0, Decl(destructuringArrayBindingPatternAndAssignment1.ts, 0, 5))
+>p1 : any, Symbol(p1, Decl(destructuringArrayBindingPatternAndAssignment1.ts, 0, 8))
+>p2 : any, Symbol(p2, Decl(destructuringArrayBindingPatternAndAssignment1.ts, 0, 11))
+>[2, 3, 4] : number[]
+>2 : number
+>3 : number
+>4 : number
+
+var [a, b, c]: [number, number, string] = [1, 2, "string"];
+>a : number, Symbol(a, Decl(destructuringArrayBindingPatternAndAssignment1.ts, 1, 5))
+>b : number, Symbol(b, Decl(destructuringArrayBindingPatternAndAssignment1.ts, 1, 7))
+>c : string, Symbol(c, Decl(destructuringArrayBindingPatternAndAssignment1.ts, 1, 10))
+>[1, 2, "string"] : [number, number, string]
+>1 : number
+>2 : number
+>"string" : string
+
+var [d, e]: any = undefined;
+>d : any, Symbol(d, Decl(destructuringArrayBindingPatternAndAssignment1.ts, 2, 5))
+>e : any, Symbol(e, Decl(destructuringArrayBindingPatternAndAssignment1.ts, 2, 7))
+>undefined : undefined, Symbol(undefined)
+
+var [f = false, g = 1]: any = undefined;
+>f : boolean, Symbol(f, Decl(destructuringArrayBindingPatternAndAssignment1.ts, 3, 5))
+>false : boolean
+>g : number, Symbol(g, Decl(destructuringArrayBindingPatternAndAssignment1.ts, 3, 15))
+>1 : number
+>undefined : undefined, Symbol(undefined)
+
+g = 10;
+>g = 10 : number
+>g : number, Symbol(g, Decl(destructuringArrayBindingPatternAndAssignment1.ts, 3, 15))
+>10 : number
+
+f = true;
+>f = true : boolean
+>f : boolean, Symbol(f, Decl(destructuringArrayBindingPatternAndAssignment1.ts, 3, 5))
+>true : boolean
+
+var [x] = []
+>x : any, Symbol(x, Decl(destructuringArrayBindingPatternAndAssignment1.ts, 7, 5))
+>[] : undefined[]
+
+var [[[y]], [[[[z]]]]] = [[[]], [[[[]]]]]
+>y : any, Symbol(y, Decl(destructuringArrayBindingPatternAndAssignment1.ts, 8, 7))
+>z : any, Symbol(z, Decl(destructuringArrayBindingPatternAndAssignment1.ts, 8, 16))
+>[[[]], [[[[]]]]] : [[undefined[]], [[[undefined[]]]]]
+>[[]] : [undefined[]]
+>[] : undefined[]
+>[[[[]]]] : [[[undefined[]]]]
+>[[[]]] : [[undefined[]]]
+>[[]] : [undefined[]]
+>[] : undefined[]
+
+var [[w], m]: [[string|number], boolean] = [[1], true];
+>w : string | number, Symbol(w, Decl(destructuringArrayBindingPatternAndAssignment1.ts, 9, 6))
+>m : boolean, Symbol(m, Decl(destructuringArrayBindingPatternAndAssignment1.ts, 9, 9))
+>[[1], true] : [[number], boolean]
+>[1] : [number]
+>1 : number
+>true : boolean
+
+interface J extends Array<Number> {
+>J : J, Symbol(J, Decl(destructuringArrayBindingPatternAndAssignment1.ts, 9, 55))
+>Array : T[], Symbol(Array, Decl(lib.d.ts, 1000, 23), Decl(lib.d.ts, 1171, 11))
+>Number : Number, Symbol(Number, Decl(lib.d.ts, 456, 40), Decl(lib.d.ts, 518, 11))
+
+    2: number;
+}
+
+var [, w1] = [1, 2, 3];
+> : undefined
+>w1 : number, Symbol(w1, Decl(destructuringArrayBindingPatternAndAssignment1.ts, 14, 6))
+>[1, 2, 3] : [number, number, number]
+>1 : number
+>2 : number
+>3 : number
+
+var [,,, w2] = [1, 2, 3, 4];
+> : undefined
+> : undefined
+> : undefined
+>w2 : number, Symbol(w2, Decl(destructuringArrayBindingPatternAndAssignment1.ts, 15, 8), Decl(destructuringArrayBindingPatternAndAssignment1.ts, 16, 8))
+>[1, 2, 3, 4] : [number, number, number, number]
+>1 : number
+>2 : number
+>3 : number
+>4 : number
+
+var [,,, w2] = [1, 2, 3, 4];
+> : undefined
+> : undefined
+> : undefined
+>w2 : number, Symbol(w2, Decl(destructuringArrayBindingPatternAndAssignment1.ts, 15, 8), Decl(destructuringArrayBindingPatternAndAssignment1.ts, 16, 8))
+>[1, 2, 3, 4] : [number, number, number, number]
+>1 : number
+>2 : number
+>3 : number
+>4 : number
+
+var [,,,...w3] = [1, 2, 3, 4, "hello"];
+> : undefined
+> : undefined
+> : undefined
+>w3 : (string | number)[], Symbol(w3, Decl(destructuringArrayBindingPatternAndAssignment1.ts, 17, 8))
+>[1, 2, 3, 4, "hello"] : (string | number)[]
+>1 : number
+>2 : number
+>3 : number
+>4 : number
+>"hello" : string
+
+var [r, s, ...t] = [1, 2, "string"];
+>r : string | number, Symbol(r, Decl(destructuringArrayBindingPatternAndAssignment1.ts, 19, 5))
+>s : string | number, Symbol(s, Decl(destructuringArrayBindingPatternAndAssignment1.ts, 19, 7))
+>t : (string | number)[], Symbol(t, Decl(destructuringArrayBindingPatternAndAssignment1.ts, 19, 10))
+>[1, 2, "string"] : (string | number)[]
+>1 : number
+>2 : number
+>"string" : string
+
+var [r1, s1, t1] = [1, 2, "string"];
+>r1 : number, Symbol(r1, Decl(destructuringArrayBindingPatternAndAssignment1.ts, 20, 5))
+>s1 : number, Symbol(s1, Decl(destructuringArrayBindingPatternAndAssignment1.ts, 20, 8))
+>t1 : string, Symbol(t1, Decl(destructuringArrayBindingPatternAndAssignment1.ts, 20, 12))
+>[1, 2, "string"] : [number, number, string]
+>1 : number
+>2 : number
+>"string" : string
+
+

tests/baselines/reference/destructuringArrayBindingPatternAndAssignment2.js

@@ -0,0 +1,25 @@
+//// [destructuringArrayBindingPatternAndAssignment2.ts]
+function foo() {
+    return [1, 2, 3];
+}
+interface J extends Array<Number> {
+    2: number;
+}
+
+function bar(): J {
+    return <[number, number, number]>[1, 2, 3]; 
+}
+
+var [j, k] = foo();
+var [...p] = foo();
+
+
+//// [destructuringArrayBindingPatternAndAssignment2.js]
+function foo() {
+    return [1, 2, 3];
+}
+function bar() {
+    return [1, 2, 3];
+}
+var _a = foo(), j = _a[0], k = _a[1];
+var _b = foo(), p = _b.slice(0);

tests/baselines/reference/destructuringArrayBindingPatternAndAssignment2.types

@@ -0,0 +1,41 @@
+=== tests/cases/conformance/es6/destructuring/destructuringArrayBindingPatternAndAssignment2.ts ===
+function foo() {
+>foo : () => number[], Symbol(foo, Decl(destructuringArrayBindingPatternAndAssignment2.ts, 0, 0))
+
+    return [1, 2, 3];
+>[1, 2, 3] : number[]
+>1 : number
+>2 : number
+>3 : number
+}
+interface J extends Array<Number> {
+>J : J, Symbol(J, Decl(destructuringArrayBindingPatternAndAssignment2.ts, 2, 1))
+>Array : T[], Symbol(Array, Decl(lib.d.ts, 1000, 23), Decl(lib.d.ts, 1171, 11))
+>Number : Number, Symbol(Number, Decl(lib.d.ts, 456, 40), Decl(lib.d.ts, 518, 11))
+
+    2: number;
+}
+
+function bar(): J {
+>bar : () => J, Symbol(bar, Decl(destructuringArrayBindingPatternAndAssignment2.ts, 5, 1))
+>J : J, Symbol(J, Decl(destructuringArrayBindingPatternAndAssignment2.ts, 2, 1))
+
+    return <[number, number, number]>[1, 2, 3]; 
+><[number, number, number]>[1, 2, 3] : [number, number, number]
+>[1, 2, 3] : [number, number, number]
+>1 : number
+>2 : number
+>3 : number
+}
+
+var [j, k] = foo();
+>j : number, Symbol(j, Decl(destructuringArrayBindingPatternAndAssignment2.ts, 11, 5))
+>k : number, Symbol(k, Decl(destructuringArrayBindingPatternAndAssignment2.ts, 11, 7))
+>foo() : number[]
+>foo : () => number[], Symbol(foo, Decl(destructuringArrayBindingPatternAndAssignment2.ts, 0, 0))
+
+var [...p] = foo();
+>p : number[], Symbol(p, Decl(destructuringArrayBindingPatternAndAssignment2.ts, 12, 5))
+>foo() : number[]
+>foo : () => number[], Symbol(foo, Decl(destructuringArrayBindingPatternAndAssignment2.ts, 0, 0))
+