Add tests

Author: jablko

Diff for: tests/baselines/reference/arrayConcat2.js

@@ -6,6 +6,21 @@ a.concat('Hello');
 
 var b = new Array<string>();
 b.concat('hello');
+
+const expected: undefined = undefined as ConcatFlatten<undefined>;
+
+// #19535
+
+const [x] = (undefined as unknown as number[][]).concat([1]);
+x == 1;
+
+// #26378
+
+[1].concat(['']);
+
+// #26976
+
+[].concat([1]);
 
 
 //// [arrayConcat2.js]
@@ -14,3 +29,11 @@ a.concat("hello", 'world');
 a.concat('Hello');
 var b = new Array();
 b.concat('hello');
+var expected = undefined;
+// #19535
+var x = undefined.concat([1])[0];
+x == 1;
+// #26378
+[1].concat(['']);
+// #26976
+[].concat([1]);

Diff for: tests/baselines/reference/arrayConcat2.symbols

@@ -21,3 +21,31 @@ b.concat('hello');
 >b : Symbol(b, Decl(arrayConcat2.ts, 5, 3))
 >concat : Symbol(Array.concat, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --))
 
+const expected: undefined = undefined as ConcatFlatten<undefined>;
+>expected : Symbol(expected, Decl(arrayConcat2.ts, 8, 5))
+>undefined : Symbol(undefined)
+>ConcatFlatten : Symbol(ConcatFlatten, Decl(lib.es5.d.ts, --, --))
+
+// #19535
+
+const [x] = (undefined as unknown as number[][]).concat([1]);
+>x : Symbol(x, Decl(arrayConcat2.ts, 12, 7))
+>(undefined as unknown as number[][]).concat : Symbol(Array.concat, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --))
+>undefined : Symbol(undefined)
+>concat : Symbol(Array.concat, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --))
+
+x == 1;
+>x : Symbol(x, Decl(arrayConcat2.ts, 12, 7))
+
+// #26378
+
+[1].concat(['']);
+>[1].concat : Symbol(Array.concat, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --))
+>concat : Symbol(Array.concat, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --))
+
+// #26976
+
+[].concat([1]);
+>[].concat : Symbol(Array.concat, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --))
+>concat : Symbol(Array.concat, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --))
+

Diff for: tests/baselines/reference/arrayConcat2.types

@@ -1,7 +1,7 @@
 === tests/cases/compiler/arrayConcat2.ts ===
 var a: string[] = [];
 >a : string[]
->[] : undefined[]
+>[] : never[]
 
 a.concat("hello", 'world');
 >a.concat("hello", 'world') : string[]
@@ -30,3 +30,48 @@ b.concat('hello');
 >concat : { (...items: ConcatArray<string>[]): string[]; <U extends any[]>(...items: U): (string | ConcatFlatten<U[number]>)[]; }
 >'hello' : "hello"
 
+const expected: undefined = undefined as ConcatFlatten<undefined>;
+>expected : undefined
+>undefined as ConcatFlatten<undefined> : undefined
+>undefined : undefined
+
+// #19535
+
+const [x] = (undefined as unknown as number[][]).concat([1]);
+>x : number | number[]
+>(undefined as unknown as number[][]).concat([1]) : (number | number[])[]
+>(undefined as unknown as number[][]).concat : { (...items: ConcatArray<number[]>[]): number[][]; <U extends any[]>(...items: U): (number[] | ConcatFlatten<U[number]>)[]; }
+>(undefined as unknown as number[][]) : number[][]
+>undefined as unknown as number[][] : number[][]
+>undefined as unknown : unknown
+>undefined : undefined
+>concat : { (...items: ConcatArray<number[]>[]): number[][]; <U extends any[]>(...items: U): (number[] | ConcatFlatten<U[number]>)[]; }
+>[1] : number[]
+>1 : 1
+
+x == 1;
+>x == 1 : boolean
+>x : number | number[]
+>1 : 1
+
+// #26378
+
+[1].concat(['']);
+>[1].concat(['']) : (string | number)[]
+>[1].concat : { (...items: ConcatArray<number>[]): number[]; <U extends any[]>(...items: U): (number | ConcatFlatten<U[number]>)[]; }
+>[1] : number[]
+>1 : 1
+>concat : { (...items: ConcatArray<number>[]): number[]; <U extends any[]>(...items: U): (number | ConcatFlatten<U[number]>)[]; }
+>[''] : string[]
+>'' : ""
+
+// #26976
+
+[].concat([1]);
+>[].concat([1]) : number[]
+>[].concat : { (...items: ConcatArray<never>[]): never[]; <U extends any[]>(...items: U): ConcatFlatten<U[number]>[]; }
+>[] : never[]
+>concat : { (...items: ConcatArray<never>[]): never[]; <U extends any[]>(...items: U): ConcatFlatten<U[number]>[]; }
+>[1] : number[]
+>1 : 1
+

