typescript 5.5.0-dev.20240516 → 5.5.0-dev.20240518

package/lib/lib.esnext.collection.d.ts

@@ -27,3 +27,80 @@ interface MapConstructor {
         keySelector: (item: T, index: number) => K,
     ): Map<K, T[]>;
 }
+
+interface ReadonlySetLike<T> {
+    /**
+     * Despite its name, returns an iterator of the values in the set-like.
+     */
+    keys(): Iterator<T>;
+    /**
+     * @returns a boolean indicating whether an element with the specified value exists in the set-like or not.
+     */
+    has(value: T): boolean;
+    /**
+     * @returns the number of (unique) elements in the set-like.
+     */
+    readonly size: number;
+}
+
+interface Set<T> {
+    /**
+     * @returns a new Set containing all the elements in this Set and also all the elements in the argument.
+     */
+    union<U>(other: ReadonlySetLike<U>): Set<T | U>;
+    /**
+     * @returns a new Set containing all the elements which are both in this Set and in the argument.
+     */
+    intersection<U>(other: ReadonlySetLike<U>): Set<T & U>;
+    /**
+     * @returns a new Set containing all the elements in this Set which are not also in the argument.
+     */
+    difference<U>(other: ReadonlySetLike<U>): Set<T>;
+    /**
+     * @returns a new Set containing all the elements which are in either this Set or in the argument, but not in both.
+     */
+    symmetricDifference<U>(other: ReadonlySetLike<U>): Set<T | U>;
+    /**
+     * @returns a boolean indicating whether all the elements in this Set are also in the argument.
+     */
+    isSubsetOf(other: ReadonlySetLike<unknown>): boolean;
+    /**
+     * @returns a boolean indicating whether all the elements in the argument are also in this Set.
+     */
+    isSupersetOf(other: ReadonlySetLike<unknown>): boolean;
+    /**
+     * @returns a boolean indicating whether this Set has no elements in common with the argument.
+     */
+    isDisjointFrom(other: ReadonlySetLike<unknown>): boolean;
+}
+
+interface ReadonlySet<T> {
+    /**
+     * @returns a new Set containing all the elements in this Set and also all the elements in the argument.
+     */
+    union<U>(other: ReadonlySetLike<U>): Set<T | U>;
+    /**
+     * @returns a new Set containing all the elements which are both in this Set and in the argument.
+     */
+    intersection<U>(other: ReadonlySetLike<U>): Set<T & U>;
+    /**
+     * @returns a new Set containing all the elements in this Set which are not also in the argument.
+     */
+    difference<U>(other: ReadonlySetLike<U>): Set<T>;
+    /**
+     * @returns a new Set containing all the elements which are in either this Set or in the argument, but not in both.
+     */
+    symmetricDifference<U>(other: ReadonlySetLike<U>): Set<T | U>;
+    /**
+     * @returns a boolean indicating whether all the elements in this Set are also in the argument.
+     */
+    isSubsetOf(other: ReadonlySetLike<unknown>): boolean;
+    /**
+     * @returns a boolean indicating whether all the elements in the argument are also in this Set.
+     */
+    isSupersetOf(other: ReadonlySetLike<unknown>): boolean;
+    /**
+     * @returns a boolean indicating whether this Set has no elements in common with the argument.
+     */
+    isDisjointFrom(other: ReadonlySetLike<unknown>): boolean;
+}

package/lib/tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.5";
-var version = `${versionMajorMinor}.0-dev.20240516`;
+var version = `${versionMajorMinor}.0-dev.20240518`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -50505,8 +50505,11 @@ function createTypeChecker(host) {
       context.flags = savedContextFlags;
       return factory.createTypeParameterDeclaration(modifiers, name, constraintNode, defaultParameterNode);
     }
