@typescript-deploys/pr-build 5.4.0-pr-56878-6 → 5.4.0-pr-56859-8

package/lib/tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.4";
-var version = `${versionMajorMinor}.0-insiders.20240104`;
+var version = `${versionMajorMinor}.0-insiders.20240105`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -73887,6 +73887,9 @@ function createTypeChecker(host) {
     let fallbackReturnType = voidType;
     if (func.body.kind !== 241 /* Block */) {
       returnType = checkExpressionCached(func.body, checkMode && checkMode & ~8 /* SkipGenericFunctions */);
+      if (isConstContext(func.body)) {
+        returnType = getRegularTypeOfLiteralType(returnType);
+      }
       if (isAsync) {
         returnType = unwrapAwaitedType(checkAwaitedType(
           returnType,
@@ -74019,7 +74022,10 @@ function createTypeChecker(host) {
     const nextTypes = [];
     const isAsync = (getFunctionFlags(func) & 2 /* Async */) !== 0;
     forEachYieldExpression(func.body, (yieldExpression) => {
-      const yieldExpressionType = yieldExpression.expression ? checkExpression(yieldExpression.expression, checkMode) : undefinedWideningType;
+      let yieldExpressionType = yieldExpression.expression ? checkExpression(yieldExpression.expression, checkMode) : undefinedWideningType;
+      if (yieldExpression.expression && isConstContext(yieldExpression.expression)) {
+        yieldExpressionType = getRegularTypeOfLiteralType(yieldExpressionType);
+      }
       pushIfUnique(yieldTypes, getYieldedTypeOfYieldExpression(yieldExpression, yieldExpressionType, anyType, isAsync));
       let nextType;
       if (yieldExpression.asteriskToken) {
@@ -74134,7 +74140,7 @@ function createTypeChecker(host) {
         if (type.flags & 131072 /* Never */) {
           hasReturnOfTypeNever = true;
         }
-        pushIfUnique(aggregatedTypes, type);
+        pushIfUnique(aggregatedTypes, isConstContext(expr) ? getRegularTypeOfLiteralType(type) : type);
       } else {
         hasReturnWithNoExpression = true;
       }
@@ -76770,7 +76776,7 @@ function createTypeChecker(host) {
       return type;
     }
     const apparentObjectType = getApparentType(objectType);
-    if (getIndexInfoOfType(apparentObjectType, numberType) && isApplicableIndexType(indexType, numberType)) {
+    if (getIndexInfoOfType(apparentObjectType, numberType) && isTypeAssignableToKind(indexType, 296 /* NumberLike */)) {
       return type;
     }
     if (isGenericObjectType(objectType)) {

package/lib/tsserver.js

@@ -2341,7 +2341,7 @@ module.exports = __toCommonJS(server_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.4";
-var version = `${versionMajorMinor}.0-insiders.20240104`;
+var version = `${versionMajorMinor}.0-insiders.20240105`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -78615,6 +78615,9 @@ function createTypeChecker(host) {
     let fallbackReturnType = voidType;
     if (func.body.kind !== 241 /* Block */) {
       returnType = checkExpressionCached(func.body, checkMode && checkMode & ~8 /* SkipGenericFunctions */);
+      if (isConstContext(func.body)) {
+        returnType = getRegularTypeOfLiteralType(returnType);
+      }
       if (isAsync) {
         returnType = unwrapAwaitedType(checkAwaitedType(
           returnType,
@@ -78747,7 +78750,10 @@ function createTypeChecker(host) {
     const nextTypes = [];
     const isAsync = (getFunctionFlags(func) & 2 /* Async */) !== 0;
     forEachYieldExpression(func.body, (yieldExpression) => {
-      const yieldExpressionType = yieldExpression.expression ? checkExpression(yieldExpression.expression, checkMode) : undefinedWideningType;
+      let yieldExpressionType = yieldExpression.expression ? checkExpression(yieldExpression.expression, checkMode) : undefinedWideningType;
+      if (yieldExpression.expression && isConstContext(yieldExpression.expression)) {
+        yieldExpressionType = getRegularTypeOfLiteralType(yieldExpressionType);
+      }
       pushIfUnique(yieldTypes, getYieldedTypeOfYieldExpression(yieldExpression, yieldExpressionType, anyType, isAsync));
       let nextType;
       if (yieldExpression.asteriskToken) {
@@ -78862,7 +78868,7 @@ function createTypeChecker(host) {
         if (type.flags & 131072 /* Never */) {
           hasReturnOfTypeNever = true;
         }
-        pushIfUnique(aggregatedTypes, type);
+        pushIfUnique(aggregatedTypes, isConstContext(expr) ? getRegularTypeOfLiteralType(type) : type);
       } else {
         hasReturnWithNoExpression = true;
       }
@@ -81498,7 +81504,7 @@ function createTypeChecker(host) {
       return type;
     }
     const apparentObjectType = getApparentType(objectType);
-    if (getIndexInfoOfType(apparentObjectType, numberType) && isApplicableIndexType(indexType, numberType)) {
+    if (getIndexInfoOfType(apparentObjectType, numberType) && isTypeAssignableToKind(indexType, 296 /* NumberLike */)) {
       return type;
     }
     if (isGenericObjectType(objectType)) {
@@ -139962,11 +139968,9 @@ registerRefactor(refactorName3, {
 function getRangeToExtract(context, considerEmptySpans = true) {
   const { file, startPosition } = context;
   const isJS = isSourceFileJS(file);
-  const current = getTokenAtPosition(file, startPosition);
   const range = createTextRangeFromSpan(getRefactorContextSpan(context));
-  const cursorRequest = range.pos === range.end && considerEmptySpans;
-  const overlappingRange = nodeOverlapsWithStartEnd(current, file, range.pos, range.end);
-  const firstType = findAncestor(current, (node) => node.parent && isTypeNode(node) && !rangeContainsSkipTrivia(range, node.parent, file) && (cursorRequest || overlappingRange));
+  const isCursorRequest = range.pos === range.end && considerEmptySpans;
+  const firstType = getFirstTypeAt(file, startPosition, range, isCursorRequest);
   if (!firstType || !isTypeNode(firstType))
     return { error: getLocaleSpecificMessage(Diagnostics.Selection_is_not_a_valid_type_node) };
   const checker = context.program.getTypeChecker();
@@ -139992,6 +139996,21 @@ function getRangeToExtract(context, considerEmptySpans = true) {
   const typeElements = flattenTypeLiteralNodeReference(checker, selection);
   return { isJS, selection, enclosingNode, typeParameters, typeElements };
 }
+function getFirstTypeAt(file, startPosition, range, isCursorRequest) {
+  const currentNodes = [
+    () => getTokenAtPosition(file, startPosition),
+    () => getTouchingToken(file, startPosition, () => true)
+  ];
+  for (const f of currentNodes) {
+    const current = f();
+    const overlappingRange = nodeOverlapsWithStartEnd(current, file, range.pos, range.end);
+    const firstType = findAncestor(current, (node) => node.parent && isTypeNode(node) && !rangeContainsSkipTrivia(range, node.parent, file) && (isCursorRequest || overlappingRange));
+    if (firstType) {
+      return firstType;
+    }
+  }
+  return void 0;
+}
 function flattenTypeLiteralNodeReference(checker, selection) {
   if (!selection)
     return void 0;

package/lib/typescript.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.4";
-      version = `${versionMajorMinor}.0-insiders.20240104`;
+      version = `${versionMajorMinor}.0-insiders.20240105`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -76369,6 +76369,9 @@ ${lanes.join("\n")}
       let fallbackReturnType = voidType;
       if (func.body.kind !== 241 /* Block */) {
         returnType = checkExpressionCached(func.body, checkMode && checkMode & ~8 /* SkipGenericFunctions */);
+        if (isConstContext(func.body)) {
+          returnType = getRegularTypeOfLiteralType(returnType);
+        }
         if (isAsync) {
           returnType = unwrapAwaitedType(checkAwaitedType(
             returnType,
@@ -76501,7 +76504,10 @@ ${lanes.join("\n")}
       const nextTypes = [];
       const isAsync = (getFunctionFlags(func) & 2 /* Async */) !== 0;
       forEachYieldExpression(func.body, (yieldExpression) => {
-        const yieldExpressionType = yieldExpression.expression ? checkExpression(yieldExpression.expression, checkMode) : undefinedWideningType;
+        let yieldExpressionType = yieldExpression.expression ? checkExpression(yieldExpression.expression, checkMode) : undefinedWideningType;
+        if (yieldExpression.expression && isConstContext(yieldExpression.expression)) {
+          yieldExpressionType = getRegularTypeOfLiteralType(yieldExpressionType);
+        }
         pushIfUnique(yieldTypes, getYieldedTypeOfYieldExpression(yieldExpression, yieldExpressionType, anyType, isAsync));
         let nextType;
         if (yieldExpression.asteriskToken) {
@@ -76616,7 +76622,7 @@ ${lanes.join("\n")}
           if (type.flags & 131072 /* Never */) {
             hasReturnOfTypeNever = true;
           }
-          pushIfUnique(aggregatedTypes, type);
+          pushIfUnique(aggregatedTypes, isConstContext(expr) ? getRegularTypeOfLiteralType(type) : type);
         } else {
           hasReturnWithNoExpression = true;
         }
@@ -79252,7 +79258,7 @@ ${lanes.join("\n")}
         return type;
       }
       const apparentObjectType = getApparentType(objectType);
-      if (getIndexInfoOfType(apparentObjectType, numberType) && isApplicableIndexType(indexType, numberType)) {
+      if (getIndexInfoOfType(apparentObjectType, numberType) && isTypeAssignableToKind(indexType, 296 /* NumberLike */)) {
         return type;
       }
       if (isGenericObjectType(objectType)) {
@@ -138260,11 +138266,9 @@ ${lanes.join("\n")}
   function getRangeToExtract(context, considerEmptySpans = true) {
     const { file, startPosition } = context;
     const isJS = isSourceFileJS(file);
-    const current = getTokenAtPosition(file, startPosition);
     const range = createTextRangeFromSpan(getRefactorContextSpan(context));
-    const cursorRequest = range.pos === range.end && considerEmptySpans;
-    const overlappingRange = nodeOverlapsWithStartEnd(current, file, range.pos, range.end);
-    const firstType = findAncestor(current, (node) => node.parent && isTypeNode(node) && !rangeContainsSkipTrivia(range, node.parent, file) && (cursorRequest || overlappingRange));
+    const isCursorRequest = range.pos === range.end && considerEmptySpans;
+    const firstType = getFirstTypeAt(file, startPosition, range, isCursorRequest);
     if (!firstType || !isTypeNode(firstType))
       return { error: getLocaleSpecificMessage(Diagnostics.Selection_is_not_a_valid_type_node) };
     const checker = context.program.getTypeChecker();
@@ -138290,6 +138294,21 @@ ${lanes.join("\n")}
     const typeElements = flattenTypeLiteralNodeReference(checker, selection);
     return { isJS, selection, enclosingNode, typeParameters, typeElements };
   }
+  function getFirstTypeAt(file, startPosition, range, isCursorRequest) {
+    const currentNodes = [
+      () => getTokenAtPosition(file, startPosition),
+      () => getTouchingToken(file, startPosition, () => true)
+    ];
+    for (const f of currentNodes) {
+      const current = f();
+      const overlappingRange = nodeOverlapsWithStartEnd(current, file, range.pos, range.end);
+      const firstType = findAncestor(current, (node) => node.parent && isTypeNode(node) && !rangeContainsSkipTrivia(range, node.parent, file) && (isCursorRequest || overlappingRange));
+      if (firstType) {
+        return firstType;
+      }
+    }
+    return void 0;
+  }
   function flattenTypeLiteralNodeReference(checker, selection) {
     if (!selection)
       return void 0;

package/lib/typingsInstaller.js

@@ -54,7 +54,7 @@ var path = __toESM(require("path"));
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.4";
-var version = `${versionMajorMinor}.0-insiders.20240104`;
+var version = `${versionMajorMinor}.0-insiders.20240105`;
 
 // 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.4.0-pr-56878-6",
+  "version": "5.4.0-pr-56859-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": "5a05f78d175d6dff8785929533135d4603e5b4c8"
+  "gitHead": "8f655f85c9fd59b743309dc0ade1e183c9f8ffc2"
 }