Diff for: tests/baselines/reference/arrayFlat.js

@@ -0,0 +1,14 @@
+//// [arrayFlat.ts]
+const expected: undefined = undefined as Flatten<undefined>;
+
+// #24579 and #29604
+
+const [x] = [[1], ['']].flat();
+const assert: any extends typeof x ? false : true = true;
+
+
+//// [arrayFlat.js]
+var expected = undefined;
+// #24579 and #29604
+var x = [[1], ['']].flat()[0];
+var assert = true;

Diff for: tests/baselines/reference/arrayFlat.symbols

@@ -0,0 +1,17 @@
+=== tests/cases/compiler/arrayFlat.ts ===
+const expected: undefined = undefined as Flatten<undefined>;
+>expected : Symbol(expected, Decl(arrayFlat.ts, 0, 5))
+>undefined : Symbol(undefined)
+>Flatten : Symbol(Flatten, Decl(lib.es2019.array.d.ts, --, --))
+
+// #24579 and #29604
+
+const [x] = [[1], ['']].flat();
+>x : Symbol(x, Decl(arrayFlat.ts, 4, 7))
+>[[1], ['']].flat : Symbol(Array.flat, Decl(lib.es2019.array.d.ts, --, --), Decl(lib.es2019.array.d.ts, --, --), Decl(lib.es2019.array.d.ts, --, --), Decl(lib.es2019.array.d.ts, --, --), Decl(lib.es2019.array.d.ts, --, --) ... and 1 more)
+>flat : Symbol(Array.flat, Decl(lib.es2019.array.d.ts, --, --), Decl(lib.es2019.array.d.ts, --, --), Decl(lib.es2019.array.d.ts, --, --), Decl(lib.es2019.array.d.ts, --, --), Decl(lib.es2019.array.d.ts, --, --) ... and 1 more)
+
+const assert: any extends typeof x ? false : true = true;
+>assert : Symbol(assert, Decl(arrayFlat.ts, 5, 5))
+>x : Symbol(x, Decl(arrayFlat.ts, 4, 7))
+

Diff for: tests/baselines/reference/arrayFlat.types

@@ -0,0 +1,26 @@
+=== tests/cases/compiler/arrayFlat.ts ===
+const expected: undefined = undefined as Flatten<undefined>;
+>expected : undefined
+>undefined as Flatten<undefined> : undefined
+>undefined : undefined
+
+// #24579 and #29604
+
+const [x] = [[1], ['']].flat();
+>x : string | number
+>[[1], ['']].flat() : (string | number)[]
+>[[1], ['']].flat : { (depth: 4): (string | number)[]; (depth: 3): (string | number)[]; (depth: 2): (string | number)[]; (depth?: 1): (string | number)[]; (depth: 0): (number[] | string[])[]; (depth: number): any[]; }
+>[[1], ['']] : (number[] | string[])[]
+>[1] : number[]
+>1 : 1
+>[''] : string[]
+>'' : ""
+>flat : { (depth: 4): (string | number)[]; (depth: 3): (string | number)[]; (depth: 2): (string | number)[]; (depth?: 1): (string | number)[]; (depth: 0): (number[] | string[])[]; (depth: number): any[]; }
+
+const assert: any extends typeof x ? false : true = true;
+>assert : boolean
+>x : string | number
+>false : false
+>true : true
+>true : true
+

Diff for: tests/baselines/reference/arrayFlatMap.js

