@typescript-deploys/pr-build 5.3.0-pr-56004-10 → 5.3.0-pr-56048-8

package/lib/tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.3";
-var version = `${versionMajorMinor}.0-insiders.20231006`;
+var version = `${versionMajorMinor}.0-insiders.20231009`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -13637,6 +13637,7 @@ function tryGetModuleSpecifierFromDeclaration(node) {
         true
       ))) == null ? void 0 : _a.arguments[0];
     case 272 /* ImportDeclaration */:
+    case 278 /* ExportDeclaration */:
       return tryCast(node.moduleSpecifier, isStringLiteralLike);
     case 271 /* ImportEqualsDeclaration */:
       return tryCast((_b = tryCast(node.moduleReference, isExternalModuleReference)) == null ? void 0 : _b.expression, isStringLiteralLike);
@@ -13648,6 +13649,8 @@ function tryGetModuleSpecifierFromDeclaration(node) {
       return tryCast(node.parent.parent.moduleSpecifier, isStringLiteralLike);
     case 276 /* ImportSpecifier */:
       return tryCast(node.parent.parent.parent.moduleSpecifier, isStringLiteralLike);
+    case 205 /* ImportType */:
+      return isLiteralImportTypeNode(node) ? node.argument.literal : void 0;
     default:
       Debug.assertNever(node);
   }
