@typescript-deploys/pr-build 5.8.0-pr-60454-3 → 5.8.0-pr-60950-9

package/lib/_tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.8";
-var version = `${versionMajorMinor}.0-insiders.20250117`;
+var version = `${versionMajorMinor}.0-insiders.20250121`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -18875,7 +18875,7 @@ function isValidBigIntString(s, roundTripOnly) {
   return success && result === 10 /* BigIntLiteral */ && scanner.getTokenEnd() === s.length + 1 && !(flags & 512 /* ContainsSeparator */) && (!roundTripOnly || s === pseudoBigIntToString({ negative, base10Value: parsePseudoBigInt(scanner.getTokenValue()) }));
 }
 function isValidTypeOnlyAliasUseSite(useSite) {
-  return !!(useSite.flags & 33554432 /* Ambient */) || isPartOfTypeQuery(useSite) || isIdentifierInNonEmittingHeritageClause(useSite) || isPartOfPossiblyValidTypeOrAbstractComputedPropertyName(useSite) || !(isExpressionNode(useSite) || isShorthandPropertyNameUseSite(useSite));
+  return !!(useSite.flags & 33554432 /* Ambient */) || isInJSDoc(useSite) || isPartOfTypeQuery(useSite) || isIdentifierInNonEmittingHeritageClause(useSite) || isPartOfPossiblyValidTypeOrAbstractComputedPropertyName(useSite) || !(isExpressionNode(useSite) || isShorthandPropertyNameUseSite(useSite));
 }
 function isShorthandPropertyNameUseSite(useSite) {
   return isIdentifier(useSite) && isShorthandPropertyAssignment(useSite.parent) && useSite.parent.name === useSite;
@@ -35209,6 +35209,7 @@ var Parser;
         const node = factory2.createExpressionWithTypeArguments(expression, typeArguments);
         const res = finishNode(node, pos);
         if (usedBrace) {
+          skipWhitespace();
           parseExpected(20 /* CloseBraceToken */);
         }
         return res;
@@ -42865,13 +42866,16 @@ function createBinder() {
   function bindForStatement(node) {
     const preLoopLabel = setContinueTarget(node, createLoopLabel());
     const preBodyLabel = createBranchLabel();
+    const preIncrementorLabel = createBranchLabel();
     const postLoopLabel = createBranchLabel();
     bind(node.initializer);
     addAntecedent(preLoopLabel, currentFlow);
     currentFlow = preLoopLabel;
     bindCondition(node.condition, preBodyLabel, postLoopLabel);
     currentFlow = finishFlowLabel(preBodyLabel);
-    bindIterativeStatement(node.statement, postLoopLabel, preLoopLabel);
+    bindIterativeStatement(node.statement, postLoopLabel, preIncrementorLabel);
+    addAntecedent(preIncrementorLabel, currentFlow);
+    currentFlow = finishFlowLabel(preIncrementorLabel);
     bind(node.incrementor);
     addAntecedent(preLoopLabel, currentFlow);
     currentFlow = finishFlowLabel(postLoopLabel);
@@ -46455,6 +46459,7 @@ function createTypeChecker(host) {
     getNumberLiteralType,
     getBigIntType: () => bigintType,
     getBigIntLiteralType,
+    getUnknownType: () => unknownType,
     createPromiseType,
     createArrayType,
     getElementTypeOfArrayType,
@@ -73123,7 +73128,6 @@ function createTypeChecker(host) {
     return links.immediateTarget;
   }
   function checkObjectLiteral(node, checkMode = 0 /* Normal */) {
-    var _a;
     const inDestructuringPattern = isAssignmentTarget(node);
     checkGrammarObjectLiteralExpression(node, inDestructuringPattern);
     const allPropertiesTable = strictNullChecks ? createSymbolTable() : void 0;
@@ -73197,14 +73201,6 @@ function createTypeChecker(host) {
         prop.links.target = member;
         member = prop;
         allPropertiesTable == null ? void 0 : allPropertiesTable.set(prop.escapedName, prop);
-        if (contextualType) {
-          forEach((_a = getPropertyOfType(contextualType, member.escapedName)) == null ? void 0 : _a.declarations, (declaration) => {
-            const symbol = getSymbolOfDeclaration(declaration);
-            if (isDeprecatedSymbol(symbol) && symbol.declarations && isTypeAssignableTo(type, getTypeOfSymbol(symbol))) {
-              addDeprecatedSuggestion(memberDecl.name, symbol.declarations, member.escapedName);
-            }
-          });
-        }
         if (contextualType && checkMode & 2 /* Inferential */ && !(checkMode & 4 /* SkipContextSensitive */) && (memberDecl.kind === 303 /* PropertyAssignment */ || memberDecl.kind === 174 /* MethodDeclaration */) && isContextSensitive(memberDecl)) {
           const inferenceContext = getInferenceContext(node);
           Debug.assert(inferenceContext);
@@ -112832,11 +112828,7 @@ function createGetIsolatedDeclarationErrors(resolver) {
     if (isSetAccessor(node.parent)) {
       return createAccessorTypeError(node.parent);
     }
-    const addUndefined = resolver.requiresAddingImplicitUndefined(
-      node,
-      /*enclosingDeclaration*/
-      void 0
-    );
+    const addUndefined = resolver.requiresAddingImplicitUndefined(node, node.parent);
     if (!addUndefined && node.initializer) {
       return createExpressionError(node.initializer);
     }

package/lib/typescript.d.ts

@@ -6288,6 +6288,7 @@ declare namespace ts {
         getBigIntType(): Type;
         getBigIntLiteralType(value: PseudoBigInt): BigIntLiteralType;
         getBooleanType(): Type;
+        getUnknownType(): Type;
         getFalseType(): Type;
         getTrueType(): Type;
         getVoidType(): Type;

package/lib/typescript.js

@@ -2285,7 +2285,7 @@ module.exports = __toCommonJS(typescript_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.8";
-var version = `${versionMajorMinor}.0-insiders.20250117`;
+var version = `${versionMajorMinor}.0-insiders.20250121`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -22865,7 +22865,7 @@ function isValidBigIntString(s, roundTripOnly) {
   return success && result === 10 /* BigIntLiteral */ && scanner2.getTokenEnd() === s.length + 1 && !(flags & 512 /* ContainsSeparator */) && (!roundTripOnly || s === pseudoBigIntToString({ negative, base10Value: parsePseudoBigInt(scanner2.getTokenValue()) }));
 }
 function isValidTypeOnlyAliasUseSite(useSite) {
-  return !!(useSite.flags & 33554432 /* Ambient */) || isPartOfTypeQuery(useSite) || isIdentifierInNonEmittingHeritageClause(useSite) || isPartOfPossiblyValidTypeOrAbstractComputedPropertyName(useSite) || !(isExpressionNode(useSite) || isShorthandPropertyNameUseSite(useSite));
+  return !!(useSite.flags & 33554432 /* Ambient */) || isInJSDoc(useSite) || isPartOfTypeQuery(useSite) || isIdentifierInNonEmittingHeritageClause(useSite) || isPartOfPossiblyValidTypeOrAbstractComputedPropertyName(useSite) || !(isExpressionNode(useSite) || isShorthandPropertyNameUseSite(useSite));
 }
 function isShorthandPropertyNameUseSite(useSite) {
   return isIdentifier(useSite) && isShorthandPropertyAssignment(useSite.parent) && useSite.parent.name === useSite;
@@ -39469,6 +39469,7 @@ var Parser;
         const node = factory2.createExpressionWithTypeArguments(expression, typeArguments);
         const res = finishNode(node, pos);
         if (usedBrace) {
+          skipWhitespace();
           parseExpected(20 /* CloseBraceToken */);
         }
         return res;
@@ -47375,13 +47376,16 @@ function createBinder() {
   function bindForStatement(node) {
     const preLoopLabel = setContinueTarget(node, createLoopLabel());
     const preBodyLabel = createBranchLabel();
+    const preIncrementorLabel = createBranchLabel();
     const postLoopLabel = createBranchLabel();
     bind(node.initializer);
     addAntecedent(preLoopLabel, currentFlow);
     currentFlow = preLoopLabel;
     bindCondition(node.condition, preBodyLabel, postLoopLabel);
     currentFlow = finishFlowLabel(preBodyLabel);
-    bindIterativeStatement(node.statement, postLoopLabel, preLoopLabel);
+    bindIterativeStatement(node.statement, postLoopLabel, preIncrementorLabel);
+    addAntecedent(preIncrementorLabel, currentFlow);
+    currentFlow = finishFlowLabel(preIncrementorLabel);
     bind(node.incrementor);
     addAntecedent(preLoopLabel, currentFlow);
     currentFlow = finishFlowLabel(postLoopLabel);
@@ -51065,6 +51069,7 @@ function createTypeChecker(host) {
     getNumberLiteralType,
     getBigIntType: () => bigintType,
     getBigIntLiteralType,
+    getUnknownType: () => unknownType,
     createPromiseType,
     createArrayType,
     getElementTypeOfArrayType,
@@ -77733,7 +77738,6 @@ function createTypeChecker(host) {
     return links.immediateTarget;
   }
   function checkObjectLiteral(node, checkMode = 0 /* Normal */) {
-    var _a;
     const inDestructuringPattern = isAssignmentTarget(node);
     checkGrammarObjectLiteralExpression(node, inDestructuringPattern);
     const allPropertiesTable = strictNullChecks ? createSymbolTable() : void 0;
@@ -77807,14 +77811,6 @@ function createTypeChecker(host) {
         prop.links.target = member;
         member = prop;
         allPropertiesTable == null ? void 0 : allPropertiesTable.set(prop.escapedName, prop);
-        if (contextualType) {
-          forEach((_a = getPropertyOfType(contextualType, member.escapedName)) == null ? void 0 : _a.declarations, (declaration) => {
-            const symbol = getSymbolOfDeclaration(declaration);
-            if (isDeprecatedSymbol(symbol) && symbol.declarations && isTypeAssignableTo(type, getTypeOfSymbol(symbol))) {
-              addDeprecatedSuggestion(memberDecl.name, symbol.declarations, member.escapedName);
-            }
-          });
-        }
         if (contextualType && checkMode & 2 /* Inferential */ && !(checkMode & 4 /* SkipContextSensitive */) && (memberDecl.kind === 303 /* PropertyAssignment */ || memberDecl.kind === 174 /* MethodDeclaration */) && isContextSensitive(memberDecl)) {
           const inferenceContext = getInferenceContext(node);
           Debug.assert(inferenceContext);
@@ -117624,11 +117620,7 @@ function createGetIsolatedDeclarationErrors(resolver) {
     if (isSetAccessor(node.parent)) {
       return createAccessorTypeError(node.parent);
     }
-    const addUndefined = resolver.requiresAddingImplicitUndefined(
-      node,
-      /*enclosingDeclaration*/
-      void 0
-    );
+    const addUndefined = resolver.requiresAddingImplicitUndefined(node, node.parent);
     if (!addUndefined && node.initializer) {
       return createExpressionError(node.initializer);
     }
@@ -161646,6 +161638,8 @@ registerCodeFix({
             break;
           } else if (canDeleteEntireVariableStatement(sourceFile, token)) {
             deleteEntireVariableStatement(changes, sourceFile, token.parent);
+          } else if (isIdentifier(token) && isFunctionDeclaration(token.parent)) {
+            deleteFunctionLikeDeclaration(changes, sourceFile, token.parent);
           } else {
             tryDeleteDeclaration(
               sourceFile,
@@ -173135,7 +173129,7 @@ var Core;
         } else {
           addIfImplementation(body);
         }
-      } else if (isAssertionExpression(typeHavingNode)) {
+      } else if (isAssertionExpression(typeHavingNode) || isSatisfiesExpression(typeHavingNode)) {
         addIfImplementation(typeHavingNode.expression);
       }
     }
@@ -174367,22 +174361,24 @@ function provideInlayHints(context) {
     if (!signature) {
       return;
     }
-    for (let i = 0; i < node.parameters.length && i < signature.parameters.length; ++i) {
-      const param = node.parameters[i];
-      if (!isHintableDeclaration(param)) {
-        continue;
-      }
-      const effectiveTypeAnnotation = getEffectiveTypeAnnotationNode(param);
-      if (effectiveTypeAnnotation) {
-        continue;
+    let pos = 0;
+    for (const param of node.parameters) {
+      if (isHintableDeclaration(param)) {
+        addParameterTypeHint(param, parameterIsThisKeyword(param) ? signature.thisParameter : signature.parameters[pos]);
       }
-      const typeHints = getParameterDeclarationTypeHints(signature.parameters[i]);
-      if (!typeHints) {
+      if (parameterIsThisKeyword(param)) {
         continue;
       }
-      addTypeHints(typeHints, param.questionToken ? param.questionToken.end : param.name.end);
+      pos++;
     }
   }
+  function addParameterTypeHint(node, symbol) {
+    const effectiveTypeAnnotation = getEffectiveTypeAnnotationNode(node);
+    if (effectiveTypeAnnotation || symbol === void 0) return;
+    const typeHints = getParameterDeclarationTypeHints(symbol);
+    if (typeHints === void 0) return;
+    addTypeHints(typeHints, node.questionToken ? node.questionToken.end : node.name.end);
+  }
   function getParameterDeclarationTypeHints(symbol) {
     const valueDeclaration = symbol.valueDeclaration;
     if (!valueDeclaration || !isParameter(valueDeclaration)) {

package/package.json

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