+    function typeToTypeNodeHelperWithPossibleReusableTypeNode(type, typeNode, context) {
+      return typeNode && tryReuseExistingNonParameterTypeNode(context, typeNode, type) || typeToTypeNodeHelper(type, context);
+    }
     function typeParameterToDeclaration(type, context, constraint = getConstraintOfTypeParameter(type)) {
-      const constraintNode = constraint && typeToTypeNodeHelper(constraint, context);
+      const constraintNode = constraint && typeToTypeNodeHelperWithPossibleReusableTypeNode(constraint, getConstraintDeclaration(type), context);
       return typeParameterToDeclarationWithConstraint(type, context, constraintNode);
     }
     function typePredicateToTypePredicateNodeHelper(typePredicate, context) {
@@ -51234,7 +51237,7 @@ function createTypeChecker(host) {
         /*dontResolveAlias*/
         true
       );
-      if (context.enclosingDeclaration && (getNodeLinks(context.enclosingDeclaration).fakeScopeForSignatureDeclaration || !findAncestor(node, (n) => n === context.enclosingDeclaration)) && !(sym && sym.flags & 262144 /* TypeParameter */)) {
+      if (context.enclosingDeclaration && !(sym && sym.flags & 262144 /* TypeParameter */)) {
         sym = getExportSymbolOfValueSymbolIfExported(sym);
         const symAtLocation = resolveEntityName(
           leftmost,
@@ -51367,6 +51370,9 @@ function createTypeChecker(host) {
         return enterNewScope(context, node, getParametersInScope(node), getTypeParametersInScope(node));
       }
       function visitExistingNodeTreeSymbolsWorker(node) {
+        if (isJSDocTypeExpression(node)) {
+          return visitNode(node.type, visitExistingNodeTreeSymbols, isTypeNode);
+        }
         if (isJSDocAllType(node) || node.kind === 319 /* JSDocNamepathType */) {
           return factory.createKeywordTypeNode(133 /* AnyKeyword */);
         }
@@ -79300,10 +79306,7 @@ function createTypeChecker(host) {
   }
   function createAwaitedTypeIfNeeded(type) {
     if (isAwaitedTypeNeeded(type)) {
-      const awaitedType = tryCreateAwaitedType(type);
-      if (awaitedType) {
-        return awaitedType;
-      }
+      return tryCreateAwaitedType(type) ?? type;
     }
     Debug.assert(isAwaitedTypeInstantiation(type) || getPromisedTypeOfPromise(type) === void 0, "type provided should not be a non-generic 'promise'-like.");
     return type;

package/lib/typescript.js

@@ -2368,7 +2368,7 @@ module.exports = __toCommonJS(typescript_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.5";
-var version = `${versionMajorMinor}.0-dev.20240516`;
+var version = `${versionMajorMinor}.0-dev.20240518`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -55300,8 +55300,11 @@ function createTypeChecker(host) {
       context.flags = savedContextFlags;
       return factory.createTypeParameterDeclaration(modifiers, name, constraintNode, defaultParameterNode);
     }
+    function typeToTypeNodeHelperWithPossibleReusableTypeNode(type, typeNode, context) {
+      return typeNode && tryReuseExistingNonParameterTypeNode(context, typeNode, type) || typeToTypeNodeHelper(type, context);
+    }
     function typeParameterToDeclaration(type, context, constraint = getConstraintOfTypeParameter(type)) {
-      const constraintNode = constraint && typeToTypeNodeHelper(constraint, context);
+      const constraintNode = constraint && typeToTypeNodeHelperWithPossibleReusableTypeNode(constraint, getConstraintDeclaration(type), context);
       return typeParameterToDeclarationWithConstraint(type, context, constraintNode);
     }
     function typePredicateToTypePredicateNodeHelper(typePredicate, context) {
@@ -56029,7 +56032,7 @@ function createTypeChecker(host) {
         /*dontResolveAlias*/
         true
       );
-      if (context.enclosingDeclaration && (getNodeLinks(context.enclosingDeclaration).fakeScopeForSignatureDeclaration || !findAncestor(node, (n) => n === context.enclosingDeclaration)) && !(sym && sym.flags & 262144 /* TypeParameter */)) {
+      if (context.enclosingDeclaration && !(sym && sym.flags & 262144 /* TypeParameter */)) {
         sym = getExportSymbolOfValueSymbolIfExported(sym);
         const symAtLocation = resolveEntityName(
           leftmost,
@@ -56162,6 +56165,9 @@ function createTypeChecker(host) {
         return enterNewScope(context, node, getParametersInScope(node), getTypeParametersInScope(node));
       }
       function visitExistingNodeTreeSymbolsWorker(node) {
+        if (isJSDocTypeExpression(node)) {
+          return visitNode(node.type, visitExistingNodeTreeSymbols, isTypeNode);
+        }
         if (isJSDocAllType(node) || node.kind === 319 /* JSDocNamepathType */) {
           return factory.createKeywordTypeNode(133 /* AnyKeyword */);
         }
@@ -84095,10 +84101,7 @@ function createTypeChecker(host) {
   }
   function createAwaitedTypeIfNeeded(type) {
     if (isAwaitedTypeNeeded(type)) {
-      const awaitedType = tryCreateAwaitedType(type);
-      if (awaitedType) {
-        return awaitedType;
-      }
+      return tryCreateAwaitedType(type) ?? type;
     }
     Debug.assert(isAwaitedTypeInstantiation(type) || getPromisedTypeOfPromise(type) === void 0, "type provided should not be a non-generic 'promise'-like.");
     return type;

package/package.json

@@ -2,7 +2,7 @@
     "name": "typescript",
     "author": "Microsoft Corp.",
     "homepage": "https://www.typescriptlang.org/",
-    "version": "5.5.0-dev.20240516",
+    "version": "5.5.0-dev.20240518",
     "license": "Apache-2.0",
     "description": "TypeScript is a language for application scale JavaScript development",
     "keywords": [
@@ -110,5 +110,5 @@
         "node": "20.1.0",
         "npm": "8.19.4"
     },
-    "gitHead": "5c21b7fd93cc60b05d560f931fb8bb26d7972f76"
+    "gitHead": "79a851426c514a12a75b342e8dd2460ee6615f73"
 }