@@ -3,10 +3,18 @@ const array: number[] = [];
 const readonlyArray: ReadonlyArray<number> = [];
 array.flatMap((): ReadonlyArray<number> => []); // ok
 readonlyArray.flatMap((): ReadonlyArray<number> => []); // ok
+
+// #19535
+
+const [x] = [1].flatMap(undefined as () => number[] | number[][]);
+x == 1;
 
 
 //// [arrayFlatMap.js]
 var array = [];
 var readonlyArray = [];
 array.flatMap(function () { return []; }); // ok
 readonlyArray.flatMap(function () { return []; }); // ok
+// #19535
+var x = [1].flatMap(undefined)[0];
+x == 1;

Diff for: tests/baselines/reference/arrayFlatMap.symbols

@@ -18,3 +18,14 @@ readonlyArray.flatMap((): ReadonlyArray<number> => []); // ok
 >flatMap : Symbol(ReadonlyArray.flatMap, Decl(lib.es2019.array.d.ts, --, --))
 >ReadonlyArray : Symbol(ReadonlyArray, Decl(lib.es5.d.ts, --, --), Decl(lib.es2015.core.d.ts, --, --), Decl(lib.es2015.iterable.d.ts, --, --), Decl(lib.es2016.array.include.d.ts, --, --), Decl(lib.es2019.array.d.ts, --, --))
 
+// #19535
+
+const [x] = [1].flatMap(undefined as () => number[] | number[][]);
+>x : Symbol(x, Decl(arrayFlatMap.ts, 7, 7))
+>[1].flatMap : Symbol(Array.flatMap, Decl(lib.es2019.array.d.ts, --, --))
+>flatMap : Symbol(Array.flatMap, Decl(lib.es2019.array.d.ts, --, --))
+>undefined : Symbol(undefined)
+
+x == 1;
+>x : Symbol(x, Decl(arrayFlatMap.ts, 7, 7))
+

Diff for: tests/baselines/reference/arrayFlatMap.types

@@ -23,3 +23,20 @@ readonlyArray.flatMap((): ReadonlyArray<number> => []); // ok
 >(): ReadonlyArray<number> => [] : () => readonly number[]
 >[] : undefined[]
 
+// #19535
+
+const [x] = [1].flatMap(undefined as () => number[] | number[][]);
+>x : number | number[]
+>[1].flatMap(undefined as () => number[] | number[][]) : (number | number[])[]
+>[1].flatMap : <U>(callbackfn: (value: number, index: number, array: number[]) => U, thisArg?: any) => Flatten<U>[]
+>[1] : number[]
+>1 : 1
+>flatMap : <U>(callbackfn: (value: number, index: number, array: number[]) => U, thisArg?: any) => Flatten<U>[]
+>undefined as () => number[] | number[][] : () => number[] | number[][]
+>undefined : undefined
+
+x == 1;
+>x == 1 : boolean
+>x : number | number[]
+>1 : 1
+

Diff for: tests/cases/compiler/arrayConcat2.ts

@@ -5,3 +5,19 @@ a.concat('Hello');
 
 var b = new Array<string>();
 b.concat('hello');
+
+const expected: undefined = undefined as ConcatFlatten<undefined>;
+
+// #19535
+
+const [x] = (undefined as unknown as number[][]).concat([1]);
+x == 1;
+
+// #26378
+
+[1].concat(['']);
+
+// #26976
+
+// @strictNullChecks: true
+[].concat([1]);

Diff for: tests/cases/compiler/arrayFlat.ts

@@ -0,0 +1,8 @@
+// @lib: es2019
+
+const expected: undefined = undefined as Flatten<undefined>;
+
+// #24579 and #29604
+
+const [x] = [[1], ['']].flat();
+const assert: any extends typeof x ? false : true = true;

Diff for: tests/cases/compiler/arrayFlatMap.ts

@@ -4,3 +4,8 @@ const array: number[] = [];
 const readonlyArray: ReadonlyArray<number> = [];
 array.flatMap((): ReadonlyArray<number> => []); // ok
 readonlyArray.flatMap((): ReadonlyArray<number> => []); // ok
+
+// #19535
+
+const [x] = [1].flatMap(undefined as () => number[] | number[][]);
+x == 1;