@typescript-deploys/pr-build 5.0.0-pr-52866-6 → 5.0.0-pr-49107-5

package/lib/tsc.js

@@ -23,7 +23,7 @@ var __export = (target, all) => {
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.0";
-var version = `${versionMajorMinor}.0-insiders.20230220`;
+var version = `${versionMajorMinor}.0-insiders.20230221`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -15744,9 +15744,6 @@ function getClassLikeDeclarationOfSymbol(symbol) {
 function getObjectFlags(type) {
   return type.flags & 3899393 /* ObjectFlagsType */ ? type.objectFlags : 0;
 }
-function typeHasCallOrConstructSignatures(type, checker) {
-  return checker.getSignaturesOfType(type, 0 /* Call */).length !== 0 || checker.getSignaturesOfType(type, 1 /* Construct */).length !== 0;
-}
 function isUMDExportSymbol(symbol) {
   return !!symbol && !!symbol.declarations && !!symbol.declarations[0] && isNamespaceExportDeclaration(symbol.declarations[0]);
 }
@@ -42989,7 +42986,8 @@ function createTypeChecker(host) {
     isPropertyAccessible,
     getTypeOnlyAliasDeclaration,
     getMemberOverrideModifierStatus,
-    isTypeParameterPossiblyReferenced
+    isTypeParameterPossiblyReferenced,
+    typeHasCallOrConstructSignatures
   };
   function runWithoutResolvedSignatureCaching(node, fn) {
     const containingCall = findAncestor(node, isCallLikeExpression);
@@ -50496,7 +50494,7 @@ function createTypeChecker(host) {
   }
   function findResolutionCycleStartIndex(target, propertyName) {
     for (let i = resolutionTargets.length - 1; i >= 0; i--) {
-      if (hasType2(resolutionTargets[i], resolutionPropertyNames[i])) {
+      if (resolutionTargetHasProperty(resolutionTargets[i], resolutionPropertyNames[i])) {
         return -1;
       }
       if (resolutionTargets[i] === target && resolutionPropertyNames[i] === propertyName) {
@@ -50505,7 +50503,7 @@ function createTypeChecker(host) {
     }
     return -1;
   }
-  function hasType2(target, propertyName) {
+  function resolutionTargetHasProperty(target, propertyName) {
     switch (propertyName) {
       case 0 /* Type */:
         return !!getSymbolLinks(target).type;
@@ -53542,6 +53540,20 @@ function createTypeChecker(host) {
         return t.flags & 1048576 /* Union */ && baseTypes.length === types.length ? getUnionType(baseTypes) : t.flags & 2097152 /* Intersection */ && baseTypes.length ? getIntersectionType(baseTypes) : void 0;
       }
       if (t.flags & 4194304 /* Index */) {
+        if (t.type.flags & 8388608 /* IndexedAccess */) {
+          const indexedAccess = t.type;
+          if (!isGenericObjectType(indexedAccess.objectType)) {
+            const baseIndexType = getBaseConstraint(indexedAccess.indexType);
+            const indexedAccessType = baseIndexType && getIndexedAccessTypeOrUndefined(indexedAccess.objectType, baseIndexType);
+            const mappedIndexTypeOfIndexedAccess = indexedAccessType && mapType(indexedAccessType, getIndexType);
+            const narrowed = mappedIndexTypeOfIndexedAccess && filterType(keyofConstraintType, (t2) => {
+              return !(getIntersectionType([t2, mappedIndexTypeOfIndexedAccess]).flags & 131072 /* Never */);
+            });
+            if (narrowed) {
+              return narrowed;
+            }
+          }
+        }
         return keyofConstraintType;
       }
       if (t.flags & 134217728 /* TemplateLiteral */) {
@@ -56913,7 +56925,7 @@ function createTypeChecker(host) {
   }
   function getActualTypeVariable(type) {
     if (type.flags & 33554432 /* Substitution */) {
-      return type.baseType;
+      return getActualTypeVariable(type.baseType);
     }
     if (type.flags & 8388608 /* IndexedAccess */ && (type.objectType.flags & 33554432 /* Substitution */ || type.indexType.flags & 33554432 /* Substitution */)) {
       return getIndexedAccessType(getActualTypeVariable(type.objectType), getActualTypeVariable(type.indexType));
@@ -59406,7 +59418,7 @@ function createTypeChecker(host) {
             return 0 /* False */;
           }
         }
-        const isPerformingCommonPropertyChecks = (relation !== comparableRelation || isUnitType(source2)) && !(intersectionState & 2 /* Target */) && source2.flags & (134348796 /* Primitive */ | 524288 /* Object */ | 2097152 /* Intersection */) && source2 !== globalObjectType && target2.flags & (524288 /* Object */ | 2097152 /* Intersection */) && isWeakType(target2) && (getPropertiesOfType(source2).length > 0 || typeHasCallOrConstructSignatures2(source2));
+        const isPerformingCommonPropertyChecks = (relation !== comparableRelation || isUnitType(source2)) && !(intersectionState & 2 /* Target */) && source2.flags & (134348796 /* Primitive */ | 524288 /* Object */ | 2097152 /* Intersection */) && source2 !== globalObjectType && target2.flags & (524288 /* Object */ | 2097152 /* Intersection */) && isWeakType(target2) && (getPropertiesOfType(source2).length > 0 || typeHasCallOrConstructSignatures(source2));
         const isComparingJsxAttributes = !!(getObjectFlags(source2) & 2048 /* JsxAttributes */);
         if (isPerformingCommonPropertyChecks && !hasCommonProperties(source2, target2, isComparingJsxAttributes)) {
           if (reportErrors2) {
@@ -62004,7 +62016,7 @@ function createTypeChecker(host) {
   }
   function isObjectTypeWithInferableIndex(type) {
     const objectFlags = getObjectFlags(type);
-    return type.flags & 2097152 /* Intersection */ ? every(type.types, isObjectTypeWithInferableIndex) : !!(type.symbol && (type.symbol.flags & (4096 /* ObjectLiteral */ | 2048 /* TypeLiteral */ | 384 /* Enum */ | 512 /* ValueModule */)) !== 0 && !(type.symbol.flags & 32 /* Class */) && !typeHasCallOrConstructSignatures2(type)) || !!(objectFlags & 4194304 /* ObjectRestType */) || !!(objectFlags & 1024 /* ReverseMapped */ && isObjectTypeWithInferableIndex(type.source));
+    return type.flags & 2097152 /* Intersection */ ? every(type.types, isObjectTypeWithInferableIndex) : !!(type.symbol && (type.symbol.flags & (4096 /* ObjectLiteral */ | 2048 /* TypeLiteral */ | 384 /* Enum */ | 512 /* ValueModule */)) !== 0 && !(type.symbol.flags & 32 /* Class */) && !typeHasCallOrConstructSignatures(type)) || !!(objectFlags & 4194304 /* ObjectRestType */) || !!(objectFlags & 1024 /* ReverseMapped */ && isObjectTypeWithInferableIndex(type.source));
   }
   function createSymbolWithType(source, type) {
     const symbol = createSymbol(source.flags, source.escapedName, getCheckFlags(source) & 8 /* Readonly */);
@@ -66706,20 +66718,17 @@ function createTypeChecker(host) {
       contextualType
     );
   }
-  function getDiscriminatedApparentType(node, type) {
-    const apparentType = mapType(
-      type,
-      getApparentType,
-      /*noReductions*/
-      true
-    );
-    return apparentType.flags & 1048576 /* Union */ && isObjectLiteralExpression(node) ? discriminateContextualTypeByObjectMembers(node, apparentType) : apparentType.flags & 1048576 /* Union */ && isJsxAttributes(node) ? discriminateContextualTypeByJSXAttributes(node, apparentType) : apparentType;
-  }
   function getApparentTypeOfContextualType(node, contextFlags) {
     const contextualType = isObjectLiteralMethod(node) ? getContextualTypeForObjectLiteralMethod(node, contextFlags) : getContextualType(node, contextFlags);
     const instantiatedType = instantiateContextualType(contextualType, node, contextFlags);
     if (instantiatedType && !(contextFlags && contextFlags & 2 /* NoConstraints */ && instantiatedType.flags & 8650752 /* TypeVariable */)) {
-      return getDiscriminatedApparentType(node, instantiatedType);
+      const apparentType = mapType(
+        instantiatedType,
+        getApparentType,
+        /*noReductions*/
+        true
+      );
+      return apparentType.flags & 1048576 /* Union */ && isObjectLiteralExpression(node) ? discriminateContextualTypeByObjectMembers(node, apparentType) : apparentType.flags & 1048576 /* Union */ && isJsxAttributes(node) ? discriminateContextualTypeByJSXAttributes(node, apparentType) : apparentType;
     }
   }
   function instantiateContextualType(contextualType, node, contextFlags) {
@@ -69124,8 +69133,7 @@ function createTypeChecker(host) {
           const isFromBindingPattern = !skipBindingPatterns && getContextualType(node, 8 /* SkipBindingPatterns */) !== contextualType;
           if (!isFromBindingPattern) {
             const outerMapper = getMapperFromContext(cloneInferenceContext(outerContext, 1 /* NoDefault */));
-            const argumentApparentType = outerContext && isCallOrNewExpression(node.parent) && getDiscriminatedApparentType(node, contextualType);
-            const instantiatedType = instantiateType(argumentApparentType && argumentApparentType !== unknownType ? argumentApparentType : contextualType, outerMapper);
+            const instantiatedType = instantiateType(contextualType, outerMapper);
             const contextualSignature = getSingleCallSignature(instantiatedType);
             const inferenceSourceType = contextualSignature && contextualSignature.typeParameters ? getOrCreateTypeFromSignature(getSignatureInstantiationWithoutFillingInTypeArguments(contextualSignature, contextualSignature.typeParameters)) : instantiatedType;
             inferTypes(context.inferences, inferenceSourceType, inferenceTargetType, 128 /* ReturnType */);
@@ -72453,7 +72461,7 @@ function createTypeChecker(host) {
     if (!isTypeAny(leftType) && allTypesAssignableToKind(leftType, 134348796 /* Primitive */)) {
       error(left, Diagnostics.The_left_hand_side_of_an_instanceof_expression_must_be_of_type_any_an_object_type_or_a_type_parameter);
     }
-    if (!(isTypeAny(rightType) || typeHasCallOrConstructSignatures2(rightType) || isTypeSubtypeOf(rightType, globalFunctionType))) {
+    if (!(isTypeAny(rightType) || typeHasCallOrConstructSignatures(rightType) || isTypeSubtypeOf(rightType, globalFunctionType))) {
       error(right, Diagnostics.The_right_hand_side_of_an_instanceof_expression_must_be_of_type_any_or_of_a_type_assignable_to_the_Function_interface_type);
     }
     return booleanType;
@@ -80124,8 +80132,8 @@ function createTypeChecker(host) {
     }
     return getNamedMembers(propsByName);
   }
-  function typeHasCallOrConstructSignatures2(type) {
-    return typeHasCallOrConstructSignatures(type, checker);
+  function typeHasCallOrConstructSignatures(type) {
+    return getSignaturesOfType(type, 0 /* Call */).length !== 0 || getSignaturesOfType(type, 1 /* Construct */).length !== 0;
   }
   function getRootSymbols(symbol) {
     const roots = getImmediateRootSymbols(symbol);

package/lib/tsserver.js

@@ -2233,7 +2233,6 @@ __export(server_exports, {
   typeAcquisitionDeclarations: () => typeAcquisitionDeclarations,
   typeAliasNamePart: () => typeAliasNamePart,
   typeDirectiveIsEqualTo: () => typeDirectiveIsEqualTo,
-  typeHasCallOrConstructSignatures: () => typeHasCallOrConstructSignatures,
   typeKeywords: () => typeKeywords,
   typeParameterNamePart: () => typeParameterNamePart,
   typeReferenceResolutionNameAndModeGetter: () => typeReferenceResolutionNameAndModeGetter,
@@ -2288,7 +2287,7 @@ module.exports = __toCommonJS(server_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.0";
-var version = `${versionMajorMinor}.0-insiders.20230220`;
+var version = `${versionMajorMinor}.0-insiders.20230221`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -19751,9 +19750,6 @@ function getClassLikeDeclarationOfSymbol(symbol) {
 function getObjectFlags(type) {
   return type.flags & 3899393 /* ObjectFlagsType */ ? type.objectFlags : 0;
 }
-function typeHasCallOrConstructSignatures(type, checker) {
-  return checker.getSignaturesOfType(type, 0 /* Call */).length !== 0 || checker.getSignaturesOfType(type, 1 /* Construct */).length !== 0;
-}
 function forSomeAncestorDirectory(directory, callback) {
   return !!forEachAncestorDirectory(directory, (d) => callback(d) ? true : void 0);
 }
@@ -47596,7 +47592,8 @@ function createTypeChecker(host) {
     isPropertyAccessible,
     getTypeOnlyAliasDeclaration,
     getMemberOverrideModifierStatus,
-    isTypeParameterPossiblyReferenced
+    isTypeParameterPossiblyReferenced,
+    typeHasCallOrConstructSignatures
   };
   function runWithoutResolvedSignatureCaching(node, fn) {
     const containingCall = findAncestor(node, isCallLikeExpression);
@@ -55103,7 +55100,7 @@ function createTypeChecker(host) {
   }
   function findResolutionCycleStartIndex(target, propertyName) {
     for (let i = resolutionTargets.length - 1; i >= 0; i--) {
-      if (hasType2(resolutionTargets[i], resolutionPropertyNames[i])) {
+      if (resolutionTargetHasProperty(resolutionTargets[i], resolutionPropertyNames[i])) {
         return -1;
       }
       if (resolutionTargets[i] === target && resolutionPropertyNames[i] === propertyName) {
@@ -55112,7 +55109,7 @@ function createTypeChecker(host) {
     }
     return -1;
   }
-  function hasType2(target, propertyName) {
+  function resolutionTargetHasProperty(target, propertyName) {
     switch (propertyName) {
       case 0 /* Type */:
         return !!getSymbolLinks(target).type;
@@ -58149,6 +58146,20 @@ function createTypeChecker(host) {
         return t.flags & 1048576 /* Union */ && baseTypes.length === types.length ? getUnionType(baseTypes) : t.flags & 2097152 /* Intersection */ && baseTypes.length ? getIntersectionType(baseTypes) : void 0;
       }
       if (t.flags & 4194304 /* Index */) {
+        if (t.type.flags & 8388608 /* IndexedAccess */) {
+          const indexedAccess = t.type;
+          if (!isGenericObjectType(indexedAccess.objectType)) {
+            const baseIndexType = getBaseConstraint(indexedAccess.indexType);
+            const indexedAccessType = baseIndexType && getIndexedAccessTypeOrUndefined(indexedAccess.objectType, baseIndexType);
+            const mappedIndexTypeOfIndexedAccess = indexedAccessType && mapType(indexedAccessType, getIndexType);
+            const narrowed = mappedIndexTypeOfIndexedAccess && filterType(keyofConstraintType, (t2) => {
+              return !(getIntersectionType([t2, mappedIndexTypeOfIndexedAccess]).flags & 131072 /* Never */);
+            });
+            if (narrowed) {
+              return narrowed;
+            }
+          }
+        }
         return keyofConstraintType;
       }
       if (t.flags & 134217728 /* TemplateLiteral */) {
@@ -61520,7 +61531,7 @@ function createTypeChecker(host) {
   }
   function getActualTypeVariable(type) {
     if (type.flags & 33554432 /* Substitution */) {
-      return type.baseType;
+      return getActualTypeVariable(type.baseType);
     }
     if (type.flags & 8388608 /* IndexedAccess */ && (type.objectType.flags & 33554432 /* Substitution */ || type.indexType.flags & 33554432 /* Substitution */)) {
       return getIndexedAccessType(getActualTypeVariable(type.objectType), getActualTypeVariable(type.indexType));
@@ -64013,7 +64024,7 @@ function createTypeChecker(host) {
             return 0 /* False */;
           }
         }
-        const isPerformingCommonPropertyChecks = (relation !== comparableRelation || isUnitType(source2)) && !(intersectionState & 2 /* Target */) && source2.flags & (134348796 /* Primitive */ | 524288 /* Object */ | 2097152 /* Intersection */) && source2 !== globalObjectType && target2.flags & (524288 /* Object */ | 2097152 /* Intersection */) && isWeakType(target2) && (getPropertiesOfType(source2).length > 0 || typeHasCallOrConstructSignatures2(source2));
+        const isPerformingCommonPropertyChecks = (relation !== comparableRelation || isUnitType(source2)) && !(intersectionState & 2 /* Target */) && source2.flags & (134348796 /* Primitive */ | 524288 /* Object */ | 2097152 /* Intersection */) && source2 !== globalObjectType && target2.flags & (524288 /* Object */ | 2097152 /* Intersection */) && isWeakType(target2) && (getPropertiesOfType(source2).length > 0 || typeHasCallOrConstructSignatures(source2));
         const isComparingJsxAttributes = !!(getObjectFlags(source2) & 2048 /* JsxAttributes */);
         if (isPerformingCommonPropertyChecks && !hasCommonProperties(source2, target2, isComparingJsxAttributes)) {
           if (reportErrors2) {
@@ -66611,7 +66622,7 @@ function createTypeChecker(host) {
   }
   function isObjectTypeWithInferableIndex(type) {
     const objectFlags = getObjectFlags(type);
-    return type.flags & 2097152 /* Intersection */ ? every(type.types, isObjectTypeWithInferableIndex) : !!(type.symbol && (type.symbol.flags & (4096 /* ObjectLiteral */ | 2048 /* TypeLiteral */ | 384 /* Enum */ | 512 /* ValueModule */)) !== 0 && !(type.symbol.flags & 32 /* Class */) && !typeHasCallOrConstructSignatures2(type)) || !!(objectFlags & 4194304 /* ObjectRestType */) || !!(objectFlags & 1024 /* ReverseMapped */ && isObjectTypeWithInferableIndex(type.source));
+    return type.flags & 2097152 /* Intersection */ ? every(type.types, isObjectTypeWithInferableIndex) : !!(type.symbol && (type.symbol.flags & (4096 /* ObjectLiteral */ | 2048 /* TypeLiteral */ | 384 /* Enum */ | 512 /* ValueModule */)) !== 0 && !(type.symbol.flags & 32 /* Class */) && !typeHasCallOrConstructSignatures(type)) || !!(objectFlags & 4194304 /* ObjectRestType */) || !!(objectFlags & 1024 /* ReverseMapped */ && isObjectTypeWithInferableIndex(type.source));
   }
   function createSymbolWithType(source, type) {
     const symbol = createSymbol(source.flags, source.escapedName, getCheckFlags(source) & 8 /* Readonly */);
@@ -71313,20 +71324,17 @@ function createTypeChecker(host) {
       contextualType
     );
   }
-  function getDiscriminatedApparentType(node, type) {
-    const apparentType = mapType(
-      type,
-      getApparentType,
-      /*noReductions*/
-      true
-    );
-    return apparentType.flags & 1048576 /* Union */ && isObjectLiteralExpression(node) ? discriminateContextualTypeByObjectMembers(node, apparentType) : apparentType.flags & 1048576 /* Union */ && isJsxAttributes(node) ? discriminateContextualTypeByJSXAttributes(node, apparentType) : apparentType;
-  }
   function getApparentTypeOfContextualType(node, contextFlags) {
     const contextualType = isObjectLiteralMethod(node) ? getContextualTypeForObjectLiteralMethod(node, contextFlags) : getContextualType2(node, contextFlags);
     const instantiatedType = instantiateContextualType(contextualType, node, contextFlags);
     if (instantiatedType && !(contextFlags && contextFlags & 2 /* NoConstraints */ && instantiatedType.flags & 8650752 /* TypeVariable */)) {
-      return getDiscriminatedApparentType(node, instantiatedType);
+      const apparentType = mapType(
+        instantiatedType,
+        getApparentType,
+        /*noReductions*/
+        true
+      );
+      return apparentType.flags & 1048576 /* Union */ && isObjectLiteralExpression(node) ? discriminateContextualTypeByObjectMembers(node, apparentType) : apparentType.flags & 1048576 /* Union */ && isJsxAttributes(node) ? discriminateContextualTypeByJSXAttributes(node, apparentType) : apparentType;
     }
   }
   function instantiateContextualType(contextualType, node, contextFlags) {
@@ -73731,8 +73739,7 @@ function createTypeChecker(host) {
           const isFromBindingPattern = !skipBindingPatterns && getContextualType2(node, 8 /* SkipBindingPatterns */) !== contextualType;
           if (!isFromBindingPattern) {
             const outerMapper = getMapperFromContext(cloneInferenceContext(outerContext, 1 /* NoDefault */));
-            const argumentApparentType = outerContext && isCallOrNewExpression(node.parent) && getDiscriminatedApparentType(node, contextualType);
-            const instantiatedType = instantiateType(argumentApparentType && argumentApparentType !== unknownType ? argumentApparentType : contextualType, outerMapper);
+            const instantiatedType = instantiateType(contextualType, outerMapper);
             const contextualSignature = getSingleCallSignature(instantiatedType);
             const inferenceSourceType = contextualSignature && contextualSignature.typeParameters ? getOrCreateTypeFromSignature(getSignatureInstantiationWithoutFillingInTypeArguments(contextualSignature, contextualSignature.typeParameters)) : instantiatedType;
             inferTypes(context.inferences, inferenceSourceType, inferenceTargetType, 128 /* ReturnType */);
@@ -77060,7 +77067,7 @@ function createTypeChecker(host) {
     if (!isTypeAny(leftType) && allTypesAssignableToKind(leftType, 134348796 /* Primitive */)) {
       error(left, Diagnostics.The_left_hand_side_of_an_instanceof_expression_must_be_of_type_any_an_object_type_or_a_type_parameter);
     }
-    if (!(isTypeAny(rightType) || typeHasCallOrConstructSignatures2(rightType) || isTypeSubtypeOf(rightType, globalFunctionType))) {
+    if (!(isTypeAny(rightType) || typeHasCallOrConstructSignatures(rightType) || isTypeSubtypeOf(rightType, globalFunctionType))) {
       error(right, Diagnostics.The_right_hand_side_of_an_instanceof_expression_must_be_of_type_any_or_of_a_type_assignable_to_the_Function_interface_type);
     }
     return booleanType;
@@ -84731,8 +84738,8 @@ function createTypeChecker(host) {
     }
     return getNamedMembers(propsByName);
   }
-  function typeHasCallOrConstructSignatures2(type) {
-    return typeHasCallOrConstructSignatures(type, checker);
+  function typeHasCallOrConstructSignatures(type) {
+    return getSignaturesOfType(type, 0 /* Call */).length !== 0 || getSignaturesOfType(type, 1 /* Construct */).length !== 0;
   }
   function getRootSymbols(symbol) {
     const roots = getImmediateRootSymbols(symbol);
@@ -129597,7 +129604,7 @@ function needsParentheses(expression) {
   return isBinaryExpression(expression) && expression.operatorToken.kind === 27 /* CommaToken */ || isObjectLiteralExpression(expression) || isAsExpression(expression) && isObjectLiteralExpression(expression.expression);
 }
 function getContextualTypeFromParent(node, checker, contextFlags) {
-  const { parent: parent2 } = node;
+  const parent2 = walkUpParenthesizedExpressions(node.parent);
   switch (parent2.kind) {
     case 211 /* NewExpression */:
       return checker.getContextualType(parent2, contextFlags);
@@ -129606,7 +129613,7 @@ function getContextualTypeFromParent(node, checker, contextFlags) {
       return isEqualityOperatorKind(operatorToken.kind) ? checker.getTypeAtLocation(node === right ? left : right) : checker.getContextualType(node, contextFlags);
     }
     case 292 /* CaseClause */:
-      return parent2.expression === node ? getSwitchedType(parent2, checker) : void 0;
+      return getSwitchedType(parent2, checker);
     default:
       return checker.getContextualType(node, contextFlags);
   }
@@ -130166,8 +130173,8 @@ function newCaseClauseTracker(checker, clauses) {
   const existingBigInts = /* @__PURE__ */ new Set();
   for (const clause of clauses) {
     if (!isDefaultClause(clause)) {
-      if (isLiteralExpression(clause.expression)) {
-        const expression = clause.expression;
+      const expression = skipParentheses(clause.expression);
+      if (isLiteralExpression(expression)) {
         switch (expression.kind) {
           case 14 /* NoSubstitutionTemplateLiteral */:
           case 10 /* StringLiteral */:
@@ -151386,7 +151393,7 @@ function getPropertiesForObjectExpression(contextualType, completionsType, obj,
 function getApparentProperties(type, node, checker) {
   if (!type.isUnion())
     return type.getApparentProperties();
-  return checker.getAllPossiblePropertiesOfTypes(filter(type.types, (memberType) => !(memberType.flags & 134348796 /* Primitive */ || checker.isArrayLikeType(memberType) || checker.isTypeInvalidDueToUnionDiscriminant(memberType, node) || typeHasCallOrConstructSignatures(memberType, checker) || memberType.isClass() && containsNonPublicProperties(memberType.getApparentProperties()))));
+  return checker.getAllPossiblePropertiesOfTypes(filter(type.types, (memberType) => !(memberType.flags & 134348796 /* Primitive */ || checker.isArrayLikeType(memberType) || checker.isTypeInvalidDueToUnionDiscriminant(memberType, node) || checker.typeHasCallOrConstructSignatures(memberType) || memberType.isClass() && containsNonPublicProperties(memberType.getApparentProperties()))));
 }
 function containsNonPublicProperties(props) {
   return some(props, (p) => !!(getDeclarationModifierFlagsFromSymbol(p) & 24 /* NonPublicAccessibilityModifier */));
@@ -151931,7 +151938,7 @@ function getStringLiteralCompletionEntries(sourceFile, node, position, typeCheck
     case 280 /* ExternalModuleReference */:
       return { kind: 0 /* Paths */, paths: getStringLiteralCompletionsFromModuleNames(sourceFile, node, compilerOptions, host, typeChecker, preferences) };
     case 292 /* CaseClause */:
-      const tracker = newCaseClauseTracker(typeChecker, node.parent.parent.clauses);
+      const tracker = newCaseClauseTracker(typeChecker, parent2.parent.clauses);
       const literals = fromContextualType().types.filter((literal) => !tracker.hasValue(literal.value));
       return { kind: 2 /* Types */, types: literals, isNewIdentifier: false };
     default:
@@ -158546,12 +158553,7 @@ function filterImport(i, moduleSpecifier, keep) {
       return defaultImport || namedBindings ? factory.createImportDeclaration(
         /*modifiers*/
         void 0,
-        factory.createImportClause(
-          /*isTypeOnly*/
-          false,
-          defaultImport,
-          namedBindings
-        ),
+        factory.createImportClause(clause.isTypeOnly, defaultImport, namedBindings),
         moduleSpecifier,
         /*assertClause*/
         void 0
@@ -169839,7 +169841,6 @@ __export(ts_exports3, {
   typeAcquisitionDeclarations: () => typeAcquisitionDeclarations,
   typeAliasNamePart: () => typeAliasNamePart,
   typeDirectiveIsEqualTo: () => typeDirectiveIsEqualTo,
-  typeHasCallOrConstructSignatures: () => typeHasCallOrConstructSignatures,
   typeKeywords: () => typeKeywords,
   typeParameterNamePart: () => typeParameterNamePart,
   typeReferenceResolutionNameAndModeGetter: () => typeReferenceResolutionNameAndModeGetter,
@@ -183789,7 +183790,6 @@ start(initializeNodeSystem(), require("os").platform());
   typeAcquisitionDeclarations,
   typeAliasNamePart,
   typeDirectiveIsEqualTo,
-  typeHasCallOrConstructSignatures,
   typeKeywords,
   typeParameterNamePart,
   typeReferenceResolutionNameAndModeGetter,

package/lib/tsserverlibrary.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.0";
-      version = `${versionMajorMinor}.0-insiders.20230220`;
+      version = `${versionMajorMinor}.0-insiders.20230221`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -17490,9 +17490,6 @@ ${lanes.join("\n")}
   function getObjectFlags(type) {
     return type.flags & 3899393 /* ObjectFlagsType */ ? type.objectFlags : 0;
   }
-  function typeHasCallOrConstructSignatures(type, checker) {
-    return checker.getSignaturesOfType(type, 0 /* Call */).length !== 0 || checker.getSignaturesOfType(type, 1 /* Construct */).length !== 0;
-  }
   function forSomeAncestorDirectory(directory, callback) {
     return !!forEachAncestorDirectory(directory, (d) => callback(d) ? true : void 0);
   }
@@ -45404,7 +45401,8 @@ ${lanes.join("\n")}
       isPropertyAccessible,
       getTypeOnlyAliasDeclaration,
       getMemberOverrideModifierStatus,
-      isTypeParameterPossiblyReferenced
+      isTypeParameterPossiblyReferenced,
+      typeHasCallOrConstructSignatures
     };
     function runWithoutResolvedSignatureCaching(node, fn) {
       const containingCall = findAncestor(node, isCallLikeExpression);
@@ -52911,7 +52909,7 @@ ${lanes.join("\n")}
     }
     function findResolutionCycleStartIndex(target, propertyName) {
       for (let i = resolutionTargets.length - 1; i >= 0; i--) {
-        if (hasType2(resolutionTargets[i], resolutionPropertyNames[i])) {
+        if (resolutionTargetHasProperty(resolutionTargets[i], resolutionPropertyNames[i])) {
           return -1;
         }
         if (resolutionTargets[i] === target && resolutionPropertyNames[i] === propertyName) {
@@ -52920,7 +52918,7 @@ ${lanes.join("\n")}
       }
       return -1;
     }
-    function hasType2(target, propertyName) {
+    function resolutionTargetHasProperty(target, propertyName) {
       switch (propertyName) {
         case 0 /* Type */:
           return !!getSymbolLinks(target).type;
@@ -55957,6 +55955,20 @@ ${lanes.join("\n")}
           return t.flags & 1048576 /* Union */ && baseTypes.length === types.length ? getUnionType(baseTypes) : t.flags & 2097152 /* Intersection */ && baseTypes.length ? getIntersectionType(baseTypes) : void 0;
         }
         if (t.flags & 4194304 /* Index */) {
+          if (t.type.flags & 8388608 /* IndexedAccess */) {
+            const indexedAccess = t.type;
+            if (!isGenericObjectType(indexedAccess.objectType)) {
+              const baseIndexType = getBaseConstraint(indexedAccess.indexType);
+              const indexedAccessType = baseIndexType && getIndexedAccessTypeOrUndefined(indexedAccess.objectType, baseIndexType);
+              const mappedIndexTypeOfIndexedAccess = indexedAccessType && mapType(indexedAccessType, getIndexType);
+              const narrowed = mappedIndexTypeOfIndexedAccess && filterType(keyofConstraintType, (t2) => {
+                return !(getIntersectionType([t2, mappedIndexTypeOfIndexedAccess]).flags & 131072 /* Never */);
+              });
+              if (narrowed) {
+                return narrowed;
+              }
+            }
+          }
           return keyofConstraintType;
         }
         if (t.flags & 134217728 /* TemplateLiteral */) {
@@ -59328,7 +59340,7 @@ ${lanes.join("\n")}
     }
     function getActualTypeVariable(type) {
       if (type.flags & 33554432 /* Substitution */) {
-        return type.baseType;
+        return getActualTypeVariable(type.baseType);
       }
       if (type.flags & 8388608 /* IndexedAccess */ && (type.objectType.flags & 33554432 /* Substitution */ || type.indexType.flags & 33554432 /* Substitution */)) {
         return getIndexedAccessType(getActualTypeVariable(type.objectType), getActualTypeVariable(type.indexType));
@@ -61821,7 +61833,7 @@ ${lanes.join("\n")}
               return 0 /* False */;
             }
           }
-          const isPerformingCommonPropertyChecks = (relation !== comparableRelation || isUnitType(source2)) && !(intersectionState & 2 /* Target */) && source2.flags & (134348796 /* Primitive */ | 524288 /* Object */ | 2097152 /* Intersection */) && source2 !== globalObjectType && target2.flags & (524288 /* Object */ | 2097152 /* Intersection */) && isWeakType(target2) && (getPropertiesOfType(source2).length > 0 || typeHasCallOrConstructSignatures2(source2));
+          const isPerformingCommonPropertyChecks = (relation !== comparableRelation || isUnitType(source2)) && !(intersectionState & 2 /* Target */) && source2.flags & (134348796 /* Primitive */ | 524288 /* Object */ | 2097152 /* Intersection */) && source2 !== globalObjectType && target2.flags & (524288 /* Object */ | 2097152 /* Intersection */) && isWeakType(target2) && (getPropertiesOfType(source2).length > 0 || typeHasCallOrConstructSignatures(source2));
           const isComparingJsxAttributes = !!(getObjectFlags(source2) & 2048 /* JsxAttributes */);
           if (isPerformingCommonPropertyChecks && !hasCommonProperties(source2, target2, isComparingJsxAttributes)) {
             if (reportErrors2) {
@@ -64419,7 +64431,7 @@ ${lanes.join("\n")}
     }
     function isObjectTypeWithInferableIndex(type) {
       const objectFlags = getObjectFlags(type);
-      return type.flags & 2097152 /* Intersection */ ? every(type.types, isObjectTypeWithInferableIndex) : !!(type.symbol && (type.symbol.flags & (4096 /* ObjectLiteral */ | 2048 /* TypeLiteral */ | 384 /* Enum */ | 512 /* ValueModule */)) !== 0 && !(type.symbol.flags & 32 /* Class */) && !typeHasCallOrConstructSignatures2(type)) || !!(objectFlags & 4194304 /* ObjectRestType */) || !!(objectFlags & 1024 /* ReverseMapped */ && isObjectTypeWithInferableIndex(type.source));
+      return type.flags & 2097152 /* Intersection */ ? every(type.types, isObjectTypeWithInferableIndex) : !!(type.symbol && (type.symbol.flags & (4096 /* ObjectLiteral */ | 2048 /* TypeLiteral */ | 384 /* Enum */ | 512 /* ValueModule */)) !== 0 && !(type.symbol.flags & 32 /* Class */) && !typeHasCallOrConstructSignatures(type)) || !!(objectFlags & 4194304 /* ObjectRestType */) || !!(objectFlags & 1024 /* ReverseMapped */ && isObjectTypeWithInferableIndex(type.source));
     }
     function createSymbolWithType(source, type) {
       const symbol = createSymbol(source.flags, source.escapedName, getCheckFlags(source) & 8 /* Readonly */);
@@ -69121,20 +69133,17 @@ ${lanes.join("\n")}
         contextualType
       );
     }
-    function getDiscriminatedApparentType(node, type) {
-      const apparentType = mapType(
-        type,
-        getApparentType,
-        /*noReductions*/
-        true
-      );
-      return apparentType.flags & 1048576 /* Union */ && isObjectLiteralExpression(node) ? discriminateContextualTypeByObjectMembers(node, apparentType) : apparentType.flags & 1048576 /* Union */ && isJsxAttributes(node) ? discriminateContextualTypeByJSXAttributes(node, apparentType) : apparentType;
-    }
     function getApparentTypeOfContextualType(node, contextFlags) {
       const contextualType = isObjectLiteralMethod(node) ? getContextualTypeForObjectLiteralMethod(node, contextFlags) : getContextualType2(node, contextFlags);
       const instantiatedType = instantiateContextualType(contextualType, node, contextFlags);
       if (instantiatedType && !(contextFlags && contextFlags & 2 /* NoConstraints */ && instantiatedType.flags & 8650752 /* TypeVariable */)) {
-        return getDiscriminatedApparentType(node, instantiatedType);
+        const apparentType = mapType(
+          instantiatedType,
+          getApparentType,
+          /*noReductions*/
+          true
+        );
+        return apparentType.flags & 1048576 /* Union */ && isObjectLiteralExpression(node) ? discriminateContextualTypeByObjectMembers(node, apparentType) : apparentType.flags & 1048576 /* Union */ && isJsxAttributes(node) ? discriminateContextualTypeByJSXAttributes(node, apparentType) : apparentType;
       }
     }
     function instantiateContextualType(contextualType, node, contextFlags) {
@@ -71539,8 +71548,7 @@ ${lanes.join("\n")}
             const isFromBindingPattern = !skipBindingPatterns && getContextualType2(node, 8 /* SkipBindingPatterns */) !== contextualType;
             if (!isFromBindingPattern) {
               const outerMapper = getMapperFromContext(cloneInferenceContext(outerContext, 1 /* NoDefault */));
-              const argumentApparentType = outerContext && isCallOrNewExpression(node.parent) && getDiscriminatedApparentType(node, contextualType);
-              const instantiatedType = instantiateType(argumentApparentType && argumentApparentType !== unknownType ? argumentApparentType : contextualType, outerMapper);
+              const instantiatedType = instantiateType(contextualType, outerMapper);
               const contextualSignature = getSingleCallSignature(instantiatedType);
               const inferenceSourceType = contextualSignature && contextualSignature.typeParameters ? getOrCreateTypeFromSignature(getSignatureInstantiationWithoutFillingInTypeArguments(contextualSignature, contextualSignature.typeParameters)) : instantiatedType;
               inferTypes(context.inferences, inferenceSourceType, inferenceTargetType, 128 /* ReturnType */);
@@ -74868,7 +74876,7 @@ ${lanes.join("\n")}
       if (!isTypeAny(leftType) && allTypesAssignableToKind(leftType, 134348796 /* Primitive */)) {
         error(left, Diagnostics.The_left_hand_side_of_an_instanceof_expression_must_be_of_type_any_an_object_type_or_a_type_parameter);
       }
-      if (!(isTypeAny(rightType) || typeHasCallOrConstructSignatures2(rightType) || isTypeSubtypeOf(rightType, globalFunctionType))) {
+      if (!(isTypeAny(rightType) || typeHasCallOrConstructSignatures(rightType) || isTypeSubtypeOf(rightType, globalFunctionType))) {
         error(right, Diagnostics.The_right_hand_side_of_an_instanceof_expression_must_be_of_type_any_or_of_a_type_assignable_to_the_Function_interface_type);
       }
       return booleanType;
@@ -82539,8 +82547,8 @@ ${lanes.join("\n")}
       }
       return getNamedMembers(propsByName);
     }
-    function typeHasCallOrConstructSignatures2(type) {
-      return typeHasCallOrConstructSignatures(type, checker);
+    function typeHasCallOrConstructSignatures(type) {
+      return getSignaturesOfType(type, 0 /* Call */).length !== 0 || getSignaturesOfType(type, 1 /* Construct */).length !== 0;
     }
     function getRootSymbols(symbol) {
       const roots = getImmediateRootSymbols(symbol);
@@ -85096,7 +85104,6 @@ ${lanes.join("\n")}
     "src/compiler/checker.ts"() {
       "use strict";
       init_ts2();
-      init_ts2();
       init_ts_moduleSpecifiers();
       init_ts_performance();
       ambientModuleSymbolRegex = /^".+"$/;
@@ -127895,7 +127902,7 @@ ${lanes.join("\n")}
     return isBinaryExpression(expression) && expression.operatorToken.kind === 27 /* CommaToken */ || isObjectLiteralExpression(expression) || isAsExpression(expression) && isObjectLiteralExpression(expression.expression);
   }
   function getContextualTypeFromParent(node, checker, contextFlags) {
-    const { parent: parent2 } = node;
+    const parent2 = walkUpParenthesizedExpressions(node.parent);
     switch (parent2.kind) {
       case 211 /* NewExpression */:
         return checker.getContextualType(parent2, contextFlags);
@@ -127904,7 +127911,7 @@ ${lanes.join("\n")}
         return isEqualityOperatorKind(operatorToken.kind) ? checker.getTypeAtLocation(node === right ? left : right) : checker.getContextualType(node, contextFlags);
       }
       case 292 /* CaseClause */:
-        return parent2.expression === node ? getSwitchedType(parent2, checker) : void 0;
+        return getSwitchedType(parent2, checker);
       default:
         return checker.getContextualType(node, contextFlags);
     }
@@ -128457,8 +128464,8 @@ ${lanes.join("\n")}
     const existingBigInts = /* @__PURE__ */ new Set();
     for (const clause of clauses) {
       if (!isDefaultClause(clause)) {
-        if (isLiteralExpression(clause.expression)) {
-          const expression = clause.expression;
+        const expression = skipParentheses(clause.expression);
+        if (isLiteralExpression(expression)) {
           switch (expression.kind) {
             case 14 /* NoSubstitutionTemplateLiteral */:
             case 10 /* StringLiteral */:
@@ -150417,7 +150424,7 @@ ${lanes.join("\n")}
   function getApparentProperties(type, node, checker) {
     if (!type.isUnion())
       return type.getApparentProperties();
-    return checker.getAllPossiblePropertiesOfTypes(filter(type.types, (memberType) => !(memberType.flags & 134348796 /* Primitive */ || checker.isArrayLikeType(memberType) || checker.isTypeInvalidDueToUnionDiscriminant(memberType, node) || typeHasCallOrConstructSignatures(memberType, checker) || memberType.isClass() && containsNonPublicProperties(memberType.getApparentProperties()))));
+    return checker.getAllPossiblePropertiesOfTypes(filter(type.types, (memberType) => !(memberType.flags & 134348796 /* Primitive */ || checker.isArrayLikeType(memberType) || checker.isTypeInvalidDueToUnionDiscriminant(memberType, node) || checker.typeHasCallOrConstructSignatures(memberType) || memberType.isClass() && containsNonPublicProperties(memberType.getApparentProperties()))));
   }
   function containsNonPublicProperties(props) {
     return some(props, (p) => !!(getDeclarationModifierFlagsFromSymbol(p) & 24 /* NonPublicAccessibilityModifier */));
@@ -151027,7 +151034,7 @@ ${lanes.join("\n")}
       case 280 /* ExternalModuleReference */:
         return { kind: 0 /* Paths */, paths: getStringLiteralCompletionsFromModuleNames(sourceFile, node, compilerOptions, host, typeChecker, preferences) };
       case 292 /* CaseClause */:
-        const tracker = newCaseClauseTracker(typeChecker, node.parent.parent.clauses);
+        const tracker = newCaseClauseTracker(typeChecker, parent2.parent.clauses);
         const literals = fromContextualType().types.filter((literal) => !tracker.hasValue(literal.value));
         return { kind: 2 /* Types */, types: literals, isNewIdentifier: false };
       default:
@@ -157765,12 +157772,7 @@ ${lanes.join("\n")}
         return defaultImport || namedBindings ? factory.createImportDeclaration(
           /*modifiers*/
           void 0,
-          factory.createImportClause(
-            /*isTypeOnly*/
-            false,
-            defaultImport,
-            namedBindings
-          ),
+          factory.createImportClause(clause.isTypeOnly, defaultImport, namedBindings),
           moduleSpecifier,
           /*assertClause*/
           void 0
@@ -180425,7 +180427,6 @@ ${e.message}`;
     typeAcquisitionDeclarations: () => typeAcquisitionDeclarations,
     typeAliasNamePart: () => typeAliasNamePart,
     typeDirectiveIsEqualTo: () => typeDirectiveIsEqualTo,
-    typeHasCallOrConstructSignatures: () => typeHasCallOrConstructSignatures,
     typeKeywords: () => typeKeywords,
     typeParameterNamePart: () => typeParameterNamePart,
     typeReferenceResolutionNameAndModeGetter: () => typeReferenceResolutionNameAndModeGetter,
@@ -182785,7 +182786,6 @@ ${e.message}`;
     typeAcquisitionDeclarations: () => typeAcquisitionDeclarations,
     typeAliasNamePart: () => typeAliasNamePart,
     typeDirectiveIsEqualTo: () => typeDirectiveIsEqualTo,
-    typeHasCallOrConstructSignatures: () => typeHasCallOrConstructSignatures,
     typeKeywords: () => typeKeywords,
     typeParameterNamePart: () => typeParameterNamePart,
     typeReferenceResolutionNameAndModeGetter: () => typeReferenceResolutionNameAndModeGetter,

package/lib/typescript.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.0";
-      version = `${versionMajorMinor}.0-insiders.20230220`;
+      version = `${versionMajorMinor}.0-insiders.20230221`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -17490,9 +17490,6 @@ ${lanes.join("\n")}
   function getObjectFlags(type) {
     return type.flags & 3899393 /* ObjectFlagsType */ ? type.objectFlags : 0;
   }
-  function typeHasCallOrConstructSignatures(type, checker) {
-    return checker.getSignaturesOfType(type, 0 /* Call */).length !== 0 || checker.getSignaturesOfType(type, 1 /* Construct */).length !== 0;
-  }
   function forSomeAncestorDirectory(directory, callback) {
     return !!forEachAncestorDirectory(directory, (d) => callback(d) ? true : void 0);
   }
@@ -45404,7 +45401,8 @@ ${lanes.join("\n")}
       isPropertyAccessible,
       getTypeOnlyAliasDeclaration,
       getMemberOverrideModifierStatus,
-      isTypeParameterPossiblyReferenced
+      isTypeParameterPossiblyReferenced,
+      typeHasCallOrConstructSignatures
     };
     function runWithoutResolvedSignatureCaching(node, fn) {
       const containingCall = findAncestor(node, isCallLikeExpression);
@@ -52911,7 +52909,7 @@ ${lanes.join("\n")}
     }
     function findResolutionCycleStartIndex(target, propertyName) {
       for (let i = resolutionTargets.length - 1; i >= 0; i--) {
-        if (hasType2(resolutionTargets[i], resolutionPropertyNames[i])) {
+        if (resolutionTargetHasProperty(resolutionTargets[i], resolutionPropertyNames[i])) {
           return -1;
         }
         if (resolutionTargets[i] === target && resolutionPropertyNames[i] === propertyName) {
@@ -52920,7 +52918,7 @@ ${lanes.join("\n")}
       }
       return -1;
     }
-    function hasType2(target, propertyName) {
+    function resolutionTargetHasProperty(target, propertyName) {
       switch (propertyName) {
         case 0 /* Type */:
           return !!getSymbolLinks(target).type;
@@ -55957,6 +55955,20 @@ ${lanes.join("\n")}
           return t.flags & 1048576 /* Union */ && baseTypes.length === types.length ? getUnionType(baseTypes) : t.flags & 2097152 /* Intersection */ && baseTypes.length ? getIntersectionType(baseTypes) : void 0;
         }
         if (t.flags & 4194304 /* Index */) {
+          if (t.type.flags & 8388608 /* IndexedAccess */) {
+            const indexedAccess = t.type;
+            if (!isGenericObjectType(indexedAccess.objectType)) {
+              const baseIndexType = getBaseConstraint(indexedAccess.indexType);
+              const indexedAccessType = baseIndexType && getIndexedAccessTypeOrUndefined(indexedAccess.objectType, baseIndexType);
+              const mappedIndexTypeOfIndexedAccess = indexedAccessType && mapType(indexedAccessType, getIndexType);
+              const narrowed = mappedIndexTypeOfIndexedAccess && filterType(keyofConstraintType, (t2) => {
+                return !(getIntersectionType([t2, mappedIndexTypeOfIndexedAccess]).flags & 131072 /* Never */);
+              });
+              if (narrowed) {
+                return narrowed;
+              }
+            }
+          }
           return keyofConstraintType;
         }
         if (t.flags & 134217728 /* TemplateLiteral */) {
@@ -59328,7 +59340,7 @@ ${lanes.join("\n")}
     }
     function getActualTypeVariable(type) {
       if (type.flags & 33554432 /* Substitution */) {
-        return type.baseType;
+        return getActualTypeVariable(type.baseType);
       }
       if (type.flags & 8388608 /* IndexedAccess */ && (type.objectType.flags & 33554432 /* Substitution */ || type.indexType.flags & 33554432 /* Substitution */)) {
         return getIndexedAccessType(getActualTypeVariable(type.objectType), getActualTypeVariable(type.indexType));
@@ -61821,7 +61833,7 @@ ${lanes.join("\n")}
               return 0 /* False */;
             }
           }
-          const isPerformingCommonPropertyChecks = (relation !== comparableRelation || isUnitType(source2)) && !(intersectionState & 2 /* Target */) && source2.flags & (134348796 /* Primitive */ | 524288 /* Object */ | 2097152 /* Intersection */) && source2 !== globalObjectType && target2.flags & (524288 /* Object */ | 2097152 /* Intersection */) && isWeakType(target2) && (getPropertiesOfType(source2).length > 0 || typeHasCallOrConstructSignatures2(source2));
+          const isPerformingCommonPropertyChecks = (relation !== comparableRelation || isUnitType(source2)) && !(intersectionState & 2 /* Target */) && source2.flags & (134348796 /* Primitive */ | 524288 /* Object */ | 2097152 /* Intersection */) && source2 !== globalObjectType && target2.flags & (524288 /* Object */ | 2097152 /* Intersection */) && isWeakType(target2) && (getPropertiesOfType(source2).length > 0 || typeHasCallOrConstructSignatures(source2));
           const isComparingJsxAttributes = !!(getObjectFlags(source2) & 2048 /* JsxAttributes */);
           if (isPerformingCommonPropertyChecks && !hasCommonProperties(source2, target2, isComparingJsxAttributes)) {
             if (reportErrors2) {
@@ -64419,7 +64431,7 @@ ${lanes.join("\n")}
     }
     function isObjectTypeWithInferableIndex(type) {
       const objectFlags = getObjectFlags(type);
-      return type.flags & 2097152 /* Intersection */ ? every(type.types, isObjectTypeWithInferableIndex) : !!(type.symbol && (type.symbol.flags & (4096 /* ObjectLiteral */ | 2048 /* TypeLiteral */ | 384 /* Enum */ | 512 /* ValueModule */)) !== 0 && !(type.symbol.flags & 32 /* Class */) && !typeHasCallOrConstructSignatures2(type)) || !!(objectFlags & 4194304 /* ObjectRestType */) || !!(objectFlags & 1024 /* ReverseMapped */ && isObjectTypeWithInferableIndex(type.source));
+      return type.flags & 2097152 /* Intersection */ ? every(type.types, isObjectTypeWithInferableIndex) : !!(type.symbol && (type.symbol.flags & (4096 /* ObjectLiteral */ | 2048 /* TypeLiteral */ | 384 /* Enum */ | 512 /* ValueModule */)) !== 0 && !(type.symbol.flags & 32 /* Class */) && !typeHasCallOrConstructSignatures(type)) || !!(objectFlags & 4194304 /* ObjectRestType */) || !!(objectFlags & 1024 /* ReverseMapped */ && isObjectTypeWithInferableIndex(type.source));
     }
     function createSymbolWithType(source, type) {
       const symbol = createSymbol(source.flags, source.escapedName, getCheckFlags(source) & 8 /* Readonly */);
@@ -69121,20 +69133,17 @@ ${lanes.join("\n")}
         contextualType
       );
     }
-    function getDiscriminatedApparentType(node, type) {
-      const apparentType = mapType(
-        type,
-        getApparentType,
-        /*noReductions*/
-        true
-      );
-      return apparentType.flags & 1048576 /* Union */ && isObjectLiteralExpression(node) ? discriminateContextualTypeByObjectMembers(node, apparentType) : apparentType.flags & 1048576 /* Union */ && isJsxAttributes(node) ? discriminateContextualTypeByJSXAttributes(node, apparentType) : apparentType;
-    }
     function getApparentTypeOfContextualType(node, contextFlags) {
       const contextualType = isObjectLiteralMethod(node) ? getContextualTypeForObjectLiteralMethod(node, contextFlags) : getContextualType2(node, contextFlags);
       const instantiatedType = instantiateContextualType(contextualType, node, contextFlags);
       if (instantiatedType && !(contextFlags && contextFlags & 2 /* NoConstraints */ && instantiatedType.flags & 8650752 /* TypeVariable */)) {
-        return getDiscriminatedApparentType(node, instantiatedType);
+        const apparentType = mapType(
+          instantiatedType,
+          getApparentType,
+          /*noReductions*/
+          true
+        );
+        return apparentType.flags & 1048576 /* Union */ && isObjectLiteralExpression(node) ? discriminateContextualTypeByObjectMembers(node, apparentType) : apparentType.flags & 1048576 /* Union */ && isJsxAttributes(node) ? discriminateContextualTypeByJSXAttributes(node, apparentType) : apparentType;
       }
     }
     function instantiateContextualType(contextualType, node, contextFlags) {
@@ -71539,8 +71548,7 @@ ${lanes.join("\n")}
             const isFromBindingPattern = !skipBindingPatterns && getContextualType2(node, 8 /* SkipBindingPatterns */) !== contextualType;
             if (!isFromBindingPattern) {
               const outerMapper = getMapperFromContext(cloneInferenceContext(outerContext, 1 /* NoDefault */));
-              const argumentApparentType = outerContext && isCallOrNewExpression(node.parent) && getDiscriminatedApparentType(node, contextualType);
-              const instantiatedType = instantiateType(argumentApparentType && argumentApparentType !== unknownType ? argumentApparentType : contextualType, outerMapper);
+              const instantiatedType = instantiateType(contextualType, outerMapper);
               const contextualSignature = getSingleCallSignature(instantiatedType);
               const inferenceSourceType = contextualSignature && contextualSignature.typeParameters ? getOrCreateTypeFromSignature(getSignatureInstantiationWithoutFillingInTypeArguments(contextualSignature, contextualSignature.typeParameters)) : instantiatedType;
               inferTypes(context.inferences, inferenceSourceType, inferenceTargetType, 128 /* ReturnType */);
@@ -74868,7 +74876,7 @@ ${lanes.join("\n")}
       if (!isTypeAny(leftType) && allTypesAssignableToKind(leftType, 134348796 /* Primitive */)) {
         error(left, Diagnostics.The_left_hand_side_of_an_instanceof_expression_must_be_of_type_any_an_object_type_or_a_type_parameter);
       }
-      if (!(isTypeAny(rightType) || typeHasCallOrConstructSignatures2(rightType) || isTypeSubtypeOf(rightType, globalFunctionType))) {
+      if (!(isTypeAny(rightType) || typeHasCallOrConstructSignatures(rightType) || isTypeSubtypeOf(rightType, globalFunctionType))) {
         error(right, Diagnostics.The_right_hand_side_of_an_instanceof_expression_must_be_of_type_any_or_of_a_type_assignable_to_the_Function_interface_type);
       }
       return booleanType;
@@ -82539,8 +82547,8 @@ ${lanes.join("\n")}
       }
       return getNamedMembers(propsByName);
     }
-    function typeHasCallOrConstructSignatures2(type) {
-      return typeHasCallOrConstructSignatures(type, checker);
+    function typeHasCallOrConstructSignatures(type) {
+      return getSignaturesOfType(type, 0 /* Call */).length !== 0 || getSignaturesOfType(type, 1 /* Construct */).length !== 0;
     }
     function getRootSymbols(symbol) {
       const roots = getImmediateRootSymbols(symbol);
@@ -85096,7 +85104,6 @@ ${lanes.join("\n")}
     "src/compiler/checker.ts"() {
       "use strict";
       init_ts2();
-      init_ts2();
       init_ts_moduleSpecifiers();
       init_ts_performance();
       ambientModuleSymbolRegex = /^".+"$/;
@@ -127909,7 +127916,7 @@ ${lanes.join("\n")}
     return isBinaryExpression(expression) && expression.operatorToken.kind === 27 /* CommaToken */ || isObjectLiteralExpression(expression) || isAsExpression(expression) && isObjectLiteralExpression(expression.expression);
   }
   function getContextualTypeFromParent(node, checker, contextFlags) {
-    const { parent: parent2 } = node;
+    const parent2 = walkUpParenthesizedExpressions(node.parent);
     switch (parent2.kind) {
       case 211 /* NewExpression */:
         return checker.getContextualType(parent2, contextFlags);
@@ -127918,7 +127925,7 @@ ${lanes.join("\n")}
         return isEqualityOperatorKind(operatorToken.kind) ? checker.getTypeAtLocation(node === right ? left : right) : checker.getContextualType(node, contextFlags);
       }
       case 292 /* CaseClause */:
-        return parent2.expression === node ? getSwitchedType(parent2, checker) : void 0;
+        return getSwitchedType(parent2, checker);
       default:
         return checker.getContextualType(node, contextFlags);
     }
@@ -128471,8 +128478,8 @@ ${lanes.join("\n")}
     const existingBigInts = /* @__PURE__ */ new Set();
     for (const clause of clauses) {
       if (!isDefaultClause(clause)) {
-        if (isLiteralExpression(clause.expression)) {
-          const expression = clause.expression;
+        const expression = skipParentheses(clause.expression);
+        if (isLiteralExpression(expression)) {
           switch (expression.kind) {
             case 14 /* NoSubstitutionTemplateLiteral */:
             case 10 /* StringLiteral */:
@@ -150431,7 +150438,7 @@ ${lanes.join("\n")}
   function getApparentProperties(type, node, checker) {
     if (!type.isUnion())
       return type.getApparentProperties();
-    return checker.getAllPossiblePropertiesOfTypes(filter(type.types, (memberType) => !(memberType.flags & 134348796 /* Primitive */ || checker.isArrayLikeType(memberType) || checker.isTypeInvalidDueToUnionDiscriminant(memberType, node) || typeHasCallOrConstructSignatures(memberType, checker) || memberType.isClass() && containsNonPublicProperties(memberType.getApparentProperties()))));
+    return checker.getAllPossiblePropertiesOfTypes(filter(type.types, (memberType) => !(memberType.flags & 134348796 /* Primitive */ || checker.isArrayLikeType(memberType) || checker.isTypeInvalidDueToUnionDiscriminant(memberType, node) || checker.typeHasCallOrConstructSignatures(memberType) || memberType.isClass() && containsNonPublicProperties(memberType.getApparentProperties()))));
   }
   function containsNonPublicProperties(props) {
     return some(props, (p) => !!(getDeclarationModifierFlagsFromSymbol(p) & 24 /* NonPublicAccessibilityModifier */));
@@ -151041,7 +151048,7 @@ ${lanes.join("\n")}
       case 280 /* ExternalModuleReference */:
         return { kind: 0 /* Paths */, paths: getStringLiteralCompletionsFromModuleNames(sourceFile, node, compilerOptions, host, typeChecker, preferences) };
       case 292 /* CaseClause */:
-        const tracker = newCaseClauseTracker(typeChecker, node.parent.parent.clauses);
+        const tracker = newCaseClauseTracker(typeChecker, parent2.parent.clauses);
         const literals = fromContextualType().types.filter((literal) => !tracker.hasValue(literal.value));
         return { kind: 2 /* Types */, types: literals, isNewIdentifier: false };
       default:
@@ -157779,12 +157786,7 @@ ${lanes.join("\n")}
         return defaultImport || namedBindings ? factory.createImportDeclaration(
           /*modifiers*/
           void 0,
-          factory.createImportClause(
-            /*isTypeOnly*/
-            false,
-            defaultImport,
-            namedBindings
-          ),
+          factory.createImportClause(clause.isTypeOnly, defaultImport, namedBindings),
           moduleSpecifier,
           /*assertClause*/
           void 0
@@ -169606,7 +169608,6 @@ ${options.prefix}` : "\n" : options.prefix
     typeAcquisitionDeclarations: () => typeAcquisitionDeclarations,
     typeAliasNamePart: () => typeAliasNamePart,
     typeDirectiveIsEqualTo: () => typeDirectiveIsEqualTo,
-    typeHasCallOrConstructSignatures: () => typeHasCallOrConstructSignatures,
     typeKeywords: () => typeKeywords,
     typeParameterNamePart: () => typeParameterNamePart,
     typeReferenceResolutionNameAndModeGetter: () => typeReferenceResolutionNameAndModeGetter,

package/lib/typingsInstaller.js

@@ -54,7 +54,7 @@ var path = __toESM(require("path"));
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.0";
-var version = `${versionMajorMinor}.0-insiders.20230220`;
+var version = `${versionMajorMinor}.0-insiders.20230221`;
 
 // 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.0.0-pr-52866-6",
+  "version": "5.0.0-pr-49107-5",
   "license": "Apache-2.0",
   "description": "TypeScript is a language for application scale JavaScript development",
   "keywords": [