@typescript-deploys/pr-build 6.0.0-pr-62350-6 → 6.0.0-pr-62381-3

package/lib/_tsc.js

@@ -55722,21 +55722,21 @@ function createTypeChecker(host) {
   function isErrorType(type) {
     return type === errorType || !!(type.flags & 1 /* Any */ && type.aliasSymbol);
   }
-  function getTypeForBindingElementParent(node) {
-    const grandparent = node.parent.parent;
-    const rootParameter = tryGetRootParameterDeclaration(node);
-    if (rootParameter) {
-      const symbol = getSymbolOfDeclaration(grandparent);
-      const contextualParameterType = symbol && getSymbolLinks(symbol).type;
-      if (contextualParameterType) {
-        return contextualParameterType;
-      }
-    }
-    return getTypeForVariableLikeDeclaration(
-      grandparent,
+  function getTypeForBindingElementParent(node, checkMode) {
+    if (checkMode !== 0 /* Normal */) {
+      return getTypeForVariableLikeDeclaration(
+        node,
+        /*includeOptionality*/
+        false,
+        checkMode
+      );
+    }
+    const symbol = getSymbolOfDeclaration(node);
+    return symbol && getSymbolLinks(symbol).type || getTypeForVariableLikeDeclaration(
+      node,
       /*includeOptionality*/
       false,
-      node.dotDotDotToken ? 32 /* RestBindingElement */ : 0 /* Normal */
+      checkMode
     );
   }
   function getRestType(source, properties, symbol) {
@@ -55841,7 +55841,8 @@ function createTypeChecker(host) {
     return type.flags & (128 /* StringLiteral */ | 256 /* NumberLiteral */) ? "" + type.value : void 0;
   }
   function getTypeForBindingElement(declaration) {
-    const parentType = getTypeForBindingElementParent(declaration);
+    const checkMode = declaration.dotDotDotToken ? 32 /* RestBindingElement */ : 0 /* Normal */;
+    const parentType = getTypeForBindingElementParent(declaration.parent.parent, checkMode);
     return parentType && getBindingElementTypeFromParentType(
       declaration,
       parentType,
@@ -63751,6 +63752,9 @@ function createTypeChecker(host) {
         const { expression } = node;
         return !!expression && isContextSensitive(expression);
       }
+      case 215 /* NewExpression */:
+      case 214 /* CallExpression */:
+        return some(node.arguments, isContextSensitive);
     }
     return false;
   }
@@ -71862,22 +71866,22 @@ function createTypeChecker(host) {
     const type = getTypeOfSymbol(symbol);
     const declaration = symbol.valueDeclaration;
     if (declaration) {
-      if (isBindingElement(declaration) && !declaration.initializer && declaration.parent.elements.length >= 2) {
+      if (isBindingElement(declaration) && !declaration.initializer && !declaration.dotDotDotToken && declaration.parent.elements.length >= 2) {
         const parent = declaration.parent.parent;
         const rootDeclaration = getRootDeclaration(parent);
         if (rootDeclaration.kind === 261 /* VariableDeclaration */ && getCombinedNodeFlagsCached(rootDeclaration) & 6 /* Constant */ || rootDeclaration.kind === 170 /* Parameter */) {
           const links = getNodeLinks(parent);
           if (!(links.flags & 4194304 /* InCheckIdentifier */)) {
             links.flags |= 4194304 /* InCheckIdentifier */;
-            const parentType = getTypeForBindingElementParent(declaration);
-            const parentNarrowableType = parentType && getNarrowableTypeForReference(parentType, location);
+            const parentType = getTypeForBindingElementParent(parent, 0 /* Normal */);
+            const parentTypeConstraint = parentType && mapType(parentType, getBaseConstraintOrType);
             links.flags &= ~4194304 /* InCheckIdentifier */;
-            if (parentNarrowableType && parentNarrowableType.flags & 1048576 /* Union */ && !(rootDeclaration.kind === 170 /* Parameter */ && isSomeSymbolAssigned(rootDeclaration))) {
+            if (parentTypeConstraint && parentTypeConstraint.flags & 1048576 /* Union */ && !(rootDeclaration.kind === 170 /* Parameter */ && isSomeSymbolAssigned(rootDeclaration))) {
               const pattern = declaration.parent;
               const narrowedType = getFlowTypeOfReference(
                 pattern,
-                parentNarrowableType,
-                parentNarrowableType,
+                parentTypeConstraint,
+                parentTypeConstraint,
                 /*flowContainer*/
                 void 0,
                 location.flowNode
@@ -76900,7 +76904,7 @@ function createTypeChecker(host) {
       }
       return resolveErrorCall(node);
     }
-    if (checkMode & 8 /* SkipGenericFunctions */ && !node.typeArguments && callSignatures.some(isGenericFunctionReturningFunction)) {
+    if (!node.typeArguments && (checkMode & 8 /* SkipGenericFunctions */ && callSignatures.some(isGenericFunctionReturningFunction) || (checkMode & (1 /* Contextual */ | 4 /* SkipContextSensitive */)) === (1 /* Contextual */ | 4 /* SkipContextSensitive */) && isContextSensitive(node))) {
       skippedGenericFunction(node, checkMode);
       return resolvingSignature;
     }
@@ -76931,6 +76935,10 @@ function createTypeChecker(host) {
       }
       return resolveUntypedCall(node);
     }
+    if (!node.typeArguments && (checkMode & (1 /* Contextual */ | 4 /* SkipContextSensitive */)) === (1 /* Contextual */ | 4 /* SkipContextSensitive */) && isContextSensitive(node)) {
+      skippedGenericFunction(node, checkMode);
+      return resolvingSignature;
+    }
     const constructSignatures = getSignaturesOfType(expressionType, 1 /* Construct */);
     if (constructSignatures.length) {
       if (!isConstructorAccessible(node, constructSignatures[0])) {
@@ -83216,7 +83224,8 @@ function createTypeChecker(host) {
         checkComputedPropertyName(node.propertyName);
       }
       const parent = node.parent.parent;
-      const parentType = getTypeForBindingElementParent(node);
+      const parentCheckMode = node.dotDotDotToken ? 32 /* RestBindingElement */ : 0 /* Normal */;
+      const parentType = getTypeForBindingElementParent(parent, parentCheckMode);
       const name = node.propertyName || node.name;
       if (parentType && !isBindingPattern(name)) {
         const exprType = getLiteralTypeFromPropertyName(name);

package/lib/typescript.js

@@ -60331,21 +60331,21 @@ function createTypeChecker(host) {
   function isErrorType(type) {
     return type === errorType || !!(type.flags & 1 /* Any */ && type.aliasSymbol);
   }
-  function getTypeForBindingElementParent(node) {
-    const grandparent = node.parent.parent;
-    const rootParameter = tryGetRootParameterDeclaration(node);
-    if (rootParameter) {
-      const symbol = getSymbolOfDeclaration(grandparent);
-      const contextualParameterType = symbol && getSymbolLinks(symbol).type;
-      if (contextualParameterType) {
-        return contextualParameterType;
-      }
-    }
-    return getTypeForVariableLikeDeclaration(
-      grandparent,
+  function getTypeForBindingElementParent(node, checkMode) {
+    if (checkMode !== 0 /* Normal */) {
+      return getTypeForVariableLikeDeclaration(
+        node,
+        /*includeOptionality*/
+        false,
+        checkMode
+      );
+    }
+    const symbol = getSymbolOfDeclaration(node);
+    return symbol && getSymbolLinks(symbol).type || getTypeForVariableLikeDeclaration(
+      node,
       /*includeOptionality*/
       false,
-      node.dotDotDotToken ? 32 /* RestBindingElement */ : 0 /* Normal */
+      checkMode
     );
   }
   function getRestType(source, properties, symbol) {
@@ -60450,7 +60450,8 @@ function createTypeChecker(host) {
     return type.flags & (128 /* StringLiteral */ | 256 /* NumberLiteral */) ? "" + type.value : void 0;
   }
   function getTypeForBindingElement(declaration) {
-    const parentType = getTypeForBindingElementParent(declaration);
+    const checkMode = declaration.dotDotDotToken ? 32 /* RestBindingElement */ : 0 /* Normal */;
+    const parentType = getTypeForBindingElementParent(declaration.parent.parent, checkMode);
     return parentType && getBindingElementTypeFromParentType(
       declaration,
       parentType,
@@ -68360,6 +68361,9 @@ function createTypeChecker(host) {
         const { expression } = node;
         return !!expression && isContextSensitive(expression);
       }
+      case 215 /* NewExpression */:
+      case 214 /* CallExpression */:
+        return some(node.arguments, isContextSensitive);
     }
     return false;
   }
@@ -76471,22 +76475,22 @@ function createTypeChecker(host) {
     const type = getTypeOfSymbol(symbol);
     const declaration = symbol.valueDeclaration;
     if (declaration) {
-      if (isBindingElement(declaration) && !declaration.initializer && declaration.parent.elements.length >= 2) {
+      if (isBindingElement(declaration) && !declaration.initializer && !declaration.dotDotDotToken && declaration.parent.elements.length >= 2) {
         const parent2 = declaration.parent.parent;
         const rootDeclaration = getRootDeclaration(parent2);
         if (rootDeclaration.kind === 261 /* VariableDeclaration */ && getCombinedNodeFlagsCached(rootDeclaration) & 6 /* Constant */ || rootDeclaration.kind === 170 /* Parameter */) {
           const links = getNodeLinks(parent2);
           if (!(links.flags & 4194304 /* InCheckIdentifier */)) {
             links.flags |= 4194304 /* InCheckIdentifier */;
-            const parentType = getTypeForBindingElementParent(declaration);
-            const parentNarrowableType = parentType && getNarrowableTypeForReference(parentType, location);
+            const parentType = getTypeForBindingElementParent(parent2, 0 /* Normal */);
+            const parentTypeConstraint = parentType && mapType(parentType, getBaseConstraintOrType);
             links.flags &= ~4194304 /* InCheckIdentifier */;
-            if (parentNarrowableType && parentNarrowableType.flags & 1048576 /* Union */ && !(rootDeclaration.kind === 170 /* Parameter */ && isSomeSymbolAssigned(rootDeclaration))) {
+            if (parentTypeConstraint && parentTypeConstraint.flags & 1048576 /* Union */ && !(rootDeclaration.kind === 170 /* Parameter */ && isSomeSymbolAssigned(rootDeclaration))) {
               const pattern = declaration.parent;
               const narrowedType = getFlowTypeOfReference(
                 pattern,
-                parentNarrowableType,
-                parentNarrowableType,
+                parentTypeConstraint,
+                parentTypeConstraint,
                 /*flowContainer*/
                 void 0,
                 location.flowNode
@@ -81509,7 +81513,7 @@ function createTypeChecker(host) {
       }
       return resolveErrorCall(node);
     }
-    if (checkMode & 8 /* SkipGenericFunctions */ && !node.typeArguments && callSignatures.some(isGenericFunctionReturningFunction)) {
+    if (!node.typeArguments && (checkMode & 8 /* SkipGenericFunctions */ && callSignatures.some(isGenericFunctionReturningFunction) || (checkMode & (1 /* Contextual */ | 4 /* SkipContextSensitive */)) === (1 /* Contextual */ | 4 /* SkipContextSensitive */) && isContextSensitive(node))) {
       skippedGenericFunction(node, checkMode);
       return resolvingSignature;
     }
@@ -81540,6 +81544,10 @@ function createTypeChecker(host) {
       }
       return resolveUntypedCall(node);
     }
+    if (!node.typeArguments && (checkMode & (1 /* Contextual */ | 4 /* SkipContextSensitive */)) === (1 /* Contextual */ | 4 /* SkipContextSensitive */) && isContextSensitive(node)) {
+      skippedGenericFunction(node, checkMode);
+      return resolvingSignature;
+    }
     const constructSignatures = getSignaturesOfType(expressionType, 1 /* Construct */);
     if (constructSignatures.length) {
       if (!isConstructorAccessible(node, constructSignatures[0])) {
@@ -87825,7 +87833,8 @@ function createTypeChecker(host) {
         checkComputedPropertyName(node.propertyName);
       }
       const parent2 = node.parent.parent;
-      const parentType = getTypeForBindingElementParent(node);
+      const parentCheckMode = node.dotDotDotToken ? 32 /* RestBindingElement */ : 0 /* Normal */;
+      const parentType = getTypeForBindingElementParent(parent2, parentCheckMode);
       const name = node.propertyName || node.name;
       if (parentType && !isBindingPattern(name)) {
         const exprType = getLiteralTypeFromPropertyName(name);

package/package.json

@@ -2,7 +2,7 @@
   "name": "@typescript-deploys/pr-build",
   "author": "Microsoft Corp.",
   "homepage": "https://www.typescriptlang.org/",
-  "version": "6.0.0-pr-62350-6",
+  "version": "6.0.0-pr-62381-3",
   "license": "Apache-2.0",
   "description": "TypeScript is a language for application scale JavaScript development",
   "keywords": [