@@ -39964,6 +39967,9 @@ function createBinder() {
       case 213 /* CallExpression */:
         return hasNarrowableArgument(expr);
       case 217 /* ParenthesizedExpression */:
+        if (isJSDocTypeAssertion(expr)) {
+          return false;
+        }
       case 235 /* NonNullExpression */:
         return isNarrowingExpression(expr.expression);
       case 226 /* BinaryExpression */:
@@ -54055,12 +54061,7 @@ function createTypeChecker(host) {
         const checkType = type.checkType;
         const constraint = getLowerBoundOfKeyType(checkType);
         if (constraint !== checkType) {
-          return getConditionalTypeInstantiation(
-            type,
-            prependTypeMapping(type.root.checkType, constraint, type.mapper),
-            /*forConstraint*/
-            false
-          );
+          return getConditionalTypeInstantiation(type, prependTypeMapping(type.root.checkType, constraint, type.mapper));
         }
       }
       return type;
@@ -54412,12 +54413,7 @@ function createTypeChecker(host) {
       );
       const constraint = simplified === type.checkType ? getConstraintOfType(simplified) : simplified;
       if (constraint && constraint !== type.checkType) {
-        const instantiated = getConditionalTypeInstantiation(
-          type,
-          prependTypeMapping(type.root.checkType, constraint, type.mapper),
-          /*forConstraint*/
-          true
-        );
+        const instantiated = getConditionalTypeInstantiation(type, prependTypeMapping(type.root.checkType, constraint, type.mapper));
         if (!(instantiated.flags & 131072 /* Never */)) {
           type.resolvedConstraintOfDistributive = instantiated;
           return instantiated;
@@ -57980,7 +57976,7 @@ function createTypeChecker(host) {
   function isDeferredType(type, checkTuples) {
     return isGenericType(type) || checkTuples && isTupleType(type) && some(getElementTypes(type), isGenericType);
   }
-  function getConditionalType(root, mapper, forConstraint, aliasSymbol, aliasTypeArguments) {
+  function getConditionalType(root, mapper, aliasSymbol, aliasTypeArguments) {
     let result;
     let extraTypes;
     let tailCount = 0;
@@ -58026,7 +58022,7 @@ function createTypeChecker(host) {
       const inferredExtendsType = combinedMapper ? instantiateType(root.extendsType, combinedMapper) : extendsType;
       if (!checkTypeDeferred && !isDeferredType(inferredExtendsType, checkTuples)) {
         if (!(inferredExtendsType.flags & 3 /* AnyOrUnknown */) && (checkType.flags & 1 /* Any */ || !isTypeAssignableTo(getPermissiveInstantiation(checkType), getPermissiveInstantiation(inferredExtendsType)))) {
-          if (checkType.flags & 1 /* Any */ || forConstraint && areTypesComparable(getPermissiveInstantiation(checkType), getPermissiveInstantiation(inferredExtendsType))) {
+          if (checkType.flags & 1 /* Any */) {
             (extraTypes || (extraTypes = [])).push(instantiateType(getTypeFromTypeNode(root.node.trueType), combinedMapper || mapper));
           }
           const falseType2 = getTypeFromTypeNode(root.node.falseType);
@@ -58136,9 +58132,7 @@ function createTypeChecker(host) {
       links.resolvedType = getConditionalType(
         root,
         /*mapper*/
-        void 0,
-        /*forConstraint*/
-        false
+        void 0
       );
       if (outerTypeParameters) {
         root.instantiations = /* @__PURE__ */ new Map();
@@ -58992,17 +58986,17 @@ function createTypeChecker(host) {
     result.objectFlags |= result.aliasTypeArguments ? getPropagatingFlagsOfTypes(result.aliasTypeArguments) : 0;
     return result;
   }
-  function getConditionalTypeInstantiation(type, mapper, forConstraint, aliasSymbol, aliasTypeArguments) {
+  function getConditionalTypeInstantiation(type, mapper, aliasSymbol, aliasTypeArguments) {
     const root = type.root;
     if (root.outerTypeParameters) {
       const typeArguments = map(root.outerTypeParameters, (t) => getMappedType(t, mapper));
-      const id = (forConstraint ? "C" : "") + getTypeListId(typeArguments) + getAliasId(aliasSymbol, aliasTypeArguments);
+      const id = getTypeListId(typeArguments) + getAliasId(aliasSymbol, aliasTypeArguments);
       let result = root.instantiations.get(id);
       if (!result) {
         const newMapper = createTypeMapper(root.outerTypeParameters, typeArguments);
         const checkType = root.checkType;
         const distributionType = root.isDistributive ? getMappedType(checkType, newMapper) : void 0;
-        result = distributionType && checkType !== distributionType && distributionType.flags & (1048576 /* Union */ | 131072 /* Never */) ? mapTypeWithAlias(getReducedType(distributionType), (t) => getConditionalType(root, prependTypeMapping(checkType, t, newMapper), forConstraint), aliasSymbol, aliasTypeArguments) : getConditionalType(root, newMapper, forConstraint, aliasSymbol, aliasTypeArguments);
+        result = distributionType && checkType !== distributionType && distributionType.flags & (1048576 /* Union */ | 131072 /* Never */) ? mapTypeWithAlias(getReducedType(distributionType), (t) => getConditionalType(root, prependTypeMapping(checkType, t, newMapper)), aliasSymbol, aliasTypeArguments) : getConditionalType(root, newMapper, aliasSymbol, aliasTypeArguments);
         root.instantiations.set(id, result);
       }
       return result;
@@ -59090,14 +59084,7 @@ function createTypeChecker(host) {
       );
     }
     if (flags & 16777216 /* Conditional */) {
-      return getConditionalTypeInstantiation(
-        type,
-        combineTypeMappers(type.mapper, mapper),
-        /*forConstraint*/
-        false,
-        aliasSymbol,
-        aliasTypeArguments
-      );
+      return getConditionalTypeInstantiation(type, combineTypeMappers(type.mapper, mapper), aliasSymbol, aliasTypeArguments);
     }
     if (flags & 33554432 /* Substitution */) {
       const newBaseType = instantiateType(type.baseType, mapper);
@@ -61638,6 +61625,13 @@ function createTypeChecker(host) {
               return result2;
             }
           }
+        } else {
+          const distributiveConstraint = hasNonCircularBaseConstraint(source2) ? getConstraintOfDistributiveConditionalType(source2) : void 0;
+          if (distributiveConstraint) {
+            if (result2 = isRelatedTo(distributiveConstraint, target2, 1 /* Source */, reportErrors2)) {
+              return result2;
+            }
+          }
         }
         const defaultConstraint = getDefaultConstraintOfConditionalType(source2);
         if (defaultConstraint) {
@@ -61645,13 +61639,6 @@ function createTypeChecker(host) {
             return result2;
           }
         }
-        const distributiveConstraint = !(targetFlags & 16777216 /* Conditional */) && hasNonCircularBaseConstraint(source2) ? getConstraintOfDistributiveConditionalType(source2) : void 0;
-        if (distributiveConstraint) {
-          resetErrorInfo(saveErrorInfo);
-          if (result2 = isRelatedTo(distributiveConstraint, target2, 1 /* Source */, reportErrors2)) {
-            return result2;
-          }
-        }
       } else {
         if (relation !== subtypeRelation && relation !== strictSubtypeRelation && isPartialMappedType(target2) && isEmptyObjectType(source2)) {
           return -1 /* True */;
@@ -65751,7 +65738,7 @@ function createTypeChecker(host) {
       return createFlowType(narrowedType, isIncomplete(flowType));
     }
     function getTypeAtSwitchClause(flow) {
-      const expr = flow.switchStatement.expression;
+      const expr = skipParentheses(flow.switchStatement.expression);
       const flowType = getTypeAtFlowNode(flow.antecedent);
       let type = getTypeFromFlowType(flowType);
       if (isMatchingReference(reference, expr)) {
@@ -65759,16 +65746,7 @@ function createTypeChecker(host) {
       } else if (expr.kind === 221 /* TypeOfExpression */ && isMatchingReference(reference, expr.expression)) {
         type = narrowTypeBySwitchOnTypeOf(type, flow.switchStatement, flow.clauseStart, flow.clauseEnd);
       } else if (expr.kind === 112 /* TrueKeyword */) {
-        const clause = flow.switchStatement.caseBlock.clauses.find((_, index) => index === flow.clauseStart);
-        const clauseExpression = clause && clause.kind === 296 /* CaseClause */ ? clause.expression : void 0;
-        if (clauseExpression) {
-          type = narrowType(
-            type,
-            clauseExpression,
-            /*assumeTrue*/
-            true
-          );
-        }
+        type = narrowTypeBySwitchOnTrue(type, flow.switchStatement, flow.clauseStart, flow.clauseEnd);
       } else {
         if (strictNullChecks) {
           if (optionalChainContainsReference(expr, reference)) {
@@ -66314,6 +66292,42 @@ function createTypeChecker(host) {
       const clauseWitnesses = witnesses.slice(clauseStart, clauseEnd);
       return getUnionType(map(clauseWitnesses, (text) => text ? narrowTypeByTypeName(type, text) : neverType));
     }
+    function narrowTypeBySwitchOnTrue(type, switchStatement, clauseStart, clauseEnd) {
+      const defaultIndex = findIndex(switchStatement.caseBlock.clauses, (clause) => clause.kind === 297 /* DefaultClause */);
+      const hasDefaultClause = clauseStart === clauseEnd || defaultIndex >= clauseStart && defaultIndex < clauseEnd;
+      for (let i = 0; i < clauseStart; i++) {
+        const clause = switchStatement.caseBlock.clauses[i];
+        if (clause.kind === 296 /* CaseClause */) {
+          type = narrowType(
+            type,
+            clause.expression,
+            /*assumeTrue*/
+            false
+          );
+        }
+      }
+      if (hasDefaultClause) {
+        for (let i = clauseEnd; i < switchStatement.caseBlock.clauses.length; i++) {
+          const clause = switchStatement.caseBlock.clauses[i];
+          if (clause.kind === 296 /* CaseClause */) {
+            type = narrowType(
+              type,
+              clause.expression,
+              /*assumeTrue*/
+              false
+            );
+          }
+        }
+        return type;
+      }
+      const clauses = switchStatement.caseBlock.clauses.slice(clauseStart, clauseEnd);
+      return getUnionType(map(clauses, (clause) => clause.kind === 296 /* CaseClause */ ? narrowType(
+        type,
+        clause.expression,
+        /*assumeTrue*/
+        true
+      ) : neverType));
+    }
     function isMatchingConstructorReference(expr) {
       return (isPropertyAccessExpression(expr) && idText(expr.name) === "constructor" || isElementAccessExpression(expr) && isStringLiteralLike(expr.argumentExpression) && expr.argumentExpression.text === "constructor") && isMatchingReference(reference, expr.expression);
     }
@@ -82318,7 +82332,16 @@ function createTypeChecker(host) {
         }
         return !sym.exports ? [] : nodeBuilder.symbolTableToDeclarationStatements(sym.exports, node, flags, tracker, bundled);
       },
-      isImportRequiredByAugmentation
+      isImportRequiredByAugmentation,
+      tryFindAmbientModule: (moduleReferenceExpression) => {
+        const node = getParseTreeNode(moduleReferenceExpression);
+        const moduleSpecifier = node && isStringLiteralLike(node) ? node.text : void 0;
+        return moduleSpecifier !== void 0 ? tryFindAmbientModule(
+          moduleSpecifier,
+          /*withAugmentations*/
+          true
+        ) : void 0;
+      }
     };
     function isImportRequiredByAugmentation(node) {
       const file = getSourceFileOfNode(node);
@@ -107078,6 +107101,17 @@ function transformDeclarations(context) {
     const container = getSourceFileOfNode(node);
     refs.set(getOriginalNodeId(container), container);
   }
+  function trackReferencedAmbientModuleFromImport(node) {
+    const moduleSpecifier = tryGetModuleSpecifierFromDeclaration(node);
+    const symbol = moduleSpecifier && resolver.tryFindAmbientModule(moduleSpecifier);
+    if (symbol == null ? void 0 : symbol.declarations) {
+      for (const decl of symbol.declarations) {
+        if (isAmbientModule(decl) && getSourceFileOfNode(decl) !== currentSourceFile) {
+          trackReferencedAmbientModule(decl, symbol);
+        }
+      }
+    }
+  }
   function handleSymbolAccessibilityError(symbolAccessibilityResult) {
     if (symbolAccessibilityResult.accessibility === 0 /* Accessible */) {
       if (symbolAccessibilityResult && symbolAccessibilityResult.aliasesToMakeVisible) {
@@ -108025,6 +108059,7 @@ function transformDeclarations(context) {
         case 205 /* ImportType */: {
           if (!isLiteralImportTypeNode(input))
             return cleanup(input);
+          trackReferencedAmbientModuleFromImport(input);
           return cleanup(factory2.updateImportTypeNode(
             input,
             factory2.updateLiteralTypeNode(input.argument, rewriteModuleSpecifier(input, input.argument.literal)),
@@ -108076,6 +108111,7 @@ function transformDeclarations(context) {
           resultHasExternalModuleIndicator = true;
         }
         resultHasScopeMarker = true;
+        trackReferencedAmbientModuleFromImport(input);
         return factory2.updateExportDeclaration(
           input,
           input.modifiers,
@@ -108150,10 +108186,18 @@ function transformDeclarations(context) {
       return;
     switch (input.kind) {
       case 271 /* ImportEqualsDeclaration */: {
-        return transformImportEqualsDeclaration(input);
+        const transformed = transformImportEqualsDeclaration(input);
+        if (transformed) {
+          trackReferencedAmbientModuleFromImport(input);
+        }
+        return transformed;
       }
       case 272 /* ImportDeclaration */: {
-        return transformImportDeclaration(input);
+        const transformed = transformImportDeclaration(input);
+        if (transformed) {
+          trackReferencedAmbientModuleFromImport(input);
+        }
+        return transformed;
       }
     }
     if (isDeclaration(input) && isDeclarationAndNotVisible(input))
@@ -109756,7 +109800,8 @@ var notImplementedResolver = {
   getSymbolOfExternalModuleSpecifier: notImplemented,
   isBindingCapturedByNode: notImplemented,
   getDeclarationStatementsForSourceFile: notImplemented,
-  isImportRequiredByAugmentation: notImplemented
+  isImportRequiredByAugmentation: notImplemented,
+  tryFindAmbientModule: notImplemented
 };
 function createSourceFilesFromBundleBuildInfo(bundle, buildInfoDirectory, host) {
   var _a;

package/lib/tsserver.js

@@ -2328,7 +2328,7 @@ module.exports = __toCommonJS(server_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.3";
-var version = `${versionMajorMinor}.0-insiders.20231006`;
+var version = `${versionMajorMinor}.0-insiders.20231009`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -17481,6 +17481,7 @@ function tryGetModuleSpecifierFromDeclaration(node) {
         true
       ))) == null ? void 0 : _a.arguments[0];
     case 272 /* ImportDeclaration */:
+    case 278 /* ExportDeclaration */:
       return tryCast(node.moduleSpecifier, isStringLiteralLike);
     case 271 /* ImportEqualsDeclaration */:
       return tryCast((_b = tryCast(node.moduleReference, isExternalModuleReference)) == null ? void 0 : _b.expression, isStringLiteralLike);
@@ -17492,6 +17493,8 @@ function tryGetModuleSpecifierFromDeclaration(node) {
       return tryCast(node.parent.parent.moduleSpecifier, isStringLiteralLike);
     case 276 /* ImportSpecifier */:
       return tryCast(node.parent.parent.parent.moduleSpecifier, isStringLiteralLike);
+    case 205 /* ImportType */:
+      return isLiteralImportTypeNode(node) ? node.argument.literal : void 0;
     default:
       Debug.assertNever(node);
   }
@@ -44631,6 +44634,9 @@ function createBinder() {
       case 213 /* CallExpression */:
         return hasNarrowableArgument(expr);
       case 217 /* ParenthesizedExpression */:
+        if (isJSDocTypeAssertion(expr)) {
+          return false;
+        }
       case 235 /* NonNullExpression */:
         return isNarrowingExpression(expr.expression);
       case 226 /* BinaryExpression */:
@@ -58767,12 +58773,7 @@ function createTypeChecker(host) {
         const checkType = type.checkType;
         const constraint = getLowerBoundOfKeyType(checkType);
         if (constraint !== checkType) {
-          return getConditionalTypeInstantiation(
-            type,
-            prependTypeMapping(type.root.checkType, constraint, type.mapper),
-            /*forConstraint*/
-            false
-          );
+          return getConditionalTypeInstantiation(type, prependTypeMapping(type.root.checkType, constraint, type.mapper));
         }
       }
       return type;
@@ -59124,12 +59125,7 @@ function createTypeChecker(host) {
       );
       const constraint = simplified === type.checkType ? getConstraintOfType(simplified) : simplified;
       if (constraint && constraint !== type.checkType) {
-        const instantiated = getConditionalTypeInstantiation(
-          type,
-          prependTypeMapping(type.root.checkType, constraint, type.mapper),
-          /*forConstraint*/
-          true
-        );
+        const instantiated = getConditionalTypeInstantiation(type, prependTypeMapping(type.root.checkType, constraint, type.mapper));
         if (!(instantiated.flags & 131072 /* Never */)) {
           type.resolvedConstraintOfDistributive = instantiated;
           return instantiated;
@@ -62692,7 +62688,7 @@ function createTypeChecker(host) {
   function isDeferredType(type, checkTuples) {
     return isGenericType(type) || checkTuples && isTupleType(type) && some(getElementTypes(type), isGenericType);
   }
-  function getConditionalType(root, mapper, forConstraint, aliasSymbol, aliasTypeArguments) {
+  function getConditionalType(root, mapper, aliasSymbol, aliasTypeArguments) {
     let result;
     let extraTypes;
     let tailCount = 0;
@@ -62738,7 +62734,7 @@ function createTypeChecker(host) {
       const inferredExtendsType = combinedMapper ? instantiateType(root.extendsType, combinedMapper) : extendsType;
       if (!checkTypeDeferred && !isDeferredType(inferredExtendsType, checkTuples)) {
         if (!(inferredExtendsType.flags & 3 /* AnyOrUnknown */) && (checkType.flags & 1 /* Any */ || !isTypeAssignableTo(getPermissiveInstantiation(checkType), getPermissiveInstantiation(inferredExtendsType)))) {
-          if (checkType.flags & 1 /* Any */ || forConstraint && areTypesComparable(getPermissiveInstantiation(checkType), getPermissiveInstantiation(inferredExtendsType))) {
+          if (checkType.flags & 1 /* Any */) {
             (extraTypes || (extraTypes = [])).push(instantiateType(getTypeFromTypeNode(root.node.trueType), combinedMapper || mapper));
           }
           const falseType2 = getTypeFromTypeNode(root.node.falseType);
@@ -62848,9 +62844,7 @@ function createTypeChecker(host) {
       links.resolvedType = getConditionalType(
         root,
         /*mapper*/
-        void 0,
-        /*forConstraint*/
-        false
+        void 0
       );
       if (outerTypeParameters) {
         root.instantiations = /* @__PURE__ */ new Map();
@@ -63704,17 +63698,17 @@ function createTypeChecker(host) {
     result.objectFlags |= result.aliasTypeArguments ? getPropagatingFlagsOfTypes(result.aliasTypeArguments) : 0;
     return result;
   }
-  function getConditionalTypeInstantiation(type, mapper, forConstraint, aliasSymbol, aliasTypeArguments) {
+  function getConditionalTypeInstantiation(type, mapper, aliasSymbol, aliasTypeArguments) {
     const root = type.root;
     if (root.outerTypeParameters) {
       const typeArguments = map(root.outerTypeParameters, (t) => getMappedType(t, mapper));
-      const id = (forConstraint ? "C" : "") + getTypeListId(typeArguments) + getAliasId(aliasSymbol, aliasTypeArguments);
+      const id = getTypeListId(typeArguments) + getAliasId(aliasSymbol, aliasTypeArguments);
       let result = root.instantiations.get(id);
       if (!result) {
         const newMapper = createTypeMapper(root.outerTypeParameters, typeArguments);
         const checkType = root.checkType;
         const distributionType = root.isDistributive ? getMappedType(checkType, newMapper) : void 0;
-        result = distributionType && checkType !== distributionType && distributionType.flags & (1048576 /* Union */ | 131072 /* Never */) ? mapTypeWithAlias(getReducedType(distributionType), (t) => getConditionalType(root, prependTypeMapping(checkType, t, newMapper), forConstraint), aliasSymbol, aliasTypeArguments) : getConditionalType(root, newMapper, forConstraint, aliasSymbol, aliasTypeArguments);
+        result = distributionType && checkType !== distributionType && distributionType.flags & (1048576 /* Union */ | 131072 /* Never */) ? mapTypeWithAlias(getReducedType(distributionType), (t) => getConditionalType(root, prependTypeMapping(checkType, t, newMapper)), aliasSymbol, aliasTypeArguments) : getConditionalType(root, newMapper, aliasSymbol, aliasTypeArguments);
         root.instantiations.set(id, result);
       }
       return result;
@@ -63802,14 +63796,7 @@ function createTypeChecker(host) {
       );
     }
     if (flags & 16777216 /* Conditional */) {
-      return getConditionalTypeInstantiation(
-        type,
-        combineTypeMappers(type.mapper, mapper),
-        /*forConstraint*/
-        false,
-        aliasSymbol,
-        aliasTypeArguments
-      );
+      return getConditionalTypeInstantiation(type, combineTypeMappers(type.mapper, mapper), aliasSymbol, aliasTypeArguments);
     }
     if (flags & 33554432 /* Substitution */) {
       const newBaseType = instantiateType(type.baseType, mapper);
@@ -66350,6 +66337,13 @@ function createTypeChecker(host) {
               return result2;
             }
           }
+        } else {
+          const distributiveConstraint = hasNonCircularBaseConstraint(source2) ? getConstraintOfDistributiveConditionalType(source2) : void 0;
+          if (distributiveConstraint) {
+            if (result2 = isRelatedTo(distributiveConstraint, target2, 1 /* Source */, reportErrors2)) {
+              return result2;
+            }
+          }
         }
         const defaultConstraint = getDefaultConstraintOfConditionalType(source2);
         if (defaultConstraint) {
@@ -66357,13 +66351,6 @@ function createTypeChecker(host) {
             return result2;
           }
         }
-        const distributiveConstraint = !(targetFlags & 16777216 /* Conditional */) && hasNonCircularBaseConstraint(source2) ? getConstraintOfDistributiveConditionalType(source2) : void 0;
-        if (distributiveConstraint) {
-          resetErrorInfo(saveErrorInfo);
-          if (result2 = isRelatedTo(distributiveConstraint, target2, 1 /* Source */, reportErrors2)) {
-            return result2;
-          }
-        }
       } else {
         if (relation !== subtypeRelation && relation !== strictSubtypeRelation && isPartialMappedType(target2) && isEmptyObjectType(source2)) {
           return -1 /* True */;
@@ -70463,7 +70450,7 @@ function createTypeChecker(host) {
       return createFlowType(narrowedType, isIncomplete(flowType));
     }
     function getTypeAtSwitchClause(flow) {
-      const expr = flow.switchStatement.expression;
+      const expr = skipParentheses(flow.switchStatement.expression);
       const flowType = getTypeAtFlowNode(flow.antecedent);
       let type = getTypeFromFlowType(flowType);
       if (isMatchingReference(reference, expr)) {
@@ -70471,16 +70458,7 @@ function createTypeChecker(host) {
       } else if (expr.kind === 221 /* TypeOfExpression */ && isMatchingReference(reference, expr.expression)) {
         type = narrowTypeBySwitchOnTypeOf(type, flow.switchStatement, flow.clauseStart, flow.clauseEnd);
       } else if (expr.kind === 112 /* TrueKeyword */) {
-        const clause = flow.switchStatement.caseBlock.clauses.find((_, index) => index === flow.clauseStart);
-        const clauseExpression = clause && clause.kind === 296 /* CaseClause */ ? clause.expression : void 0;
-        if (clauseExpression) {
-          type = narrowType(
-            type,
-            clauseExpression,
-            /*assumeTrue*/
-            true
-          );
-        }
+        type = narrowTypeBySwitchOnTrue(type, flow.switchStatement, flow.clauseStart, flow.clauseEnd);
       } else {
         if (strictNullChecks) {
           if (optionalChainContainsReference(expr, reference)) {
@@ -71026,6 +71004,42 @@ function createTypeChecker(host) {
       const clauseWitnesses = witnesses.slice(clauseStart, clauseEnd);
       return getUnionType(map(clauseWitnesses, (text) => text ? narrowTypeByTypeName(type, text) : neverType));
     }
+    function narrowTypeBySwitchOnTrue(type, switchStatement, clauseStart, clauseEnd) {
+      const defaultIndex = findIndex(switchStatement.caseBlock.clauses, (clause) => clause.kind === 297 /* DefaultClause */);
+      const hasDefaultClause = clauseStart === clauseEnd || defaultIndex >= clauseStart && defaultIndex < clauseEnd;
+      for (let i = 0; i < clauseStart; i++) {
+        const clause = switchStatement.caseBlock.clauses[i];
+        if (clause.kind === 296 /* CaseClause */) {
+          type = narrowType(
+            type,
+            clause.expression,
+            /*assumeTrue*/
+            false
+          );
+        }
+      }
+      if (hasDefaultClause) {
+        for (let i = clauseEnd; i < switchStatement.caseBlock.clauses.length; i++) {
+          const clause = switchStatement.caseBlock.clauses[i];
+          if (clause.kind === 296 /* CaseClause */) {
+            type = narrowType(
+              type,
+              clause.expression,
+              /*assumeTrue*/
+              false
+            );
+          }
+        }
+        return type;
+      }
+      const clauses = switchStatement.caseBlock.clauses.slice(clauseStart, clauseEnd);
+      return getUnionType(map(clauses, (clause) => clause.kind === 296 /* CaseClause */ ? narrowType(
+        type,
+        clause.expression,
+        /*assumeTrue*/
+        true
+      ) : neverType));
+    }
     function isMatchingConstructorReference(expr) {
       return (isPropertyAccessExpression(expr) && idText(expr.name) === "constructor" || isElementAccessExpression(expr) && isStringLiteralLike(expr.argumentExpression) && expr.argumentExpression.text === "constructor") && isMatchingReference(reference, expr.expression);
     }
@@ -87030,7 +87044,16 @@ function createTypeChecker(host) {
         }
         return !sym.exports ? [] : nodeBuilder.symbolTableToDeclarationStatements(sym.exports, node, flags, tracker, bundled);
       },
-      isImportRequiredByAugmentation
+      isImportRequiredByAugmentation,
+      tryFindAmbientModule: (moduleReferenceExpression) => {
+        const node = getParseTreeNode(moduleReferenceExpression);
+        const moduleSpecifier = node && isStringLiteralLike(node) ? node.text : void 0;
+        return moduleSpecifier !== void 0 ? tryFindAmbientModule(
+          moduleSpecifier,
+          /*withAugmentations*/
+          true
+        ) : void 0;
+      }
     };
     function isImportRequiredByAugmentation(node) {
       const file = getSourceFileOfNode(node);
@@ -111961,6 +111984,17 @@ function transformDeclarations(context) {
     const container = getSourceFileOfNode(node);
     refs.set(getOriginalNodeId(container), container);
   }
+  function trackReferencedAmbientModuleFromImport(node) {
+    const moduleSpecifier = tryGetModuleSpecifierFromDeclaration(node);
+    const symbol = moduleSpecifier && resolver.tryFindAmbientModule(moduleSpecifier);
+    if (symbol == null ? void 0 : symbol.declarations) {
+      for (const decl of symbol.declarations) {
+        if (isAmbientModule(decl) && getSourceFileOfNode(decl) !== currentSourceFile) {
+          trackReferencedAmbientModule(decl, symbol);
+        }
+      }
+    }
+  }
   function handleSymbolAccessibilityError(symbolAccessibilityResult) {
     if (symbolAccessibilityResult.accessibility === 0 /* Accessible */) {
       if (symbolAccessibilityResult && symbolAccessibilityResult.aliasesToMakeVisible) {
@@ -112908,6 +112942,7 @@ function transformDeclarations(context) {
         case 205 /* ImportType */: {
           if (!isLiteralImportTypeNode(input))
             return cleanup(input);
+          trackReferencedAmbientModuleFromImport(input);
           return cleanup(factory2.updateImportTypeNode(
             input,
             factory2.updateLiteralTypeNode(input.argument, rewriteModuleSpecifier(input, input.argument.literal)),
@@ -112959,6 +112994,7 @@ function transformDeclarations(context) {
           resultHasExternalModuleIndicator = true;
         }
         resultHasScopeMarker = true;
+        trackReferencedAmbientModuleFromImport(input);
         return factory2.updateExportDeclaration(
           input,
           input.modifiers,
@@ -113033,10 +113069,18 @@ function transformDeclarations(context) {
       return;
     switch (input.kind) {
       case 271 /* ImportEqualsDeclaration */: {
-        return transformImportEqualsDeclaration(input);
+        const transformed = transformImportEqualsDeclaration(input);
+        if (transformed) {
+          trackReferencedAmbientModuleFromImport(input);
+        }
+        return transformed;
       }
       case 272 /* ImportDeclaration */: {
-        return transformImportDeclaration(input);
+        const transformed = transformImportDeclaration(input);
+        if (transformed) {
+          trackReferencedAmbientModuleFromImport(input);
+        }
+        return transformed;
       }
     }
     if (isDeclaration(input) && isDeclarationAndNotVisible(input))
@@ -114650,7 +114694,8 @@ var notImplementedResolver = {
   getSymbolOfExternalModuleSpecifier: notImplemented,
   isBindingCapturedByNode: notImplemented,
   getDeclarationStatementsForSourceFile: notImplemented,
-  isImportRequiredByAugmentation: notImplemented
+  isImportRequiredByAugmentation: notImplemented,
+  tryFindAmbientModule: notImplemented
 };
 function createSourceFilesFromBundleBuildInfo(bundle, buildInfoDirectory, host) {
   var _a;

package/lib/typescript.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.3";
-      version = `${versionMajorMinor}.0-insiders.20231006`;
+      version = `${versionMajorMinor}.0-insiders.20231009`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -14864,6 +14864,7 @@ ${lanes.join("\n")}
           true
         ))) == null ? void 0 : _a.arguments[0];
       case 272 /* ImportDeclaration */:
+      case 278 /* ExportDeclaration */:
         return tryCast(node.moduleSpecifier, isStringLiteralLike);
       case 271 /* ImportEqualsDeclaration */:
         return tryCast((_b = tryCast(node.moduleReference, isExternalModuleReference)) == null ? void 0 : _b.expression, isStringLiteralLike);
@@ -14875,6 +14876,8 @@ ${lanes.join("\n")}
         return tryCast(node.parent.parent.moduleSpecifier, isStringLiteralLike);
       case 276 /* ImportSpecifier */:
         return tryCast(node.parent.parent.parent.moduleSpecifier, isStringLiteralLike);
+      case 205 /* ImportType */:
+        return isLiteralImportTypeNode(node) ? node.argument.literal : void 0;
       default:
         Debug.assertNever(node);
     }
@@ -42478,6 +42481,9 @@ ${lanes.join("\n")}
         case 213 /* CallExpression */:
           return hasNarrowableArgument(expr);
         case 217 /* ParenthesizedExpression */:
+          if (isJSDocTypeAssertion(expr)) {
+            return false;
+          }
         case 235 /* NonNullExpression */:
           return isNarrowingExpression(expr.expression);
         case 226 /* BinaryExpression */:
@@ -56534,12 +56540,7 @@ ${lanes.join("\n")}
           const checkType = type.checkType;
           const constraint = getLowerBoundOfKeyType(checkType);
           if (constraint !== checkType) {
-            return getConditionalTypeInstantiation(
-              type,
-              prependTypeMapping(type.root.checkType, constraint, type.mapper),
-              /*forConstraint*/
-              false
-            );
+            return getConditionalTypeInstantiation(type, prependTypeMapping(type.root.checkType, constraint, type.mapper));
           }
         }
         return type;
@@ -56891,12 +56892,7 @@ ${lanes.join("\n")}
         );
         const constraint = simplified === type.checkType ? getConstraintOfType(simplified) : simplified;
         if (constraint && constraint !== type.checkType) {
-          const instantiated = getConditionalTypeInstantiation(
-            type,
-            prependTypeMapping(type.root.checkType, constraint, type.mapper),
-            /*forConstraint*/
-            true
-          );
+          const instantiated = getConditionalTypeInstantiation(type, prependTypeMapping(type.root.checkType, constraint, type.mapper));
           if (!(instantiated.flags & 131072 /* Never */)) {
             type.resolvedConstraintOfDistributive = instantiated;
             return instantiated;
@@ -60459,7 +60455,7 @@ ${lanes.join("\n")}
     function isDeferredType(type, checkTuples) {
       return isGenericType(type) || checkTuples && isTupleType(type) && some(getElementTypes(type), isGenericType);
     }
-    function getConditionalType(root, mapper, forConstraint, aliasSymbol, aliasTypeArguments) {
+    function getConditionalType(root, mapper, aliasSymbol, aliasTypeArguments) {
       let result;
       let extraTypes;
       let tailCount = 0;
@@ -60505,7 +60501,7 @@ ${lanes.join("\n")}
         const inferredExtendsType = combinedMapper ? instantiateType(root.extendsType, combinedMapper) : extendsType;
         if (!checkTypeDeferred && !isDeferredType(inferredExtendsType, checkTuples)) {
           if (!(inferredExtendsType.flags & 3 /* AnyOrUnknown */) && (checkType.flags & 1 /* Any */ || !isTypeAssignableTo(getPermissiveInstantiation(checkType), getPermissiveInstantiation(inferredExtendsType)))) {
-            if (checkType.flags & 1 /* Any */ || forConstraint && areTypesComparable(getPermissiveInstantiation(checkType), getPermissiveInstantiation(inferredExtendsType))) {
+            if (checkType.flags & 1 /* Any */) {
               (extraTypes || (extraTypes = [])).push(instantiateType(getTypeFromTypeNode(root.node.trueType), combinedMapper || mapper));
             }
             const falseType2 = getTypeFromTypeNode(root.node.falseType);
@@ -60615,9 +60611,7 @@ ${lanes.join("\n")}
         links.resolvedType = getConditionalType(
           root,
           /*mapper*/
-          void 0,
-          /*forConstraint*/
-          false
+          void 0
         );
         if (outerTypeParameters) {
           root.instantiations = /* @__PURE__ */ new Map();
@@ -61471,17 +61465,17 @@ ${lanes.join("\n")}
       result.objectFlags |= result.aliasTypeArguments ? getPropagatingFlagsOfTypes(result.aliasTypeArguments) : 0;
       return result;
     }
-    function getConditionalTypeInstantiation(type, mapper, forConstraint, aliasSymbol, aliasTypeArguments) {
+    function getConditionalTypeInstantiation(type, mapper, aliasSymbol, aliasTypeArguments) {
       const root = type.root;
       if (root.outerTypeParameters) {
         const typeArguments = map(root.outerTypeParameters, (t) => getMappedType(t, mapper));
-        const id = (forConstraint ? "C" : "") + getTypeListId(typeArguments) + getAliasId(aliasSymbol, aliasTypeArguments);
+        const id = getTypeListId(typeArguments) + getAliasId(aliasSymbol, aliasTypeArguments);
         let result = root.instantiations.get(id);
         if (!result) {
           const newMapper = createTypeMapper(root.outerTypeParameters, typeArguments);
           const checkType = root.checkType;
           const distributionType = root.isDistributive ? getMappedType(checkType, newMapper) : void 0;
-          result = distributionType && checkType !== distributionType && distributionType.flags & (1048576 /* Union */ | 131072 /* Never */) ? mapTypeWithAlias(getReducedType(distributionType), (t) => getConditionalType(root, prependTypeMapping(checkType, t, newMapper), forConstraint), aliasSymbol, aliasTypeArguments) : getConditionalType(root, newMapper, forConstraint, aliasSymbol, aliasTypeArguments);
+          result = distributionType && checkType !== distributionType && distributionType.flags & (1048576 /* Union */ | 131072 /* Never */) ? mapTypeWithAlias(getReducedType(distributionType), (t) => getConditionalType(root, prependTypeMapping(checkType, t, newMapper)), aliasSymbol, aliasTypeArguments) : getConditionalType(root, newMapper, aliasSymbol, aliasTypeArguments);
           root.instantiations.set(id, result);
         }
         return result;
@@ -61569,14 +61563,7 @@ ${lanes.join("\n")}
         );
       }
       if (flags & 16777216 /* Conditional */) {
-        return getConditionalTypeInstantiation(
-          type,
-          combineTypeMappers(type.mapper, mapper),
-          /*forConstraint*/
-          false,
-          aliasSymbol,
-          aliasTypeArguments
-        );
+        return getConditionalTypeInstantiation(type, combineTypeMappers(type.mapper, mapper), aliasSymbol, aliasTypeArguments);
       }
       if (flags & 33554432 /* Substitution */) {
         const newBaseType = instantiateType(type.baseType, mapper);
@@ -64117,6 +64104,13 @@ ${lanes.join("\n")}
                 return result2;
               }
             }
+          } else {
+            const distributiveConstraint = hasNonCircularBaseConstraint(source2) ? getConstraintOfDistributiveConditionalType(source2) : void 0;
+            if (distributiveConstraint) {
+              if (result2 = isRelatedTo(distributiveConstraint, target2, 1 /* Source */, reportErrors2)) {
+                return result2;
+              }
+            }
           }
           const defaultConstraint = getDefaultConstraintOfConditionalType(source2);
           if (defaultConstraint) {
@@ -64124,13 +64118,6 @@ ${lanes.join("\n")}
               return result2;
             }
           }
-          const distributiveConstraint = !(targetFlags & 16777216 /* Conditional */) && hasNonCircularBaseConstraint(source2) ? getConstraintOfDistributiveConditionalType(source2) : void 0;
-          if (distributiveConstraint) {
-            resetErrorInfo(saveErrorInfo);
-            if (result2 = isRelatedTo(distributiveConstraint, target2, 1 /* Source */, reportErrors2)) {
-              return result2;
-            }
-          }
         } else {
           if (relation !== subtypeRelation && relation !== strictSubtypeRelation && isPartialMappedType(target2) && isEmptyObjectType(source2)) {
             return -1 /* True */;
@@ -68230,7 +68217,7 @@ ${lanes.join("\n")}
         return createFlowType(narrowedType, isIncomplete(flowType));
       }
       function getTypeAtSwitchClause(flow) {
-        const expr = flow.switchStatement.expression;
+        const expr = skipParentheses(flow.switchStatement.expression);
         const flowType = getTypeAtFlowNode(flow.antecedent);
         let type = getTypeFromFlowType(flowType);
         if (isMatchingReference(reference, expr)) {
@@ -68238,16 +68225,7 @@ ${lanes.join("\n")}
         } else if (expr.kind === 221 /* TypeOfExpression */ && isMatchingReference(reference, expr.expression)) {
           type = narrowTypeBySwitchOnTypeOf(type, flow.switchStatement, flow.clauseStart, flow.clauseEnd);
         } else if (expr.kind === 112 /* TrueKeyword */) {
-          const clause = flow.switchStatement.caseBlock.clauses.find((_, index) => index === flow.clauseStart);
-          const clauseExpression = clause && clause.kind === 296 /* CaseClause */ ? clause.expression : void 0;
-          if (clauseExpression) {
-            type = narrowType(
-              type,
-              clauseExpression,
-              /*assumeTrue*/
-              true
-            );
-          }
+          type = narrowTypeBySwitchOnTrue(type, flow.switchStatement, flow.clauseStart, flow.clauseEnd);
         } else {
           if (strictNullChecks) {
             if (optionalChainContainsReference(expr, reference)) {
@@ -68793,6 +68771,42 @@ ${lanes.join("\n")}
         const clauseWitnesses = witnesses.slice(clauseStart, clauseEnd);
         return getUnionType(map(clauseWitnesses, (text) => text ? narrowTypeByTypeName(type, text) : neverType));
       }
+      function narrowTypeBySwitchOnTrue(type, switchStatement, clauseStart, clauseEnd) {
+        const defaultIndex = findIndex(switchStatement.caseBlock.clauses, (clause) => clause.kind === 297 /* DefaultClause */);
+        const hasDefaultClause = clauseStart === clauseEnd || defaultIndex >= clauseStart && defaultIndex < clauseEnd;
+        for (let i = 0; i < clauseStart; i++) {
+          const clause = switchStatement.caseBlock.clauses[i];
+          if (clause.kind === 296 /* CaseClause */) {
+            type = narrowType(
+              type,
+              clause.expression,
+              /*assumeTrue*/
+              false
+            );
+          }
+        }
+        if (hasDefaultClause) {
+          for (let i = clauseEnd; i < switchStatement.caseBlock.clauses.length; i++) {
+            const clause = switchStatement.caseBlock.clauses[i];
+            if (clause.kind === 296 /* CaseClause */) {
+              type = narrowType(
+                type,
+                clause.expression,
+                /*assumeTrue*/
+                false
+              );
+            }
+          }
+          return type;
+        }
+        const clauses = switchStatement.caseBlock.clauses.slice(clauseStart, clauseEnd);
+        return getUnionType(map(clauses, (clause) => clause.kind === 296 /* CaseClause */ ? narrowType(
+          type,
+          clause.expression,
+          /*assumeTrue*/
+          true
+        ) : neverType));
+      }
       function isMatchingConstructorReference(expr) {
         return (isPropertyAccessExpression(expr) && idText(expr.name) === "constructor" || isElementAccessExpression(expr) && isStringLiteralLike(expr.argumentExpression) && expr.argumentExpression.text === "constructor") && isMatchingReference(reference, expr.expression);
       }
@@ -84797,7 +84811,16 @@ ${lanes.join("\n")}
           }
           return !sym.exports ? [] : nodeBuilder.symbolTableToDeclarationStatements(sym.exports, node, flags, tracker, bundled);
         },
-        isImportRequiredByAugmentation
+        isImportRequiredByAugmentation,
+        tryFindAmbientModule: (moduleReferenceExpression) => {
+          const node = getParseTreeNode(moduleReferenceExpression);
+          const moduleSpecifier = node && isStringLiteralLike(node) ? node.text : void 0;
+          return moduleSpecifier !== void 0 ? tryFindAmbientModule(
+            moduleSpecifier,
+            /*withAugmentations*/
+            true
+          ) : void 0;
+        }
       };
       function isImportRequiredByAugmentation(node) {
         const file = getSourceFileOfNode(node);
@@ -110037,6 +110060,17 @@ ${lanes.join("\n")}
       const container = getSourceFileOfNode(node);
       refs.set(getOriginalNodeId(container), container);
     }
+    function trackReferencedAmbientModuleFromImport(node) {
+      const moduleSpecifier = tryGetModuleSpecifierFromDeclaration(node);
+      const symbol = moduleSpecifier && resolver.tryFindAmbientModule(moduleSpecifier);
+      if (symbol == null ? void 0 : symbol.declarations) {
+        for (const decl of symbol.declarations) {
+          if (isAmbientModule(decl) && getSourceFileOfNode(decl) !== currentSourceFile) {
+            trackReferencedAmbientModule(decl, symbol);
+          }
+        }
+      }
+    }
     function handleSymbolAccessibilityError(symbolAccessibilityResult) {
       if (symbolAccessibilityResult.accessibility === 0 /* Accessible */) {
         if (symbolAccessibilityResult && symbolAccessibilityResult.aliasesToMakeVisible) {
@@ -110984,6 +111018,7 @@ ${lanes.join("\n")}
           case 205 /* ImportType */: {
             if (!isLiteralImportTypeNode(input))
               return cleanup(input);
+            trackReferencedAmbientModuleFromImport(input);
             return cleanup(factory2.updateImportTypeNode(
               input,
               factory2.updateLiteralTypeNode(input.argument, rewriteModuleSpecifier(input, input.argument.literal)),
@@ -111035,6 +111070,7 @@ ${lanes.join("\n")}
             resultHasExternalModuleIndicator = true;
           }
           resultHasScopeMarker = true;
+          trackReferencedAmbientModuleFromImport(input);
           return factory2.updateExportDeclaration(
             input,
             input.modifiers,
@@ -111109,10 +111145,18 @@ ${lanes.join("\n")}
         return;
       switch (input.kind) {
         case 271 /* ImportEqualsDeclaration */: {
-          return transformImportEqualsDeclaration(input);
+          const transformed = transformImportEqualsDeclaration(input);
+          if (transformed) {
+            trackReferencedAmbientModuleFromImport(input);
+          }
+          return transformed;
         }
         case 272 /* ImportDeclaration */: {
-          return transformImportDeclaration(input);
+          const transformed = transformImportDeclaration(input);
+          if (transformed) {
+            trackReferencedAmbientModuleFromImport(input);
+          }
+          return transformed;
         }
       }
       if (isDeclaration(input) && isDeclarationAndNotVisible(input))
@@ -117599,7 +117643,8 @@ ${lanes.join("\n")}
         getSymbolOfExternalModuleSpecifier: notImplemented,
         isBindingCapturedByNode: notImplemented,
         getDeclarationStatementsForSourceFile: notImplemented,
-        isImportRequiredByAugmentation: notImplemented
+        isImportRequiredByAugmentation: notImplemented,
+        tryFindAmbientModule: notImplemented
       };
       createPrinterWithDefaults = /* @__PURE__ */ memoize(() => createPrinter({}));
       createPrinterWithRemoveComments = /* @__PURE__ */ memoize(() => createPrinter({ removeComments: true }));

package/lib/typingsInstaller.js

@@ -54,7 +54,7 @@ var path = __toESM(require("path"));
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.3";
-var version = `${versionMajorMinor}.0-insiders.20231006`;
+var version = `${versionMajorMinor}.0-insiders.20231009`;
 
 // src/compiler/core.ts
 var emptyArray = [];

package/package.json

@@ -2,7 +2,7 @@
   "name": "@typescript-deploys/pr-build",
   "author": "Microsoft Corp.",
   "homepage": "https://www.typescriptlang.org/",
-  "version": "5.3.0-pr-56004-10",
+  "version": "5.3.0-pr-56048-8",
   "license": "Apache-2.0",
   "description": "TypeScript is a language for application scale JavaScript development",
   "keywords": [
@@ -114,5 +114,5 @@
     "node": "20.1.0",
     "npm": "8.19.4"
   },
-  "gitHead": "833be10fdbb871b107e14d5b092c9b17a912b60f"
+  "gitHead": "d09aeb7782ade4b30c6b675d3cb08364e487f298"
 }