typescript 5.6.0-dev.20240819 → 5.7.0-dev.20240821

package/lib/tsc.js

@@ -17,8 +17,8 @@ and limitations under the License.
 "use strict";
 
 // src/compiler/corePublic.ts
-var versionMajorMinor = "5.6";
-var version = `${versionMajorMinor}.0-dev.20240819`;
+var versionMajorMinor = "5.7";
+var version = `${versionMajorMinor}.0-dev.20240821`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -17134,6 +17134,9 @@ function accessKind(node) {
       return node === parent.objectAssignmentInitializer ? 0 /* Read */ : accessKind(parent.parent);
     case 209 /* ArrayLiteralExpression */:
       return accessKind(parent);
+    case 249 /* ForInStatement */:
+    case 250 /* ForOfStatement */:
+      return node === parent.initializer ? 1 /* Write */ : 0 /* Read */;
     default:
       return 0 /* Read */;
   }
@@ -69774,6 +69777,12 @@ function createTypeChecker(host) {
   function getControlFlowContainer(node) {
     return findAncestor(node.parent, (node2) => isFunctionLike(node2) && !getImmediatelyInvokedFunctionExpression(node2) || node2.kind === 268 /* ModuleBlock */ || node2.kind === 307 /* SourceFile */ || node2.kind === 172 /* PropertyDeclaration */);
   }
+  function isSymbolAssignedDefinitely(symbol) {
+    if (symbol.lastAssignmentPos !== void 0) {
+      return symbol.lastAssignmentPos < 0;
+    }
+    return isSymbolAssigned(symbol) && symbol.lastAssignmentPos !== void 0 && symbol.lastAssignmentPos < 0;
+  }
   function isSymbolAssigned(symbol) {
     return !isPastLastAssignment(
       symbol,
@@ -69793,7 +69802,7 @@ function createTypeChecker(host) {
         markNodeAssignments(parent);
       }
     }
-    return !symbol.lastAssignmentPos || location && symbol.lastAssignmentPos < location.pos;
+    return !symbol.lastAssignmentPos || location && Math.abs(symbol.lastAssignmentPos) < location.pos;
   }
   function isSomeSymbolAssigned(rootDeclaration) {
     Debug.assert(isVariableDeclaration(rootDeclaration) || isParameter(rootDeclaration));
@@ -69814,12 +69823,19 @@ function createTypeChecker(host) {
   function markNodeAssignments(node) {
     switch (node.kind) {
       case 80 /* Identifier */:
-        if (isAssignmentTarget(node)) {
+        const assigmentTarget = getAssignmentTargetKind(node);
+        if (assigmentTarget !== 0 /* None */) {
           const symbol = getResolvedSymbol(node);
-          if (isParameterOrMutableLocalVariable(symbol) && symbol.lastAssignmentPos !== Number.MAX_VALUE) {
-            const referencingFunction = findAncestor(node, isFunctionOrSourceFile);
-            const declaringFunction = findAncestor(symbol.valueDeclaration, isFunctionOrSourceFile);
-            symbol.lastAssignmentPos = referencingFunction === declaringFunction ? extendAssignmentPosition(node, symbol.valueDeclaration) : Number.MAX_VALUE;
+          const hasDefiniteAssignment = assigmentTarget === 1 /* Definite */ || symbol.lastAssignmentPos !== void 0 && symbol.lastAssignmentPos < 0;
+          if (isParameterOrMutableLocalVariable(symbol)) {
+            if (symbol.lastAssignmentPos === void 0 || Math.abs(symbol.lastAssignmentPos) !== Number.MAX_VALUE) {
+              const referencingFunction = findAncestor(node, isFunctionOrSourceFile);
+              const declaringFunction = findAncestor(symbol.valueDeclaration, isFunctionOrSourceFile);
+              symbol.lastAssignmentPos = referencingFunction === declaringFunction ? extendAssignmentPosition(node, symbol.valueDeclaration) : Number.MAX_VALUE;
+            }
+            if (hasDefiniteAssignment && symbol.lastAssignmentPos > 0) {
+              symbol.lastAssignmentPos *= -1;
+            }
           }
         }
         return;
@@ -69836,7 +69852,8 @@ function createTypeChecker(host) {
             true
           );
           if (symbol && isParameterOrMutableLocalVariable(symbol)) {
-            symbol.lastAssignmentPos = Number.MAX_VALUE;
+            const sign = symbol.lastAssignmentPos !== void 0 && symbol.lastAssignmentPos < 0 ? -1 : 1;
+            symbol.lastAssignmentPos = sign * Number.MAX_VALUE;
           }
         }
         return;
@@ -70420,6 +70437,7 @@ function createTypeChecker(host) {
     }
     const localOrExportSymbol = getExportSymbolOfValueSymbolIfExported(symbol);
     let declaration = localOrExportSymbol.valueDeclaration;
+    const immediateDeclaration = declaration;
     if (declaration && declaration.kind === 208 /* BindingElement */ && contains(contextualBindingPatterns, declaration.parent) && findAncestor(node, (parent) => parent === declaration.parent)) {
       return nonInferrableAnyType;
     }
@@ -70465,7 +70483,8 @@ function createTypeChecker(host) {
     while (flowContainer !== declarationContainer && (flowContainer.kind === 218 /* FunctionExpression */ || flowContainer.kind === 219 /* ArrowFunction */ || isObjectLiteralOrClassExpressionMethodOrAccessor(flowContainer)) && (isConstantVariable(localOrExportSymbol) && type !== autoArrayType || isParameterOrMutableLocalVariable(localOrExportSymbol) && isPastLastAssignment(localOrExportSymbol, node))) {
       flowContainer = getControlFlowContainer(flowContainer);
     }
-    const assumeInitialized = isParameter2 || isAlias || isOuterVariable || isSpreadDestructuringAssignmentTarget || isModuleExports || isSameScopedBindingElement(node, declaration) || type !== autoType && type !== autoArrayType && (!strictNullChecks || (type.flags & (3 /* AnyOrUnknown */ | 16384 /* Void */)) !== 0 || isInTypeQuery(node) || isInAmbientOrTypeNode(node) || node.parent.kind === 281 /* ExportSpecifier */) || node.parent.kind === 235 /* NonNullExpression */ || declaration.kind === 260 /* VariableDeclaration */ && declaration.exclamationToken || declaration.flags & 33554432 /* Ambient */;
+    const isNeverInitialized = immediateDeclaration && isVariableDeclaration(immediateDeclaration) && !immediateDeclaration.initializer && !immediateDeclaration.exclamationToken && isMutableLocalVariableDeclaration(immediateDeclaration) && !isSymbolAssignedDefinitely(symbol);
+    const assumeInitialized = isParameter2 || isAlias || isOuterVariable && !isNeverInitialized || isSpreadDestructuringAssignmentTarget || isModuleExports || isSameScopedBindingElement(node, declaration) || type !== autoType && type !== autoArrayType && (!strictNullChecks || (type.flags & (3 /* AnyOrUnknown */ | 16384 /* Void */)) !== 0 || isInTypeQuery(node) || isInAmbientOrTypeNode(node) || node.parent.kind === 281 /* ExportSpecifier */) || node.parent.kind === 235 /* NonNullExpression */ || declaration.kind === 260 /* VariableDeclaration */ && declaration.exclamationToken || declaration.flags & 33554432 /* Ambient */;
     const initialType = isAutomaticTypeInNonNull ? undefinedType : assumeInitialized ? isParameter2 ? removeOptionalityFromDeclaredType(type, declaration) : type : typeIsAutomatic ? undefinedType : getOptionalType(type);
     const flowType = isAutomaticTypeInNonNull ? getNonNullableType(getFlowTypeOfReference(node, type, initialType, flowContainer)) : getFlowTypeOfReference(node, type, initialType, flowContainer);
     if (!isEvolvingArrayOperationTarget(node) && (type === autoType || type === autoArrayType)) {
@@ -71370,46 +71389,108 @@ function createTypeChecker(host) {
   function isCircularMappedProperty(symbol) {
     return !!(getCheckFlags(symbol) & 262144 /* Mapped */ && !symbol.links.type && findResolutionCycleStartIndex(symbol, 0 /* Type */) >= 0);
   }
+  function isExcludedMappedPropertyName(constraint, propertyNameType) {
+    if (constraint.flags & 16777216 /* Conditional */) {
+      const type = constraint;
+      return !!(getReducedType(getTrueTypeFromConditionalType(type)).flags & 131072 /* Never */) && getActualTypeVariable(getFalseTypeFromConditionalType(type)) === getActualTypeVariable(type.checkType) && isTypeAssignableTo(propertyNameType, type.extendsType);
+    }
+    if (constraint.flags & 2097152 /* Intersection */) {
+      return some(constraint.types, (t) => isExcludedMappedPropertyName(t, propertyNameType));
+    }
+    return false;
+  }
   function getTypeOfPropertyOfContextualType(type, name, nameType) {
     return mapType(
       type,
       (t) => {
-        var _a;
-        if (isGenericMappedType(t) && getMappedTypeNameTypeKind(t) !== 2 /* Remapping */) {
-          const constraint = getConstraintTypeFromMappedType(t);
-          const constraintOfConstraint = getBaseConstraintOfType(constraint) || constraint;
-          const propertyNameType = nameType || getStringLiteralType(unescapeLeadingUnderscores(name));
-          if (isTypeAssignableTo(propertyNameType, constraintOfConstraint)) {
-            return substituteIndexedMappedType(t, propertyNameType);
-          }
-        } else if (t.flags & 3670016 /* StructuredType */) {
-          const prop = getPropertyOfType(t, name);
-          if (prop) {
-            return isCircularMappedProperty(prop) ? void 0 : removeMissingType(getTypeOfSymbol(prop), !!(prop.flags & 16777216 /* Optional */));
-          }
-          if (isTupleType(t) && isNumericLiteralName(name) && +name >= 0) {
-            const restType = getElementTypeOfSliceOfTupleType(
-              t,
-              t.target.fixedLength,
-              /*endSkipCount*/
-              0,
-              /*writing*/
-              false,
-              /*noReductions*/
-              true
-            );
-            if (restType) {
-              return restType;
+        if (t.flags & 2097152 /* Intersection */) {
+          let types;
+          let indexInfoCandidates;
+          let ignoreIndexInfos = false;
+          for (const constituentType of t.types) {
+            if (!(constituentType.flags & 524288 /* Object */)) {
+              continue;
+            }
+            if (isGenericMappedType(constituentType) && getMappedTypeNameTypeKind(constituentType) !== 2 /* Remapping */) {
+              const substitutedType = getIndexedMappedTypeSubstitutedTypeOfContextualType(constituentType, name, nameType);
+              types = appendContextualPropertyTypeConstituent(types, substitutedType);
+              continue;
             }
+            const propertyType = getTypeOfConcretePropertyOfContextualType(constituentType, name);
+            if (!propertyType) {
+              if (!ignoreIndexInfos) {
+                indexInfoCandidates = append(indexInfoCandidates, constituentType);
+              }
+              continue;
+            }
+            ignoreIndexInfos = true;
+            indexInfoCandidates = void 0;
+            types = appendContextualPropertyTypeConstituent(types, propertyType);
+          }
+          if (indexInfoCandidates) {
+            for (const candidate of indexInfoCandidates) {
+              const indexInfoType = getTypeFromIndexInfosOfContextualType(candidate, name, nameType);
+              types = appendContextualPropertyTypeConstituent(types, indexInfoType);
+            }
+          }
+          if (!types) {
+            return;
           }
-          return (_a = findApplicableIndexInfo(getIndexInfosOfStructuredType(t), nameType || getStringLiteralType(unescapeLeadingUnderscores(name)))) == null ? void 0 : _a.type;
+          if (types.length === 1) {
+            return types[0];
+          }
+          return getIntersectionType(types);
         }
-        return void 0;
+        if (!(t.flags & 524288 /* Object */)) {
+          return;
+        }
+        return isGenericMappedType(t) && getMappedTypeNameTypeKind(t) !== 2 /* Remapping */ ? getIndexedMappedTypeSubstitutedTypeOfContextualType(t, name, nameType) : getTypeOfConcretePropertyOfContextualType(t, name) ?? getTypeFromIndexInfosOfContextualType(t, name, nameType);
       },
       /*noReductions*/
       true
     );
   }
+  function appendContextualPropertyTypeConstituent(types, type) {
+    return type ? append(types, type.flags & 1 /* Any */ ? unknownType : type) : types;
+  }
+  function getIndexedMappedTypeSubstitutedTypeOfContextualType(type, name, nameType) {
+    const propertyNameType = nameType || getStringLiteralType(unescapeLeadingUnderscores(name));
+    const constraint = getConstraintTypeFromMappedType(type);
+    if (type.nameType && isExcludedMappedPropertyName(type.nameType, propertyNameType) || isExcludedMappedPropertyName(constraint, propertyNameType)) {
+      return;
+    }
+    const constraintOfConstraint = getBaseConstraintOfType(constraint) || constraint;
+    if (!isTypeAssignableTo(propertyNameType, constraintOfConstraint)) {
+      return;
+    }
+    return substituteIndexedMappedType(type, propertyNameType);
+  }
+  function getTypeOfConcretePropertyOfContextualType(type, name) {
+    const prop = getPropertyOfType(type, name);
+    if (!prop || isCircularMappedProperty(prop)) {
+      return;
+    }
+    return removeMissingType(getTypeOfSymbol(prop), !!(prop.flags & 16777216 /* Optional */));
+  }
+  function getTypeFromIndexInfosOfContextualType(type, name, nameType) {
+    var _a;
+    if (isTupleType(type) && isNumericLiteralName(name) && +name >= 0) {
+      const restType = getElementTypeOfSliceOfTupleType(
+        type,
+        type.target.fixedLength,
+        /*endSkipCount*/
+        0,
+        /*writing*/
+        false,
+        /*noReductions*/
+        true
+      );
+      if (restType) {
+        return restType;
+      }
+    }
+    return (_a = findApplicableIndexInfo(getIndexInfosOfStructuredType(type), nameType || getStringLiteralType(unescapeLeadingUnderscores(name)))) == null ? void 0 : _a.type;
+  }
   function getContextualTypeForObjectLiteralMethod(node, contextFlags) {
     Debug.assert(isObjectLiteralMethod(node));
     if (node.flags & 67108864 /* InWithStatement */) {
@@ -91407,7 +91488,7 @@ function transformTypeScript(context) {
   let currentNamespaceContainerName;
   let currentLexicalScope;
   let currentScopeFirstDeclarationsOfName;
-  let enabledSubstitutions;
+  let enabledSubstitutions = 0 /* None */;
   let applicableSubstitutions;
   return transformSourceFileOrBundle;
   function transformSourceFileOrBundle(node) {
@@ -93215,7 +93296,7 @@ function transformClassFields(context) {
   const previousOnEmitNode = context.onEmitNode;
   context.onEmitNode = onEmitNode;
   let shouldTransformPrivateStaticElementsInFile = false;
-  let enabledSubstitutions;
+  let enabledSubstitutions = 0 /* None */;
   let classAliases;
   let pendingExpressions;
   let pendingStatements;
@@ -98144,7 +98225,7 @@ function transformES2017(context) {
   const resolver = context.getEmitResolver();
   const compilerOptions = context.getCompilerOptions();
   const languageVersion = getEmitScriptTarget(compilerOptions);
-  let enabledSubstitutions;
+  let enabledSubstitutions = 0 /* None */;
   let enclosingSuperContainerFlags = 0;
   let enclosingFunctionParameterNames;
   let capturedSuperProperties;
@@ -99019,7 +99100,7 @@ function transformES2018(context) {
   const previousOnSubstituteNode = context.onSubstituteNode;
   context.onSubstituteNode = onSubstituteNode;
   let exportedVariableStatement = false;
-  let enabledSubstitutions;
+  let enabledSubstitutions = 0 /* None */;
   let enclosingFunctionFlags;
   let parametersWithPrecedingObjectRestOrSpread;
   let enclosingSuperContainerFlags = 0;
@@ -102154,7 +102235,7 @@ function transformES2015(context) {
     );
   }
   let convertedLoopState;
-  let enabledSubstitutions;
+  let enabledSubstitutions = 0 /* None */;
   return chainBundle(context, transformSourceFile);
   function transformSourceFile(node) {
     if (node.isDeclarationFile) {