feat: add Promise.allKeyed and Promise.allSettledKeyed to esnext

Author: a-tarasyuk

tsc/internal/bundled/embed_generated.go

@@ -25,3 +25,4 @@ and limitations under the License.
 /// <reference lib="esnext.typedarrays" />
 /// <reference lib="esnext.temporal" />
 /// <reference lib="esnext.date" />
+/// <reference lib="esnext.promise" />

tsc/internal/bundled/libs/lib.esnext.d.ts

@@ -0,0 +1,35 @@
+/*! *****************************************************************************
+Copyright (c) Microsoft Corporation. All rights reserved.
+Licensed under the Apache License, Version 2.0 (the "License"); you may not use
+this file except in compliance with the License. You may obtain a copy of the
+License at http://www.apache.org/licenses/LICENSE-2.0
+
+THIS CODE IS PROVIDED ON AN *AS IS* BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
+KIND, EITHER EXPRESS OR IMPLIED, INCLUDING WITHOUT LIMITATION ANY IMPLIED
+WARRANTIES OR CONDITIONS OF TITLE, FITNESS FOR A PARTICULAR PURPOSE,
+MERCHANTABILITY OR NON-INFRINGEMENT.
+
+See the Apache Version 2.0 License for specific language governing permissions
+and limitations under the License.
+***************************************************************************** */
+
+
+/// <reference lib="es2020.promise" />
+/// <reference lib="es2025.promise" />
+
+interface PromiseConstructor {
+    /**
+     * Creates a Promise that is resolved with an object of results when all of the provided Promises resolve,
+     * or rejected when any Promise is rejected.
+     * @param promises An object of Promises.
+     * @returns A new Promise.
+     */
+    allKeyed<T extends object>(promises: T): Promise<{ -readonly [P in keyof T]: Awaited<T[P]>; }>;
+
+    /**
+     * Creates a Promise that is resolved with an object of results when all of the provided Promises resolve or reject.
+     * @param promises An object of Promises.
+     * @returns A new Promise.
+     */
+    allSettledKeyed<T extends object>(promises: T): Promise<{ -readonly [P in keyof T]: PromiseSettledResult<Awaited<T[P]>>; }>;
+}

tsc/internal/bundled/libs/lib.esnext.promise.d.ts

