@typescript-deploys/pr-build 5.7.0-pr-60036-8 → 5.7.0-pr-59924-15

package/lib/tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.7";
-var version = `${versionMajorMinor}.0-insiders.20240924`;
+var version = `${versionMajorMinor}.0-insiders.20240925`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -55298,6 +55298,12 @@ function createTypeChecker(host) {
     if (isBindingPattern(element.name)) {
       return getTypeFromBindingPattern(element.name, includePatternInType, reportErrors2);
     }
+    if (isBindingPattern(element.parent)) {
+      const contextualType = getContextualPaddingType(element);
+      if (contextualType) {
+        return contextualType;
+      }
+    }
     if (reportErrors2 && !declarationBelongsToPrivateAmbientMember(element)) {
       reportImplicitAny(element, anyType);
     }
@@ -55308,7 +55314,6 @@ function createTypeChecker(host) {
     let stringIndexInfo;
     let objectFlags = 128 /* ObjectLiteral */ | 131072 /* ContainsObjectOrArrayLiteral */;
     forEach(pattern.elements, (e) => {
-      const name = e.propertyName || e.name;
       if (e.dotDotDotToken) {
         stringIndexInfo = createIndexInfo(
           stringType,
@@ -55318,16 +55323,16 @@ function createTypeChecker(host) {
         );
         return;
       }
-      const exprType = getLiteralTypeFromPropertyName(name);
-      if (!isTypeUsableAsPropertyName(exprType)) {
+      const name = getPropertyNameFromBindingElement(e);
+      if (!name) {
         objectFlags |= 512 /* ObjectLiteralPatternWithComputedProperties */;
         return;
       }
-      const text = getPropertyNameFromType(exprType);
-      const flags = 4 /* Property */ | (e.initializer ? 16777216 /* Optional */ : 0);
-      const symbol = createSymbol(flags, text);
+      const contextualType = !includePatternInType && isBindingPattern(e.parent) ? getContextualPaddingType(e.parent) : void 0;
+      const paddingSymbol = contextualType && getPropertyOfType(contextualType, name);
+      const flags = 4 /* Property */ | (e.initializer || !includePatternInType && (!paddingSymbol || paddingSymbol.flags & 16777216 /* Optional */) ? 16777216 /* Optional */ : 0);
+      const symbol = createSymbol(flags, name);
       symbol.links.type = getTypeFromBindingElement(e, includePatternInType, reportErrors2);
-      symbol.links.bindingElement = e;
       members.set(symbol.escapedName, symbol);
     });
     const result = createAnonymousType(
@@ -71445,11 +71450,8 @@ function createTypeChecker(host) {
       if (index < 0) return void 0;
       return getContextualTypeForElementExpression(parentType, index);
     }
-    const nameType = getLiteralTypeFromPropertyName(name);
-    if (isTypeUsableAsPropertyName(nameType)) {
-      const text = getPropertyNameFromType(nameType);
-      return getTypeOfPropertyOfType(parentType, text);
-    }
+    const propertyName = getPropertyNameFromBindingElement(declaration);
+    return propertyName && getTypeOfPropertyOfType(parentType, propertyName);
   }
   function getContextualTypeForStaticPropertyDeclaration(declaration, contextFlags) {
     const parentType = isExpression(declaration.parent) && getContextualType(declaration.parent, contextFlags);
@@ -72251,6 +72253,33 @@ function createTypeChecker(host) {
     }
     return void 0;
   }
+  function getContextualPaddingType(node) {
+    const index = findContextualNode(
+      node,
+      /*includeCaches*/
+      true
+    );
+    if (index >= 0) {
+      return contextualTypes[index];
+    }
+    const { parent } = node;
+    switch (parent.kind) {
+      case 206 /* ObjectBindingPattern */: {
+        const type = getContextualPaddingType(parent);
+        const name = type && getPropertyNameFromBindingElement(node);
+        return name ? getTypeOfPropertyOfType(type, name) : void 0;
+      }
+      case 208 /* BindingElement */: {
+        if (parent.parent.kind === 207 /* ArrayBindingPattern */) {
+          break;
+        }
+        const type = getContextualPaddingType(parent.parent);
+        const name = type && getPropertyNameFromBindingElement(parent);
+        return name ? getTypeOfPropertyOfType(type, name) : void 0;
+      }
+    }
+    return void 0;
+  }
   function pushCachedContextualType(node) {
     pushContextualType(
       node,
@@ -75645,11 +75674,11 @@ function createTypeChecker(host) {
     if (funcType === silentNeverType) {
       return silentNeverSignature;
     }
-    let apparentType = getApparentType(funcType);
+    const apparentType = getApparentType(funcType);
     if (isErrorType(apparentType)) {
       return resolveErrorCall(node);
     }
-    let callSignatures = getSignaturesOfType(apparentType, 0 /* Call */);
+    const callSignatures = getSignaturesOfType(apparentType, 0 /* Call */);
     const numConstructSignatures = getSignaturesOfType(apparentType, 1 /* Construct */).length;
     if (isUntypedFunctionCall(funcType, apparentType, callSignatures.length, numConstructSignatures)) {
       if (!isErrorType(funcType) && node.typeArguments) {
@@ -75677,29 +75706,6 @@ function createTypeChecker(host) {
       }
       return resolveErrorCall(node);
     }
-    if (callSignatures.length && node.typeArguments && apparentType.flags & 1048576 /* Union */) {
-      let hasPassingSignature = false;
-      for (const sig of callSignatures) {
-        if (hasCorrectTypeArgumentArity(sig, node.typeArguments)) {
-          hasPassingSignature = true;
-          break;
-        }
-      }
-      if (!hasPassingSignature) {
-        const reduced = getUnionType(apparentType.types, 2 /* Subtype */);
-        const reducedCallSignatures = getSignaturesOfType(reduced, 0 /* Call */);
-        for (const sig of reducedCallSignatures) {
-          if (hasCorrectTypeArgumentArity(sig, node.typeArguments)) {
-            hasPassingSignature = true;
-            break;
-          }
-        }
-        if (hasPassingSignature) {
-          apparentType = reduced;
-          callSignatures = reducedCallSignatures;
-        }
-      }
-    }
     if (checkMode & 8 /* SkipGenericFunctions */ && !node.typeArguments && callSignatures.some(isGenericFunctionReturningFunction)) {
       skippedGenericFunction(node, checkMode);
       return resolvingSignature;
@@ -79225,33 +79231,41 @@ function createTypeChecker(host) {
     return type;
   }
   function padObjectLiteralType(type, pattern) {
-    let missingElements;
+    let paddableElements;
     for (const e of pattern.elements) {
-      if (e.initializer) {
-        const name = getPropertyNameFromBindingElement(e);
-        if (name && !getPropertyOfType(type, name)) {
-          missingElements = append(missingElements, e);
-        }
+      const name = getPropertyNameFromBindingElement(e);
+      if (name && (!getPropertyOfType(type, name) || isBindingPattern(e.name))) {
+        paddableElements = append(paddableElements, e);
       }
     }
-    if (!missingElements) {
+    if (!paddableElements) {
       return type;
     }
     const members = createSymbolTable();
     for (const prop of getPropertiesOfObjectType(type)) {
       members.set(prop.escapedName, prop);
     }
-    for (const e of missingElements) {
-      const symbol = createSymbol(4 /* Property */ | 16777216 /* Optional */, getPropertyNameFromBindingElement(e));
+    pushContextualType(
+      pattern,
+      type,
+      /*isCache*/
+      true
+    );
+    for (const e of paddableElements) {
+      const name = getPropertyNameFromBindingElement(e);
+      const paddingSymbol = getPropertyOfType(type, name);
+      const isOptional = e.initializer && !paddingSymbol || !members.has(name) || paddingSymbol && paddingSymbol.flags & 16777216 /* Optional */;
+      const symbol = createSymbol(4 /* Property */ | (isOptional || !members.has(name) ? 16777216 /* Optional */ : 0), name);
       symbol.links.type = getTypeFromBindingElement(
         e,
         /*includePatternInType*/
         false,
         /*reportErrors*/
-        false
+        true
       );
       members.set(symbol.escapedName, symbol);
     }
+    popContextualType();
     const result = createAnonymousType(type.symbol, members, emptyArray, emptyArray, getIndexInfosOfType(type));
     result.objectFlags = type.objectFlags;
     return result;
@@ -85808,7 +85822,7 @@ function createTypeChecker(host) {
       } else if (isJSDocMemberName(name)) {
         return resolveJSDocMemberName(name);
       }
-    } else if (isTypeReferenceIdentifier(name)) {
+    } else if (isEntityName(name) && isTypeReferenceIdentifier(name)) {
       const meaning = name.parent.kind === 183 /* TypeReference */ ? 788968 /* Type */ : 1920 /* Namespace */;
       const symbol = resolveEntityName(
         name,

package/lib/typescript.d.ts

@@ -8773,7 +8773,6 @@ declare namespace ts {
     function isJSDocCommentContainingNode(node: Node): boolean;
     function isSetAccessor(node: Node): node is SetAccessorDeclaration;
     function isGetAccessor(node: Node): node is GetAccessorDeclaration;
-    /** True if has initializer node attached to it. */
     function hasOnlyExpressionInitializer(node: Node): node is HasExpressionInitializer;
     function isObjectLiteralElement(node: Node): node is ObjectLiteralElement;
     function isStringLiteralLike(node: Node | FileReference): node is StringLiteralLike;

package/lib/typescript.js

@@ -2270,7 +2270,7 @@ module.exports = __toCommonJS(typescript_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.7";
-var version = `${versionMajorMinor}.0-insiders.20240924`;
+var version = `${versionMajorMinor}.0-insiders.20240925`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -59894,6 +59894,12 @@ function createTypeChecker(host) {
     if (isBindingPattern(element.name)) {
       return getTypeFromBindingPattern(element.name, includePatternInType, reportErrors2);
     }
+    if (isBindingPattern(element.parent)) {
+      const contextualType = getContextualPaddingType(element);
+      if (contextualType) {
+        return contextualType;
+      }
+    }
     if (reportErrors2 && !declarationBelongsToPrivateAmbientMember(element)) {
       reportImplicitAny(element, anyType);
     }
@@ -59904,7 +59910,6 @@ function createTypeChecker(host) {
     let stringIndexInfo;
     let objectFlags = 128 /* ObjectLiteral */ | 131072 /* ContainsObjectOrArrayLiteral */;
     forEach(pattern.elements, (e) => {
-      const name = e.propertyName || e.name;
       if (e.dotDotDotToken) {
         stringIndexInfo = createIndexInfo(
           stringType,
@@ -59914,16 +59919,16 @@ function createTypeChecker(host) {
         );
         return;
       }
-      const exprType = getLiteralTypeFromPropertyName(name);
-      if (!isTypeUsableAsPropertyName(exprType)) {
+      const name = getPropertyNameFromBindingElement(e);
+      if (!name) {
         objectFlags |= 512 /* ObjectLiteralPatternWithComputedProperties */;
         return;
       }
-      const text = getPropertyNameFromType(exprType);
-      const flags = 4 /* Property */ | (e.initializer ? 16777216 /* Optional */ : 0);
-      const symbol = createSymbol(flags, text);
+      const contextualType = !includePatternInType && isBindingPattern(e.parent) ? getContextualPaddingType(e.parent) : void 0;
+      const paddingSymbol = contextualType && getPropertyOfType(contextualType, name);
+      const flags = 4 /* Property */ | (e.initializer || !includePatternInType && (!paddingSymbol || paddingSymbol.flags & 16777216 /* Optional */) ? 16777216 /* Optional */ : 0);
+      const symbol = createSymbol(flags, name);
       symbol.links.type = getTypeFromBindingElement(e, includePatternInType, reportErrors2);
-      symbol.links.bindingElement = e;
       members.set(symbol.escapedName, symbol);
     });
     const result = createAnonymousType(
@@ -76041,11 +76046,8 @@ function createTypeChecker(host) {
       if (index < 0) return void 0;
       return getContextualTypeForElementExpression(parentType, index);
     }
-    const nameType = getLiteralTypeFromPropertyName(name);
-    if (isTypeUsableAsPropertyName(nameType)) {
-      const text = getPropertyNameFromType(nameType);
-      return getTypeOfPropertyOfType(parentType, text);
-    }
+    const propertyName = getPropertyNameFromBindingElement(declaration);
+    return propertyName && getTypeOfPropertyOfType(parentType, propertyName);
   }
   function getContextualTypeForStaticPropertyDeclaration(declaration, contextFlags) {
     const parentType = isExpression(declaration.parent) && getContextualType2(declaration.parent, contextFlags);
@@ -76847,6 +76849,33 @@ function createTypeChecker(host) {
     }
     return void 0;
   }
+  function getContextualPaddingType(node) {
+    const index = findContextualNode(
+      node,
+      /*includeCaches*/
+      true
+    );
+    if (index >= 0) {
+      return contextualTypes[index];
+    }
+    const { parent: parent2 } = node;
+    switch (parent2.kind) {
+      case 206 /* ObjectBindingPattern */: {
+        const type = getContextualPaddingType(parent2);
+        const name = type && getPropertyNameFromBindingElement(node);
+        return name ? getTypeOfPropertyOfType(type, name) : void 0;
+      }
+      case 208 /* BindingElement */: {
+        if (parent2.parent.kind === 207 /* ArrayBindingPattern */) {
+          break;
+        }
+        const type = getContextualPaddingType(parent2.parent);
+        const name = type && getPropertyNameFromBindingElement(parent2);
+        return name ? getTypeOfPropertyOfType(type, name) : void 0;
+      }
+    }
+    return void 0;
+  }
   function pushCachedContextualType(node) {
     pushContextualType(
       node,
@@ -80241,11 +80270,11 @@ function createTypeChecker(host) {
     if (funcType === silentNeverType) {
       return silentNeverSignature;
     }
-    let apparentType = getApparentType(funcType);
+    const apparentType = getApparentType(funcType);
     if (isErrorType(apparentType)) {
       return resolveErrorCall(node);
     }
-    let callSignatures = getSignaturesOfType(apparentType, 0 /* Call */);
+    const callSignatures = getSignaturesOfType(apparentType, 0 /* Call */);
     const numConstructSignatures = getSignaturesOfType(apparentType, 1 /* Construct */).length;
     if (isUntypedFunctionCall(funcType, apparentType, callSignatures.length, numConstructSignatures)) {
       if (!isErrorType(funcType) && node.typeArguments) {
@@ -80273,29 +80302,6 @@ function createTypeChecker(host) {
       }
       return resolveErrorCall(node);
     }
-    if (callSignatures.length && node.typeArguments && apparentType.flags & 1048576 /* Union */) {
-      let hasPassingSignature = false;
-      for (const sig of callSignatures) {
-        if (hasCorrectTypeArgumentArity(sig, node.typeArguments)) {
-          hasPassingSignature = true;
-          break;
-        }
-      }
-      if (!hasPassingSignature) {
-        const reduced = getUnionType(apparentType.types, 2 /* Subtype */);
-        const reducedCallSignatures = getSignaturesOfType(reduced, 0 /* Call */);
-        for (const sig of reducedCallSignatures) {
-          if (hasCorrectTypeArgumentArity(sig, node.typeArguments)) {
-            hasPassingSignature = true;
-            break;
-          }
-        }
-        if (hasPassingSignature) {
-          apparentType = reduced;
-          callSignatures = reducedCallSignatures;
-        }
-      }
-    }
     if (checkMode & 8 /* SkipGenericFunctions */ && !node.typeArguments && callSignatures.some(isGenericFunctionReturningFunction)) {
       skippedGenericFunction(node, checkMode);
       return resolvingSignature;
@@ -83821,33 +83827,41 @@ function createTypeChecker(host) {
     return type;
   }
   function padObjectLiteralType(type, pattern) {
-    let missingElements;
+    let paddableElements;
     for (const e of pattern.elements) {
-      if (e.initializer) {
-        const name = getPropertyNameFromBindingElement(e);
-        if (name && !getPropertyOfType(type, name)) {
-          missingElements = append(missingElements, e);
-        }
+      const name = getPropertyNameFromBindingElement(e);
+      if (name && (!getPropertyOfType(type, name) || isBindingPattern(e.name))) {
+        paddableElements = append(paddableElements, e);
       }
     }
-    if (!missingElements) {
+    if (!paddableElements) {
       return type;
     }
     const members = createSymbolTable();
     for (const prop of getPropertiesOfObjectType(type)) {
       members.set(prop.escapedName, prop);
     }
-    for (const e of missingElements) {
-      const symbol = createSymbol(4 /* Property */ | 16777216 /* Optional */, getPropertyNameFromBindingElement(e));
+    pushContextualType(
+      pattern,
+      type,
+      /*isCache*/
+      true
+    );
+    for (const e of paddableElements) {
+      const name = getPropertyNameFromBindingElement(e);
+      const paddingSymbol = getPropertyOfType(type, name);
+      const isOptional = e.initializer && !paddingSymbol || !members.has(name) || paddingSymbol && paddingSymbol.flags & 16777216 /* Optional */;
+      const symbol = createSymbol(4 /* Property */ | (isOptional || !members.has(name) ? 16777216 /* Optional */ : 0), name);
       symbol.links.type = getTypeFromBindingElement(
         e,
         /*includePatternInType*/
         false,
         /*reportErrors*/
-        false
+        true
       );
       members.set(symbol.escapedName, symbol);
     }
+    popContextualType();
     const result = createAnonymousType(type.symbol, members, emptyArray, emptyArray, getIndexInfosOfType(type));
     result.objectFlags = type.objectFlags;
     return result;
@@ -90404,7 +90418,7 @@ function createTypeChecker(host) {
       } else if (isJSDocMemberName(name)) {
         return resolveJSDocMemberName(name);
       }
-    } else if (isTypeReferenceIdentifier(name)) {
+    } else if (isEntityName(name) && isTypeReferenceIdentifier(name)) {
       const meaning = name.parent.kind === 183 /* TypeReference */ ? 788968 /* Type */ : 1920 /* Namespace */;
       const symbol = resolveEntityName(
         name,
@@ -149780,6 +149794,7 @@ var SymbolObject = class {
     if (context) {
       if (isGetAccessor(context)) {
         if (!this.contextualGetAccessorDocumentationComment) {
+          this.contextualGetAccessorDocumentationComment = emptyArray;
           this.contextualGetAccessorDocumentationComment = getDocumentationComment(filter(this.declarations, isGetAccessor), checker);
         }
         if (length(this.contextualGetAccessorDocumentationComment)) {
@@ -149788,6 +149803,7 @@ var SymbolObject = class {
       }
       if (isSetAccessor(context)) {
         if (!this.contextualSetAccessorDocumentationComment) {
+          this.contextualSetAccessorDocumentationComment = emptyArray;
           this.contextualSetAccessorDocumentationComment = getDocumentationComment(filter(this.declarations, isSetAccessor), checker);
         }
         if (length(this.contextualSetAccessorDocumentationComment)) {
@@ -149808,6 +149824,7 @@ var SymbolObject = class {
     if (context) {
       if (isGetAccessor(context)) {
         if (!this.contextualGetAccessorTags) {
+          this.contextualGetAccessorTags = emptyArray;
           this.contextualGetAccessorTags = getJsDocTagsOfDeclarations(filter(this.declarations, isGetAccessor), checker);
         }
         if (length(this.contextualGetAccessorTags)) {
@@ -149816,6 +149833,7 @@ var SymbolObject = class {
       }
       if (isSetAccessor(context)) {
         if (!this.contextualSetAccessorTags) {
+          this.contextualSetAccessorTags = emptyArray;
           this.contextualSetAccessorTags = getJsDocTagsOfDeclarations(filter(this.declarations, isSetAccessor), checker);
         }
         if (length(this.contextualSetAccessorTags)) {

package/package.json

@@ -2,7 +2,7 @@
   "name": "@typescript-deploys/pr-build",
   "author": "Microsoft Corp.",
   "homepage": "https://www.typescriptlang.org/",
-  "version": "5.7.0-pr-60036-8",
+  "version": "5.7.0-pr-59924-15",
   "license": "Apache-2.0",
   "description": "TypeScript is a language for application scale JavaScript development",
   "keywords": [