@typescript-deploys/pr-build 5.4.0-pr-56911-7 → 5.4.0-pr-56907-6

package/lib/tsc.js

@@ -44254,19 +44254,6 @@ function createTypeChecker(host) {
     emptyArray
   );
   var unknownUnionType = strictNullChecks ? getUnionType([undefinedType, nullType, unknownEmptyObjectType]) : unknownType;
-  var keyofConstraintObjectType = createAnonymousType(
-    /*symbol*/
-    void 0,
-    emptySymbols,
-    emptyArray,
-    emptyArray,
-    [stringType, numberType, esSymbolType].map((t) => createIndexInfo(
-      t,
-      unknownType,
-      /*isReadonly*/
-      false
-    ))
-  );
   var emptyGenericType = createAnonymousType(
     /*symbol*/
     void 0,
@@ -54543,13 +54530,17 @@ function createTypeChecker(host) {
   function replaceIndexedAccess(instantiable, type, replacement) {
     return instantiateType(instantiable, createTypeMapper([type.indexType, type.objectType], [getNumberLiteralType(0), createTupleType([replacement])]));
   }
-  function getReverseMappedTypeMembersLimitingConstraint(type) {
+  function getLimitedConstraint(type) {
     const constraint = getConstraintTypeFromMappedType(type.mappedType);
-    if (constraint === type.constraintType) {
+    if (!(constraint.flags & 1048576 /* Union */ || constraint.flags & 2097152 /* Intersection */)) {
+      return;
+    }
+    const origin = constraint.flags & 1048576 /* Union */ ? constraint.origin : constraint;
+    if (!origin || !(origin.flags & 2097152 /* Intersection */)) {
       return;
     }
-    const mapper = appendTypeMapping(type.mappedType.mapper, type.constraintType.type, keyofConstraintObjectType);
-    return getBaseConstraintOrType(instantiateType(constraint, mapper));
+    const limitedConstraint = getIntersectionType(origin.types.filter((t) => t !== type.constraintType));
+    return limitedConstraint !== neverType ? limitedConstraint : void 0;
   }
   function resolveReverseMappedTypeMembers(type) {
     const indexInfo = getIndexInfoOfType(type.source, stringType);
@@ -54558,11 +54549,11 @@ function createTypeChecker(host) {
     const optionalMask = modifiers & 4 /* IncludeOptional */ ? 0 : 16777216 /* Optional */;
     const indexInfos = indexInfo ? [createIndexInfo(stringType, inferReverseMappedType(indexInfo.type, type.mappedType, type.constraintType), readonlyMask && indexInfo.isReadonly)] : emptyArray;
     const members = createSymbolTable();
-    const membersLimitingConstraint = getReverseMappedTypeMembersLimitingConstraint(type);
+    const limitedConstraint = getLimitedConstraint(type);
     for (const prop of getPropertiesOfType(type.source)) {
-      if (membersLimitingConstraint) {
+      if (limitedConstraint) {
         const propertyNameType = getLiteralTypeFromProperty(prop, 8576 /* StringOrNumberLiteralOrUnique */);
-        if (!isTypeAssignableTo(propertyNameType, membersLimitingConstraint)) {
+        if (!isTypeAssignableTo(propertyNameType, limitedConstraint)) {
           continue;
         }
       }
@@ -55661,7 +55652,7 @@ function createTypeChecker(host) {
       let hasThisParameter = false;
       const iife = getImmediatelyInvokedFunctionExpression(declaration);
       const isJSConstructSignature = isJSDocConstructSignature(declaration);
-      const isUntypedSignatureInJSFile = !iife && isInJSFile(declaration) && isValueSignatureDeclaration(declaration) && !hasJSDocParameterTags(declaration) && !getJSDocType(declaration);
+      const isUntypedSignatureInJSFile = !iife && isInJSFile(declaration) && isValueSignatureDeclaration(declaration) && !hasJSDocParameterTags(declaration) && !getJSDocType(declaration) && !getContextualSignatureForFunctionLikeDeclaration(declaration);
       if (isUntypedSignatureInJSFile) {
         flags |= 32 /* IsUntypedSignatureInJSFile */;
       }
@@ -64840,7 +64831,7 @@ function createTypeChecker(host) {
       }
     }
     function inferToMappedType(source, target, constraintType) {
-      if (constraintType.flags & 3145728 /* UnionOrIntersection */) {
+      if (constraintType.flags & 1048576 /* Union */ || constraintType.flags & 2097152 /* Intersection */) {
         let result = false;
         for (const type of constraintType.types) {
           result = inferToMappedType(source, target, type) || result;

package/lib/tsserver.js

@@ -48982,19 +48982,6 @@ function createTypeChecker(host) {
     emptyArray
   );
   var unknownUnionType = strictNullChecks ? getUnionType([undefinedType, nullType, unknownEmptyObjectType]) : unknownType;
-  var keyofConstraintObjectType = createAnonymousType(
-    /*symbol*/
-    void 0,
-    emptySymbols,
-    emptyArray,
-    emptyArray,
-    [stringType, numberType, esSymbolType].map((t) => createIndexInfo(
-      t,
-      unknownType,
-      /*isReadonly*/
-      false
-    ))
-  );
   var emptyGenericType = createAnonymousType(
     /*symbol*/
     void 0,
@@ -59271,13 +59258,17 @@ function createTypeChecker(host) {
   function replaceIndexedAccess(instantiable, type, replacement) {
     return instantiateType(instantiable, createTypeMapper([type.indexType, type.objectType], [getNumberLiteralType(0), createTupleType([replacement])]));
   }
-  function getReverseMappedTypeMembersLimitingConstraint(type) {
+  function getLimitedConstraint(type) {
     const constraint = getConstraintTypeFromMappedType(type.mappedType);
-    if (constraint === type.constraintType) {
+    if (!(constraint.flags & 1048576 /* Union */ || constraint.flags & 2097152 /* Intersection */)) {
+      return;
+    }
+    const origin = constraint.flags & 1048576 /* Union */ ? constraint.origin : constraint;
+    if (!origin || !(origin.flags & 2097152 /* Intersection */)) {
       return;
     }
-    const mapper = appendTypeMapping(type.mappedType.mapper, type.constraintType.type, keyofConstraintObjectType);
-    return getBaseConstraintOrType(instantiateType(constraint, mapper));
+    const limitedConstraint = getIntersectionType(origin.types.filter((t) => t !== type.constraintType));
+    return limitedConstraint !== neverType ? limitedConstraint : void 0;
   }
   function resolveReverseMappedTypeMembers(type) {
     const indexInfo = getIndexInfoOfType(type.source, stringType);
@@ -59286,11 +59277,11 @@ function createTypeChecker(host) {
     const optionalMask = modifiers & 4 /* IncludeOptional */ ? 0 : 16777216 /* Optional */;
     const indexInfos = indexInfo ? [createIndexInfo(stringType, inferReverseMappedType(indexInfo.type, type.mappedType, type.constraintType), readonlyMask && indexInfo.isReadonly)] : emptyArray;
     const members = createSymbolTable();
-    const membersLimitingConstraint = getReverseMappedTypeMembersLimitingConstraint(type);
+    const limitedConstraint = getLimitedConstraint(type);
     for (const prop of getPropertiesOfType(type.source)) {
-      if (membersLimitingConstraint) {
+      if (limitedConstraint) {
         const propertyNameType = getLiteralTypeFromProperty(prop, 8576 /* StringOrNumberLiteralOrUnique */);
-        if (!isTypeAssignableTo(propertyNameType, membersLimitingConstraint)) {
+        if (!isTypeAssignableTo(propertyNameType, limitedConstraint)) {
           continue;
         }
       }
@@ -60389,7 +60380,7 @@ function createTypeChecker(host) {
       let hasThisParameter2 = false;
       const iife = getImmediatelyInvokedFunctionExpression(declaration);
       const isJSConstructSignature = isJSDocConstructSignature(declaration);
-      const isUntypedSignatureInJSFile = !iife && isInJSFile(declaration) && isValueSignatureDeclaration(declaration) && !hasJSDocParameterTags(declaration) && !getJSDocType(declaration);
+      const isUntypedSignatureInJSFile = !iife && isInJSFile(declaration) && isValueSignatureDeclaration(declaration) && !hasJSDocParameterTags(declaration) && !getJSDocType(declaration) && !getContextualSignatureForFunctionLikeDeclaration(declaration);
       if (isUntypedSignatureInJSFile) {
         flags |= 32 /* IsUntypedSignatureInJSFile */;
       }
@@ -69568,7 +69559,7 @@ function createTypeChecker(host) {
       }
     }
     function inferToMappedType(source, target, constraintType) {
-      if (constraintType.flags & 3145728 /* UnionOrIntersection */) {
+      if (constraintType.flags & 1048576 /* Union */ || constraintType.flags & 2097152 /* Intersection */) {
         let result = false;
         for (const type of constraintType.types) {
           result = inferToMappedType(source, target, type) || result;

package/lib/typescript.js

@@ -46736,19 +46736,6 @@ ${lanes.join("\n")}
       emptyArray
     );
     var unknownUnionType = strictNullChecks ? getUnionType([undefinedType, nullType, unknownEmptyObjectType]) : unknownType;
-    var keyofConstraintObjectType = createAnonymousType(
-      /*symbol*/
-      void 0,
-      emptySymbols,
-      emptyArray,
-      emptyArray,
-      [stringType, numberType, esSymbolType].map((t) => createIndexInfo(
-        t,
-        unknownType,
-        /*isReadonly*/
-        false
-      ))
-    );
     var emptyGenericType = createAnonymousType(
       /*symbol*/
       void 0,
@@ -57025,13 +57012,17 @@ ${lanes.join("\n")}
     function replaceIndexedAccess(instantiable, type, replacement) {
       return instantiateType(instantiable, createTypeMapper([type.indexType, type.objectType], [getNumberLiteralType(0), createTupleType([replacement])]));
     }
-    function getReverseMappedTypeMembersLimitingConstraint(type) {
+    function getLimitedConstraint(type) {
       const constraint = getConstraintTypeFromMappedType(type.mappedType);
-      if (constraint === type.constraintType) {
+      if (!(constraint.flags & 1048576 /* Union */ || constraint.flags & 2097152 /* Intersection */)) {
+        return;
+      }
+      const origin = constraint.flags & 1048576 /* Union */ ? constraint.origin : constraint;
+      if (!origin || !(origin.flags & 2097152 /* Intersection */)) {
         return;
       }
-      const mapper = appendTypeMapping(type.mappedType.mapper, type.constraintType.type, keyofConstraintObjectType);
-      return getBaseConstraintOrType(instantiateType(constraint, mapper));
+      const limitedConstraint = getIntersectionType(origin.types.filter((t) => t !== type.constraintType));
+      return limitedConstraint !== neverType ? limitedConstraint : void 0;
     }
     function resolveReverseMappedTypeMembers(type) {
       const indexInfo = getIndexInfoOfType(type.source, stringType);
@@ -57040,11 +57031,11 @@ ${lanes.join("\n")}
       const optionalMask = modifiers & 4 /* IncludeOptional */ ? 0 : 16777216 /* Optional */;
       const indexInfos = indexInfo ? [createIndexInfo(stringType, inferReverseMappedType(indexInfo.type, type.mappedType, type.constraintType), readonlyMask && indexInfo.isReadonly)] : emptyArray;
       const members = createSymbolTable();
-      const membersLimitingConstraint = getReverseMappedTypeMembersLimitingConstraint(type);
+      const limitedConstraint = getLimitedConstraint(type);
       for (const prop of getPropertiesOfType(type.source)) {
-        if (membersLimitingConstraint) {
+        if (limitedConstraint) {
           const propertyNameType = getLiteralTypeFromProperty(prop, 8576 /* StringOrNumberLiteralOrUnique */);
-          if (!isTypeAssignableTo(propertyNameType, membersLimitingConstraint)) {
+          if (!isTypeAssignableTo(propertyNameType, limitedConstraint)) {
             continue;
           }
         }
@@ -58143,7 +58134,7 @@ ${lanes.join("\n")}
         let hasThisParameter2 = false;
         const iife = getImmediatelyInvokedFunctionExpression(declaration);
         const isJSConstructSignature = isJSDocConstructSignature(declaration);
-        const isUntypedSignatureInJSFile = !iife && isInJSFile(declaration) && isValueSignatureDeclaration(declaration) && !hasJSDocParameterTags(declaration) && !getJSDocType(declaration);
+        const isUntypedSignatureInJSFile = !iife && isInJSFile(declaration) && isValueSignatureDeclaration(declaration) && !hasJSDocParameterTags(declaration) && !getJSDocType(declaration) && !getContextualSignatureForFunctionLikeDeclaration(declaration);
         if (isUntypedSignatureInJSFile) {
           flags |= 32 /* IsUntypedSignatureInJSFile */;
         }
@@ -67322,7 +67313,7 @@ ${lanes.join("\n")}
         }
       }
       function inferToMappedType(source, target, constraintType) {
-        if (constraintType.flags & 3145728 /* UnionOrIntersection */) {
+        if (constraintType.flags & 1048576 /* Union */ || constraintType.flags & 2097152 /* Intersection */) {
           let result = false;
           for (const type of constraintType.types) {
             result = inferToMappedType(source, target, type) || result;

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-56911-7",
+  "version": "5.4.0-pr-56907-6",
   "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": "3baf3b4e1804f2f32ace0d49b294bcf08f3ee314"
+  "gitHead": "7b4764f94bcf7c612b152c1231f62d5b2c8c983a"
 }