add an extra test case

Author: Andarist

tests/baselines/reference/mappedTypesGenericTuples2.symbols

@@ -0,0 +1,36 @@
+//// [tests/cases/conformance/types/mapped/mappedTypesGenericTuples2.ts] ////
+
+=== mappedTypesGenericTuples2.ts ===
+// https://github.com/microsoft/TypeScript/issues/57389
+
+declare function getT<T>(): T;
+>getT : Symbol(getT, Decl(mappedTypesGenericTuples2.ts, 0, 0))
+>T : Symbol(T, Decl(mappedTypesGenericTuples2.ts, 2, 22))
+>T : Symbol(T, Decl(mappedTypesGenericTuples2.ts, 2, 22))
+
+Promise.all([getT<string>(), ...getT<any>()]).then((result) => {
+>Promise.all([getT<string>(), ...getT<any>()]).then : Symbol(Promise.then, Decl(lib.es5.d.ts, --, --))
+>Promise.all : Symbol(PromiseConstructor.all, Decl(lib.es2015.iterable.d.ts, --, --), Decl(lib.es2015.promise.d.ts, --, --))
+>Promise : Symbol(Promise, Decl(lib.es5.d.ts, --, --), Decl(lib.es2015.iterable.d.ts, --, --), Decl(lib.es2015.promise.d.ts, --, --), Decl(lib.es2015.symbol.wellknown.d.ts, --, --), Decl(lib.es2018.promise.d.ts, --, --))
+>all : Symbol(PromiseConstructor.all, Decl(lib.es2015.iterable.d.ts, --, --), Decl(lib.es2015.promise.d.ts, --, --))
+>getT : Symbol(getT, Decl(mappedTypesGenericTuples2.ts, 0, 0))
+>getT : Symbol(getT, Decl(mappedTypesGenericTuples2.ts, 0, 0))
+>then : Symbol(Promise.then, Decl(lib.es5.d.ts, --, --))
+>result : Symbol(result, Decl(mappedTypesGenericTuples2.ts, 4, 52))
+
+  const head = result[0]; // string
+>head : Symbol(head, Decl(mappedTypesGenericTuples2.ts, 5, 7))
+>result : Symbol(result, Decl(mappedTypesGenericTuples2.ts, 4, 52))
+>0 : Symbol(0)
+
+  const tail = result.slice(1); // any[]
+>tail : Symbol(tail, Decl(mappedTypesGenericTuples2.ts, 6, 7))
+>result.slice : Symbol(Array.slice, Decl(lib.es5.d.ts, --, --))
+>result : Symbol(result, Decl(mappedTypesGenericTuples2.ts, 4, 52))
+>slice : Symbol(Array.slice, Decl(lib.es5.d.ts, --, --))
+
+  tail satisfies string[]; // ok
+>tail : Symbol(tail, Decl(mappedTypesGenericTuples2.ts, 6, 7))
+
+});
+

tests/baselines/reference/mappedTypesGenericTuples2.types

@@ -0,0 +1,45 @@
+//// [tests/cases/conformance/types/mapped/mappedTypesGenericTuples2.ts] ////
+
+=== mappedTypesGenericTuples2.ts ===
+// https://github.com/microsoft/TypeScript/issues/57389
+
+declare function getT<T>(): T;
+>getT : <T>() => T
+
+Promise.all([getT<string>(), ...getT<any>()]).then((result) => {
+>Promise.all([getT<string>(), ...getT<any>()]).then((result) => {  const head = result[0]; // string  const tail = result.slice(1); // any[]  tail satisfies string[]; // ok}) : Promise<void>
+>Promise.all([getT<string>(), ...getT<any>()]).then : <TResult1 = [string, ...any[]], TResult2 = never>(onfulfilled?: ((value: [string, ...any[]]) => TResult1 | PromiseLike<TResult1>) | null | undefined, onrejected?: ((reason: any) => TResult2 | PromiseLike<TResult2>) | null | undefined) => Promise<TResult1 | TResult2>
+>Promise.all([getT<string>(), ...getT<any>()]) : Promise<[string, ...any[]]>
+>Promise.all : { <T>(values: Iterable<T | PromiseLike<T>>): Promise<Awaited<T>[]>; <T_1 extends readonly unknown[] | []>(values: T_1): Promise<{ -readonly [P in keyof T_1]: Awaited<T_1[P]>; }>; }
+>Promise : PromiseConstructor
+>all : { <T>(values: Iterable<T | PromiseLike<T>>): Promise<Awaited<T>[]>; <T_1 extends readonly unknown[] | []>(values: T_1): Promise<{ -readonly [P in keyof T_1]: Awaited<T_1[P]>; }>; }
+>[getT<string>(), ...getT<any>()] : [string, ...any[]]
+>getT<string>() : string
+>getT : <T>() => T
+>...getT<any>() : any
+>getT<any>() : any
+>getT : <T>() => T
+>then : <TResult1 = [string, ...any[]], TResult2 = never>(onfulfilled?: ((value: [string, ...any[]]) => TResult1 | PromiseLike<TResult1>) | null | undefined, onrejected?: ((reason: any) => TResult2 | PromiseLike<TResult2>) | null | undefined) => Promise<TResult1 | TResult2>
+>(result) => {  const head = result[0]; // string  const tail = result.slice(1); // any[]  tail satisfies string[]; // ok} : (result: [string, ...any[]]) => void
+>result : [string, ...any[]]
+
+  const head = result[0]; // string
+>head : string
+>result[0] : string
+>result : [string, ...any[]]
+>0 : 0
+
+  const tail = result.slice(1); // any[]
+>tail : any[]
+>result.slice(1) : any[]
+>result.slice : (start?: number | undefined, end?: number | undefined) => any[]
+>result : [string, ...any[]]
+>slice : (start?: number | undefined, end?: number | undefined) => any[]
+>1 : 1
+
+  tail satisfies string[]; // ok
+>tail satisfies string[] : any[]
+>tail : any[]
+
+});
+

tests/cases/conformance/types/mapped/mappedTypesGenericTuples2.ts

@@ -0,0 +1,13 @@
+// @strict: true
+// @lib: esnext
+// @noEmit: true
+
+// https://github.com/microsoft/TypeScript/issues/57389
+
+declare function getT<T>(): T;
+
+Promise.all([getT<string>(), ...getT<any>()]).then((result) => {
+  const head = result[0]; // string
+  const tail = result.slice(1); // any[]
+  tail satisfies string[]; // ok
+});