@@ -111,6 +111,7 @@ var esnextLibs = []string{
 	"lib.es2025.iterator.d.ts",
 	"lib.es2025.promise.d.ts",
 	"lib.es2025.regexp.d.ts",
+	"lib.esnext.promise.d.ts",
 	"lib.esnext.array.d.ts",
 	"lib.esnext.collection.d.ts",
 	"lib.esnext.date.d.ts",

tsc/internal/bundled/libs_generated.go

@@ -107,8 +107,8 @@ var LibMap = collections.NewOrderedMapFromList([]collections.MapEntry[string, an
 	{Key: "esnext.string", Value: "lib.es2024.string.d.ts"},
 	{Key: "esnext.float16", Value: "lib.es2025.float16.d.ts"},
 	{Key: "esnext.iterator", Value: "lib.es2025.iterator.d.ts"},
-	{Key: "esnext.promise", Value: "lib.es2025.promise.d.ts"},
 	// ESNext By-feature options
+	{Key: "esnext.promise", Value: "lib.esnext.promise.d.ts"},
 	{Key: "esnext.array", Value: "lib.esnext.array.d.ts"},
 	{Key: "esnext.collection", Value: "lib.esnext.collection.d.ts"},
 	{Key: "esnext.date", Value: "lib.esnext.date.d.ts"},

tsc/internal/compiler/program_test.go

@@ -1090,6 +1090,19 @@ Searching all ancestor node_modules directories for fallback extensions: JavaScr
 Directory '/.src/node_modules' does not exist, skipping all lookups in it.
 Directory '/node_modules' does not exist, skipping all lookups in it.
 ======== Module name '@typescript/lib-esnext/intl' was not resolved. ========
+======== Resolving module '@typescript/lib-esnext/promise' from '/.src/__lib_node_modules_lookup_lib.esnext.promise.d.ts__.ts'. ========
+Module resolution kind is not specified, using 'Bundler'.
+Resolving in CJS mode with conditions 'require', 'types'.
+File '/.src/package.json' does not exist according to earlier cached lookups.
+File '/package.json' does not exist according to earlier cached lookups.
+Loading module '@typescript/lib-esnext/promise' from 'node_modules' folder, target file types: TypeScript, JavaScript, Declaration, JSON.
+Searching all ancestor node_modules directories for preferred extensions: TypeScript, Declaration.
+Directory '/.src/node_modules' does not exist, skipping all lookups in it.
+Directory '/node_modules' does not exist, skipping all lookups in it.
+Searching all ancestor node_modules directories for fallback extensions: JavaScript, JSON.
+Directory '/.src/node_modules' does not exist, skipping all lookups in it.
+Directory '/node_modules' does not exist, skipping all lookups in it.
+======== Module name '@typescript/lib-esnext/promise' was not resolved. ========
 ======== Resolving module '@typescript/lib-esnext/sharedmemory' from '/.src/__lib_node_modules_lookup_lib.esnext.sharedmemory.d.ts__.ts'. ========
 Module resolution kind is not specified, using 'Bundler'.
 Resolving in CJS mode with conditions 'require', 'types'.

tsc/internal/tsoptions/enummaps.go

@@ -0,0 +1,72 @@
+promiseAllKeyed.ts(50,18): error TS2345: Argument of type 'number' is not assignable to parameter of type 'object'.
+promiseAllKeyed.ts(52,25): error TS2345: Argument of type 'string' is not assignable to parameter of type 'object'.
+promiseAllKeyed.ts(54,18): error TS2345: Argument of type 'null' is not assignable to parameter of type 'object'.
+promiseAllKeyed.ts(56,25): error TS2345: Argument of type 'undefined' is not assignable to parameter of type 'object'.
+
+
+==== promiseAllKeyed.ts (4 errors) ====
+    declare const key: unique symbol;
+    
+    const values = {
+        a: 1 as number,
+        b: Promise.resolve("value"),
+        c: { then(resolve: (value: boolean) => void) { resolve(true); } },
+        [key]: Promise.resolve(42),
+    } as const;
+    
+    async function testAllKeyed() {
+        const result = await Promise.allKeyed(values);
+        const a: number = result.a;
+        const b: string = result.b;
+        const c: boolean = result.c;
+        const d: number = result[key];
+    
+        result.a = 2;
+    }
+    
+    async function testAllSettledKeyed() {
+        const result = await Promise.allSettledKeyed(values);
+    
+        if (result.b.status === "fulfilled") {
+            const value: string = result.b.value;
+        }
+        else {
+            const reason: any = result.b.reason;
+        }
+    
+        if (result[key].status === "fulfilled") {
+            const value: number = result[key].value;
+        }
+    }
+    
+    interface Input {
+        a: Promise<number>;
+        b: string;
+    }
+    
+    declare const input: Input;
+    
+    const allResult: Promise<{ a: number; b: string; }> = Promise.allKeyed(input);
+    const allSettledResult: Promise<{
+        a: PromiseSettledResult<number>;
+        b: PromiseSettledResult<string>;
+    }> = Promise.allSettledKeyed(input);
+    
+    Promise.try(() => 1);
+    
+    Promise.allKeyed(0);
+                     ~
+!!! error TS2345: Argument of type 'number' is not assignable to parameter of type 'object'.
+    
+    Promise.allSettledKeyed("value");
+                            ~~~~~~~
+!!! error TS2345: Argument of type 'string' is not assignable to parameter of type 'object'.
+    
+    Promise.allKeyed(null);
+                     ~~~~
+!!! error TS2345: Argument of type 'null' is not assignable to parameter of type 'object'.
+    
+    Promise.allSettledKeyed(undefined);
+                            ~~~~~~~~~
+!!! error TS2345: Argument of type 'undefined' is not assignable to parameter of type 'object'.
+    

tsc/testdata/baselines/reference/compiler/libReplacement(libreplacement=true).trace.json

@@ -0,0 +1,96 @@
+//// [tests/cases/compiler/promiseAllKeyed.ts] ////
+
+//// [promiseAllKeyed.ts]
+declare const key: unique symbol;
+
+const values = {
+    a: 1 as number,
+    b: Promise.resolve("value"),
+    c: { then(resolve: (value: boolean) => void) { resolve(true); } },
+    [key]: Promise.resolve(42),
+} as const;
+
+async function testAllKeyed() {
+    const result = await Promise.allKeyed(values);
+    const a: number = result.a;
+    const b: string = result.b;
+    const c: boolean = result.c;
+    const d: number = result[key];
+
+    result.a = 2;
+}
+
+async function testAllSettledKeyed() {
+    const result = await Promise.allSettledKeyed(values);
+
+    if (result.b.status === "fulfilled") {
+        const value: string = result.b.value;
+    }
+    else {
+        const reason: any = result.b.reason;
+    }
+
+    if (result[key].status === "fulfilled") {
+        const value: number = result[key].value;
+    }
+}
+
+interface Input {
+    a: Promise<number>;
+    b: string;
+}
+
+declare const input: Input;
+
+const allResult: Promise<{ a: number; b: string; }> = Promise.allKeyed(input);
+const allSettledResult: Promise<{
+    a: PromiseSettledResult<number>;
+    b: PromiseSettledResult<string>;
+}> = Promise.allSettledKeyed(input);
+
+Promise.try(() => 1);
+
+Promise.allKeyed(0);
+
+Promise.allSettledKeyed("value");
+
+Promise.allKeyed(null);
+
+Promise.allSettledKeyed(undefined);
+
+
+//// [promiseAllKeyed.js]
+"use strict";
+const values = {
+    a: 1,
+    b: Promise.resolve("value"),
+    c: { then(resolve) { resolve(true); } },
+    [key]: Promise.resolve(42),
+};
+async function testAllKeyed() {
+    const result = await Promise.allKeyed(values);
+    const a = result.a;
+    const b = result.b;
+    const c = result.c;
+    const d = result[key];
+    result.a = 2;
+}
+async function testAllSettledKeyed() {
+    const result = await Promise.allSettledKeyed(values);
+    if (result.b.status === "fulfilled") {
+        const value = result.b.value;
+    }
+    else {
+        const reason = result.b.reason;
+    }
+    if (result[key].status === "fulfilled") {
+        const value = result[key].value;
+    }
+}
+const allResult = Promise.allKeyed(input);
+const allSettledResult = Promise.allSettledKeyed(input);
+Promise.try(() => 1);
+Promise.allKeyed(0);
+Promise.allSettledKeyed("value");
+Promise.allKeyed(null);
+Promise.allSettledKeyed(undefined);