typescript 5.3.0-dev.20230815 → 5.3.0-dev.20230816

package/lib/tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.3";
-var version = `${versionMajorMinor}.0-dev.20230815`;
+var version = `${versionMajorMinor}.0-dev.20230816`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -12422,16 +12422,14 @@ function createDiagnosticForNodeArrayFromMessageChain(sourceFile, nodes, message
   const start = skipTrivia(sourceFile.text, nodes.pos);
   return createFileDiagnosticFromMessageChain(sourceFile, start, nodes.end - start, messageChain, relatedInformation);
 }
-function assertDiagnosticLocation(file, start, length2) {
+function assertDiagnosticLocation(sourceText, start, length2) {
   Debug.assertGreaterThanOrEqual(start, 0);
   Debug.assertGreaterThanOrEqual(length2, 0);
-  if (file) {
-    Debug.assertLessThanOrEqual(start, file.text.length);
-    Debug.assertLessThanOrEqual(start + length2, file.text.length);
-  }
+  Debug.assertLessThanOrEqual(start, sourceText.length);
+  Debug.assertLessThanOrEqual(start + length2, sourceText.length);
 }
 function createFileDiagnosticFromMessageChain(file, start, length2, messageChain, relatedInformation) {
-  assertDiagnosticLocation(file, start, length2);
+  assertDiagnosticLocation(file.text, start, length2);
   return {
     file,
     start,
@@ -13288,8 +13286,8 @@ function isInExpressionContext(node) {
       return forStatement.initializer === node && forStatement.initializer.kind !== 261 /* VariableDeclarationList */ || forStatement.condition === node || forStatement.incrementor === node;
     case 249 /* ForInStatement */:
     case 250 /* ForOfStatement */:
-      const forInStatement = parent;
-      return forInStatement.initializer === node && forInStatement.initializer.kind !== 261 /* VariableDeclarationList */ || forInStatement.expression === node;
+      const forInOrOfStatement = parent;
+      return forInOrOfStatement.initializer === node && forInOrOfStatement.initializer.kind !== 261 /* VariableDeclarationList */ || forInOrOfStatement.expression === node;
     case 216 /* TypeAssertionExpression */:
     case 234 /* AsExpression */:
       return node === parent.expression;
@@ -13950,20 +13948,23 @@ function getTypeParameterFromJsDoc(node) {
   const { typeParameters } = node.parent.parent.parent;
   return typeParameters && find(typeParameters, (p) => p.name.escapedText === name);
 }
-function getAssignmentTargetKind(node) {
+function getAssignmentTarget(node) {
   let parent = node.parent;
   while (true) {
     switch (parent.kind) {
       case 226 /* BinaryExpression */:
-        const binaryOperator = parent.operatorToken.kind;
-        return isAssignmentOperator(binaryOperator) && parent.left === node ? binaryOperator === 64 /* EqualsToken */ || isLogicalOrCoalescingAssignmentOperator(binaryOperator) ? 1 /* Definite */ : 2 /* Compound */ : 0 /* None */;
+        const binaryExpression = parent;
+        const binaryOperator = binaryExpression.operatorToken.kind;
+        return isAssignmentOperator(binaryOperator) && binaryExpression.left === node ? binaryExpression : void 0;
       case 224 /* PrefixUnaryExpression */:
       case 225 /* PostfixUnaryExpression */:
-        const unaryOperator = parent.operator;
-        return unaryOperator === 46 /* PlusPlusToken */ || unaryOperator === 47 /* MinusMinusToken */ ? 2 /* Compound */ : 0 /* None */;
+        const unaryExpression = parent;
+        const unaryOperator = unaryExpression.operator;
+        return unaryOperator === 46 /* PlusPlusToken */ || unaryOperator === 47 /* MinusMinusToken */ ? unaryExpression : void 0;
       case 249 /* ForInStatement */:
       case 250 /* ForOfStatement */:
-        return parent.initializer === node ? 1 /* Definite */ : 0 /* None */;
+        const forInOrOfStatement = parent;
+        return forInOrOfStatement.initializer === node ? forInOrOfStatement : void 0;
       case 217 /* ParenthesizedExpression */:
       case 209 /* ArrayLiteralExpression */:
       case 230 /* SpreadElement */:
@@ -13975,24 +13976,53 @@ function getAssignmentTargetKind(node) {
         break;
       case 304 /* ShorthandPropertyAssignment */:
         if (parent.name !== node) {
-          return 0 /* None */;
+          return void 0;
         }
         node = parent.parent;
         break;
       case 303 /* PropertyAssignment */:
         if (parent.name === node) {
-          return 0 /* None */;
+          return void 0;
         }
         node = parent.parent;
         break;
       default:
-        return 0 /* None */;
+        return void 0;
     }
     parent = node.parent;
   }
 }
+function getAssignmentTargetKind(node) {
+  const target = getAssignmentTarget(node);
+  if (!target) {
+    return 0 /* None */;
+  }
+  switch (target.kind) {
+    case 226 /* BinaryExpression */:
+      const binaryOperator = target.operatorToken.kind;
+      return binaryOperator === 64 /* EqualsToken */ || isLogicalOrCoalescingAssignmentOperator(binaryOperator) ? 1 /* Definite */ : 2 /* Compound */;
+    case 224 /* PrefixUnaryExpression */:
+    case 225 /* PostfixUnaryExpression */:
+      return 2 /* Compound */;
+    case 249 /* ForInStatement */:
+    case 250 /* ForOfStatement */:
+      return 1 /* Definite */;
+  }
+}
 function isAssignmentTarget(node) {
-  return getAssignmentTargetKind(node) !== 0 /* None */;
+  return !!getAssignmentTarget(node);
+}
+function isCompoundLikeAssignment(assignment) {
+  const right = skipParentheses(assignment.right);
+  return right.kind === 226 /* BinaryExpression */ && isShiftOperatorOrHigher(right.operatorToken.kind);
+}
+function isInCompoundLikeAssignment(node) {
+  const target = getAssignmentTarget(node);
+  return !!target && isAssignmentExpression(
+    target,
+    /*excludeCompoundAssignment*/
+    true
+  ) && isCompoundLikeAssignment(target);
 }
 function isNodeWithPossibleHoistedDeclaration(node) {
   switch (node.kind) {
@@ -16047,13 +16077,11 @@ function setLocalizedDiagnosticMessages(messages) {
 function getLocaleSpecificMessage(message) {
   return localizedDiagnosticMessages && localizedDiagnosticMessages[message.key] || message.message;
 }
-function createDetachedDiagnostic(fileName, start, length2, message, ...args) {
-  assertDiagnosticLocation(
-    /*file*/
-    void 0,
-    start,
-    length2
-  );
+function createDetachedDiagnostic(fileName, sourceText, start, length2, message, ...args) {
+  if (start + length2 > sourceText.length) {
+    length2 = sourceText.length - start;
+  }
+  assertDiagnosticLocation(sourceText, start, length2);
   let text = getLocaleSpecificMessage(message);
   if (some(args)) {
     text = formatStringFromArgs(text, args);
@@ -16109,7 +16137,7 @@ function attachFileToDiagnostics(diagnostics, file) {
   return diagnosticsWithLocation;
 }
 function createFileDiagnostic(file, start, length2, message, ...args) {
-  assertDiagnosticLocation(file, start, length2);
+  assertDiagnosticLocation(file.text, start, length2);
   let text = getLocaleSpecificMessage(message);
   if (some(args)) {
     text = formatStringFromArgs(text, args);
@@ -26639,7 +26667,7 @@ var Parser;
     }
     return sourceFile;
     function reportPragmaDiagnostic(pos, end, diagnostic) {
-      parseDiagnostics.push(createDetachedDiagnostic(fileName, pos, end, diagnostic));
+      parseDiagnostics.push(createDetachedDiagnostic(fileName, sourceText, pos, end, diagnostic));
     }
   }
   let hasDeprecatedTag = false;
@@ -26879,7 +26907,7 @@ var Parser;
     const lastError = lastOrUndefined(parseDiagnostics);
     let result;
     if (!lastError || start !== lastError.start) {
-      result = createDetachedDiagnostic(fileName, start, length2, message, ...args);
+      result = createDetachedDiagnostic(fileName, sourceText, start, length2, message, ...args);
       parseDiagnostics.push(result);
     }
     parseErrorBeforeNextFinishedNode = true;
@@ -27107,7 +27135,7 @@ var Parser;
     if (lastError) {
       addRelatedInfo(
         lastError,
-        createDetachedDiagnostic(fileName, openPosition, 1, Diagnostics.The_parser_expected_to_find_a_1_to_match_the_0_token_here, tokenToString(openKind), tokenToString(closeKind))
+        createDetachedDiagnostic(fileName, sourceText, openPosition, 1, Diagnostics.The_parser_expected_to_find_a_1_to_match_the_0_token_here, tokenToString(openKind), tokenToString(closeKind))
       );
     }
   }
@@ -28706,7 +28734,7 @@ var Parser;
       if (lastError && lastError.code === Diagnostics._0_expected.code) {
         addRelatedInfo(
           lastError,
-          createDetachedDiagnostic(fileName, openBracePosition, 1, Diagnostics.The_parser_expected_to_find_a_1_to_match_the_0_token_here, "{", "}")
+          createDetachedDiagnostic(fileName, sourceText, openBracePosition, 1, Diagnostics.The_parser_expected_to_find_a_1_to_match_the_0_token_here, "{", "}")
         );
       }
     }
@@ -31823,7 +31851,7 @@ var Parser;
         if (lastError && lastError.code === Diagnostics._0_expected.code) {
           addRelatedInfo(
             lastError,
-            createDetachedDiagnostic(fileName, openBracePosition, 1, Diagnostics.The_parser_expected_to_find_a_1_to_match_the_0_token_here, "{", "}")
+            createDetachedDiagnostic(fileName, sourceText, openBracePosition, 1, Diagnostics.The_parser_expected_to_find_a_1_to_match_the_0_token_here, "{", "}")
           );
         }
       }
@@ -32802,7 +32830,7 @@ var Parser;
               if (childTypeTag) {
                 const lastError = parseErrorAtCurrentToken(Diagnostics.A_JSDoc_typedef_comment_may_not_contain_multiple_type_tags);
                 if (lastError) {
-                  addRelatedInfo(lastError, createDetachedDiagnostic(fileName, 0, 0, Diagnostics.The_tag_was_first_specified_here));
+                  addRelatedInfo(lastError, createDetachedDiagnostic(fileName, sourceText, 0, 0, Diagnostics.The_tag_was_first_specified_here));
                 }
                 break;
               } else {
@@ -52302,7 +52330,7 @@ function createTypeChecker(host) {
       return checkFlags & 2 /* SyntheticProperty */ ? checkFlags & 65536 /* DeferredType */ ? getWriteTypeOfSymbolWithDeferredType(symbol) || getTypeOfSymbolWithDeferredType(symbol) : (
         // NOTE: cast to TransientSymbol should be safe because only TransientSymbols can have CheckFlags.SyntheticProperty
         symbol.links.writeType || symbol.links.type
-      ) : getTypeOfSymbol(symbol);
+      ) : removeMissingType(getTypeOfSymbol(symbol), !!(symbol.flags & 16777216 /* Optional */));
     }
     if (symbol.flags & 98304 /* Accessor */) {
       return checkFlags & 1 /* Instantiated */ ? getWriteTypeOfInstantiatedSymbol(symbol) : getWriteTypeOfAccessors(symbol);
@@ -63513,7 +63541,6 @@ function createTypeChecker(host) {
     let bivariant = false;
     let propagationType;
     let inferencePriority = 2048 /* MaxValue */;
-    let allowComplexConstraintInference = true;
     let visited;
     let sourceStack;
     let targetStack;
@@ -63668,8 +63695,7 @@ function createTypeChecker(host) {
         source = getReducedType(source);
         if (!(priority & 512 /* NoConstraints */ && source.flags & (2097152 /* Intersection */ | 465829888 /* Instantiable */))) {
           const apparentSource = getApparentType(source);
-          if (apparentSource !== source && allowComplexConstraintInference && !(apparentSource.flags & (524288 /* Object */ | 2097152 /* Intersection */))) {
-            allowComplexConstraintInference = false;
+          if (apparentSource !== source && !(apparentSource.flags & (524288 /* Object */ | 2097152 /* Intersection */))) {
             return inferFromTypes(apparentSource, target);
           }
           source = apparentSource;
@@ -65313,10 +65339,11 @@ function createTypeChecker(host) {
           const assignedType = getWidenedLiteralType(getInitialOrAssignedType(flow));
           return isTypeAssignableTo(assignedType, declaredType) ? assignedType : anyArrayType;
         }
-        if (declaredType.flags & 1048576 /* Union */) {
-          return getAssignmentReducedType(declaredType, getInitialOrAssignedType(flow));
+        const t = isInCompoundLikeAssignment(node) ? getBaseTypeOfLiteralType(declaredType) : declaredType;
+        if (t.flags & 1048576 /* Union */) {
+          return getAssignmentReducedType(t, getInitialOrAssignedType(flow));
         }
-        return declaredType;
+        return t;
       }
       if (containsMatchingReference(reference, node)) {
         if (!isReachableFlowNode(flow)) {
@@ -66179,7 +66206,15 @@ function createTypeChecker(host) {
         location = location.parent;
       }
       if (isExpressionNode(location) && (!isAssignmentTarget(location) || isWriteAccess(location))) {
-        const type = removeOptionalTypeMarker(getTypeOfExpression(location));
+        const type = removeOptionalTypeMarker(
+          isWriteAccess(location) && location.kind === 211 /* PropertyAccessExpression */ ? checkPropertyAccessExpression(
+            location,
+            /*checkMode*/
+            void 0,
+            /*writeOnly*/
+            true
+          ) : getTypeOfExpression(location)
+        );
         if (getExportSymbolOfValueSymbolIfExported(getNodeLinks(location).resolvedSymbol) === symbol) {
           return type;
         }
@@ -66440,7 +66475,7 @@ function createTypeChecker(host) {
     const isAlias = localOrExportSymbol.flags & 2097152 /* Alias */;
     if (localOrExportSymbol.flags & 3 /* Variable */) {
       if (assignmentKind === 1 /* Definite */) {
-        return type;
+        return isInCompoundLikeAssignment(node) ? getBaseTypeOfLiteralType(type) : type;
       }
     } else if (isAlias) {
       declaration = getDeclarationOfAliasSymbol(symbol);
@@ -67535,8 +67570,19 @@ function createTypeChecker(host) {
       contextualType,
       concatenate(
         map(
-          filter(node.properties, (p) => !!p.symbol && p.kind === 303 /* PropertyAssignment */ && isPossiblyDiscriminantValue(p.initializer) && isDiscriminantProperty(contextualType, p.symbol.escapedName)),
-          (prop) => [() => getContextFreeTypeOfExpression(prop.initializer), prop.symbol.escapedName]
+          filter(node.properties, (p) => {
+            if (!p.symbol) {
+              return false;
+            }
+            if (p.kind === 303 /* PropertyAssignment */) {
+              return isPossiblyDiscriminantValue(p.initializer) && isDiscriminantProperty(contextualType, p.symbol.escapedName);
+            }
+            if (p.kind === 304 /* ShorthandPropertyAssignment */) {
+              return isDiscriminantProperty(contextualType, p.symbol.escapedName);
+            }
+            return false;
+          }),
+          (prop) => [() => getContextFreeTypeOfExpression(prop.kind === 303 /* PropertyAssignment */ ? prop.initializer : prop.name), prop.symbol.escapedName]
         ),
         map(
           filter(getPropertiesOfType(contextualType), (s) => {

package/lib/tsserver.js

@@ -1416,6 +1416,7 @@ __export(server_exports, {
   isImportTypeNode: () => isImportTypeNode,
   isImportableFile: () => isImportableFile,
   isInComment: () => isInComment,
+  isInCompoundLikeAssignment: () => isInCompoundLikeAssignment,
   isInExpressionContext: () => isInExpressionContext,
   isInJSDoc: () => isInJSDoc,
   isInJSFile: () => isInJSFile,
@@ -1709,6 +1710,7 @@ __export(server_exports, {
   isSetAccessor: () => isSetAccessor,
   isSetAccessorDeclaration: () => isSetAccessorDeclaration,
   isShebangTrivia: () => isShebangTrivia,
+  isShiftOperatorOrHigher: () => isShiftOperatorOrHigher,
   isShorthandAmbientModuleSymbol: () => isShorthandAmbientModuleSymbol,
   isShorthandPropertyAssignment: () => isShorthandPropertyAssignment,
   isSignedNumericLiteral: () => isSignedNumericLiteral,
@@ -2331,7 +2333,7 @@ module.exports = __toCommonJS(server_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.3";
-var version = `${versionMajorMinor}.0-dev.20230815`;
+var version = `${versionMajorMinor}.0-dev.20230816`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -16244,16 +16246,14 @@ function createDiagnosticForNodeArrayFromMessageChain(sourceFile, nodes, message
   const start2 = skipTrivia(sourceFile.text, nodes.pos);
   return createFileDiagnosticFromMessageChain(sourceFile, start2, nodes.end - start2, messageChain, relatedInformation);
 }
-function assertDiagnosticLocation(file, start2, length2) {
+function assertDiagnosticLocation(sourceText, start2, length2) {
   Debug.assertGreaterThanOrEqual(start2, 0);
   Debug.assertGreaterThanOrEqual(length2, 0);
-  if (file) {
-    Debug.assertLessThanOrEqual(start2, file.text.length);
-    Debug.assertLessThanOrEqual(start2 + length2, file.text.length);
-  }
+  Debug.assertLessThanOrEqual(start2, sourceText.length);
+  Debug.assertLessThanOrEqual(start2 + length2, sourceText.length);
 }
 function createFileDiagnosticFromMessageChain(file, start2, length2, messageChain, relatedInformation) {
-  assertDiagnosticLocation(file, start2, length2);
+  assertDiagnosticLocation(file.text, start2, length2);
   return {
     file,
     start: start2,
@@ -17128,8 +17128,8 @@ function isInExpressionContext(node) {
       return forStatement.initializer === node && forStatement.initializer.kind !== 261 /* VariableDeclarationList */ || forStatement.condition === node || forStatement.incrementor === node;
     case 249 /* ForInStatement */:
     case 250 /* ForOfStatement */:
-      const forInStatement = parent2;
-      return forInStatement.initializer === node && forInStatement.initializer.kind !== 261 /* VariableDeclarationList */ || forInStatement.expression === node;
+      const forInOrOfStatement = parent2;
+      return forInOrOfStatement.initializer === node && forInOrOfStatement.initializer.kind !== 261 /* VariableDeclarationList */ || forInOrOfStatement.expression === node;
     case 216 /* TypeAssertionExpression */:
     case 234 /* AsExpression */:
       return node === parent2.expression;
@@ -17825,20 +17825,23 @@ var AssignmentKind = /* @__PURE__ */ ((AssignmentKind2) => {
   AssignmentKind2[AssignmentKind2["Compound"] = 2] = "Compound";
   return AssignmentKind2;
 })(AssignmentKind || {});
-function getAssignmentTargetKind(node) {
+function getAssignmentTarget(node) {
   let parent2 = node.parent;
   while (true) {
     switch (parent2.kind) {
       case 226 /* BinaryExpression */:
-        const binaryOperator = parent2.operatorToken.kind;
-        return isAssignmentOperator(binaryOperator) && parent2.left === node ? binaryOperator === 64 /* EqualsToken */ || isLogicalOrCoalescingAssignmentOperator(binaryOperator) ? 1 /* Definite */ : 2 /* Compound */ : 0 /* None */;
+        const binaryExpression = parent2;
+        const binaryOperator = binaryExpression.operatorToken.kind;
+        return isAssignmentOperator(binaryOperator) && binaryExpression.left === node ? binaryExpression : void 0;
       case 224 /* PrefixUnaryExpression */:
       case 225 /* PostfixUnaryExpression */:
-        const unaryOperator = parent2.operator;
-        return unaryOperator === 46 /* PlusPlusToken */ || unaryOperator === 47 /* MinusMinusToken */ ? 2 /* Compound */ : 0 /* None */;
+        const unaryExpression = parent2;
+        const unaryOperator = unaryExpression.operator;
+        return unaryOperator === 46 /* PlusPlusToken */ || unaryOperator === 47 /* MinusMinusToken */ ? unaryExpression : void 0;
       case 249 /* ForInStatement */:
       case 250 /* ForOfStatement */:
-        return parent2.initializer === node ? 1 /* Definite */ : 0 /* None */;
+        const forInOrOfStatement = parent2;
+        return forInOrOfStatement.initializer === node ? forInOrOfStatement : void 0;
       case 217 /* ParenthesizedExpression */:
       case 209 /* ArrayLiteralExpression */:
       case 230 /* SpreadElement */:
@@ -17850,24 +17853,53 @@ function getAssignmentTargetKind(node) {
         break;
       case 304 /* ShorthandPropertyAssignment */:
         if (parent2.name !== node) {
-          return 0 /* None */;
+          return void 0;
         }
         node = parent2.parent;
         break;
       case 303 /* PropertyAssignment */:
         if (parent2.name === node) {
-          return 0 /* None */;
+          return void 0;
         }
         node = parent2.parent;
         break;
       default:
-        return 0 /* None */;
+        return void 0;
     }
     parent2 = node.parent;
   }
 }
+function getAssignmentTargetKind(node) {
+  const target = getAssignmentTarget(node);
+  if (!target) {
+    return 0 /* None */;
+  }
+  switch (target.kind) {
+    case 226 /* BinaryExpression */:
+      const binaryOperator = target.operatorToken.kind;
+      return binaryOperator === 64 /* EqualsToken */ || isLogicalOrCoalescingAssignmentOperator(binaryOperator) ? 1 /* Definite */ : 2 /* Compound */;
+    case 224 /* PrefixUnaryExpression */:
+    case 225 /* PostfixUnaryExpression */:
+      return 2 /* Compound */;
+    case 249 /* ForInStatement */:
+    case 250 /* ForOfStatement */:
+      return 1 /* Definite */;
+  }
+}
 function isAssignmentTarget(node) {
-  return getAssignmentTargetKind(node) !== 0 /* None */;
+  return !!getAssignmentTarget(node);
+}
+function isCompoundLikeAssignment(assignment) {
+  const right = skipParentheses(assignment.right);
+  return right.kind === 226 /* BinaryExpression */ && isShiftOperatorOrHigher(right.operatorToken.kind);
+}
+function isInCompoundLikeAssignment(node) {
+  const target = getAssignmentTarget(node);
+  return !!target && isAssignmentExpression(
+    target,
+    /*excludeCompoundAssignment*/
+    true
+  ) && isCompoundLikeAssignment(target);
 }
 function isNodeWithPossibleHoistedDeclaration(node) {
   switch (node.kind) {
@@ -20183,13 +20215,11 @@ function maybeSetLocalizedDiagnosticMessages(getMessages) {
 function getLocaleSpecificMessage(message) {
   return localizedDiagnosticMessages && localizedDiagnosticMessages[message.key] || message.message;
 }
-function createDetachedDiagnostic(fileName, start2, length2, message, ...args) {
-  assertDiagnosticLocation(
-    /*file*/
-    void 0,
-    start2,
-    length2
-  );
+function createDetachedDiagnostic(fileName, sourceText, start2, length2, message, ...args) {
+  if (start2 + length2 > sourceText.length) {
+    length2 = sourceText.length - start2;
+  }
+  assertDiagnosticLocation(sourceText, start2, length2);
   let text = getLocaleSpecificMessage(message);
   if (some(args)) {
     text = formatStringFromArgs(text, args);
@@ -20245,7 +20275,7 @@ function attachFileToDiagnostics(diagnostics, file) {
   return diagnosticsWithLocation;
 }
 function createFileDiagnostic(file, start2, length2, message, ...args) {
-  assertDiagnosticLocation(file, start2, length2);
+  assertDiagnosticLocation(file.text, start2, length2);
   let text = getLocaleSpecificMessage(message);
   if (some(args)) {
     text = formatStringFromArgs(text, args);
@@ -31039,7 +31069,7 @@ var Parser;
     }
     return sourceFile;
     function reportPragmaDiagnostic(pos, end, diagnostic) {
-      parseDiagnostics.push(createDetachedDiagnostic(fileName, pos, end, diagnostic));
+      parseDiagnostics.push(createDetachedDiagnostic(fileName, sourceText, pos, end, diagnostic));
     }
   }
   let hasDeprecatedTag = false;
@@ -31279,7 +31309,7 @@ var Parser;
     const lastError = lastOrUndefined(parseDiagnostics);
     let result;
     if (!lastError || start2 !== lastError.start) {
-      result = createDetachedDiagnostic(fileName, start2, length2, message, ...args);
+      result = createDetachedDiagnostic(fileName, sourceText, start2, length2, message, ...args);
       parseDiagnostics.push(result);
     }
     parseErrorBeforeNextFinishedNode = true;
@@ -31507,7 +31537,7 @@ var Parser;
     if (lastError) {
       addRelatedInfo(
         lastError,
-        createDetachedDiagnostic(fileName, openPosition, 1, Diagnostics.The_parser_expected_to_find_a_1_to_match_the_0_token_here, tokenToString(openKind), tokenToString(closeKind))
+        createDetachedDiagnostic(fileName, sourceText, openPosition, 1, Diagnostics.The_parser_expected_to_find_a_1_to_match_the_0_token_here, tokenToString(openKind), tokenToString(closeKind))
       );
     }
   }
@@ -33106,7 +33136,7 @@ var Parser;
       if (lastError && lastError.code === Diagnostics._0_expected.code) {
         addRelatedInfo(
           lastError,
-          createDetachedDiagnostic(fileName, openBracePosition, 1, Diagnostics.The_parser_expected_to_find_a_1_to_match_the_0_token_here, "{", "}")
+          createDetachedDiagnostic(fileName, sourceText, openBracePosition, 1, Diagnostics.The_parser_expected_to_find_a_1_to_match_the_0_token_here, "{", "}")
         );
       }
     }
@@ -36223,7 +36253,7 @@ var Parser;
         if (lastError && lastError.code === Diagnostics._0_expected.code) {
           addRelatedInfo(
             lastError,
-            createDetachedDiagnostic(fileName, openBracePosition, 1, Diagnostics.The_parser_expected_to_find_a_1_to_match_the_0_token_here, "{", "}")
+            createDetachedDiagnostic(fileName, sourceText, openBracePosition, 1, Diagnostics.The_parser_expected_to_find_a_1_to_match_the_0_token_here, "{", "}")
           );
         }
       }
@@ -37202,7 +37232,7 @@ var Parser;
               if (childTypeTag) {
                 const lastError = parseErrorAtCurrentToken(Diagnostics.A_JSDoc_typedef_comment_may_not_contain_multiple_type_tags);
                 if (lastError) {
-                  addRelatedInfo(lastError, createDetachedDiagnostic(fileName, 0, 0, Diagnostics.The_tag_was_first_specified_here));
+                  addRelatedInfo(lastError, createDetachedDiagnostic(fileName, sourceText, 0, 0, Diagnostics.The_tag_was_first_specified_here));
                 }
                 break;
               } else {
@@ -57011,7 +57041,7 @@ function createTypeChecker(host) {
       return checkFlags & 2 /* SyntheticProperty */ ? checkFlags & 65536 /* DeferredType */ ? getWriteTypeOfSymbolWithDeferredType(symbol) || getTypeOfSymbolWithDeferredType(symbol) : (
         // NOTE: cast to TransientSymbol should be safe because only TransientSymbols can have CheckFlags.SyntheticProperty
         symbol.links.writeType || symbol.links.type
-      ) : getTypeOfSymbol(symbol);
+      ) : removeMissingType(getTypeOfSymbol(symbol), !!(symbol.flags & 16777216 /* Optional */));
     }
     if (symbol.flags & 98304 /* Accessor */) {
       return checkFlags & 1 /* Instantiated */ ? getWriteTypeOfInstantiatedSymbol(symbol) : getWriteTypeOfAccessors(symbol);
@@ -68222,7 +68252,6 @@ function createTypeChecker(host) {
     let bivariant = false;
     let propagationType;
     let inferencePriority = 2048 /* MaxValue */;
-    let allowComplexConstraintInference = true;
     let visited;
     let sourceStack;
     let targetStack;
@@ -68377,8 +68406,7 @@ function createTypeChecker(host) {
         source = getReducedType(source);
         if (!(priority & 512 /* NoConstraints */ && source.flags & (2097152 /* Intersection */ | 465829888 /* Instantiable */))) {
           const apparentSource = getApparentType(source);
-          if (apparentSource !== source && allowComplexConstraintInference && !(apparentSource.flags & (524288 /* Object */ | 2097152 /* Intersection */))) {
-            allowComplexConstraintInference = false;
+          if (apparentSource !== source && !(apparentSource.flags & (524288 /* Object */ | 2097152 /* Intersection */))) {
             return inferFromTypes(apparentSource, target);
           }
           source = apparentSource;
@@ -70022,10 +70050,11 @@ function createTypeChecker(host) {
           const assignedType = getWidenedLiteralType(getInitialOrAssignedType(flow));
           return isTypeAssignableTo(assignedType, declaredType) ? assignedType : anyArrayType;
         }
-        if (declaredType.flags & 1048576 /* Union */) {
-          return getAssignmentReducedType(declaredType, getInitialOrAssignedType(flow));
+        const t = isInCompoundLikeAssignment(node) ? getBaseTypeOfLiteralType(declaredType) : declaredType;
+        if (t.flags & 1048576 /* Union */) {
+          return getAssignmentReducedType(t, getInitialOrAssignedType(flow));
         }
-        return declaredType;
+        return t;
       }
       if (containsMatchingReference(reference, node)) {
         if (!isReachableFlowNode(flow)) {
@@ -70888,7 +70917,15 @@ function createTypeChecker(host) {
         location = location.parent;
       }
       if (isExpressionNode(location) && (!isAssignmentTarget(location) || isWriteAccess(location))) {
-        const type = removeOptionalTypeMarker(getTypeOfExpression(location));
+        const type = removeOptionalTypeMarker(
+          isWriteAccess(location) && location.kind === 211 /* PropertyAccessExpression */ ? checkPropertyAccessExpression(
+            location,
+            /*checkMode*/
+            void 0,
+            /*writeOnly*/
+            true
+          ) : getTypeOfExpression(location)
+        );
         if (getExportSymbolOfValueSymbolIfExported(getNodeLinks(location).resolvedSymbol) === symbol) {
           return type;
         }
@@ -71149,7 +71186,7 @@ function createTypeChecker(host) {
     const isAlias = localOrExportSymbol.flags & 2097152 /* Alias */;
     if (localOrExportSymbol.flags & 3 /* Variable */) {
       if (assignmentKind === 1 /* Definite */) {
-        return type;
+        return isInCompoundLikeAssignment(node) ? getBaseTypeOfLiteralType(type) : type;
       }
     } else if (isAlias) {
       declaration = getDeclarationOfAliasSymbol(symbol);
@@ -72244,8 +72281,19 @@ function createTypeChecker(host) {
       contextualType,
       concatenate(
         map(
-          filter(node.properties, (p) => !!p.symbol && p.kind === 303 /* PropertyAssignment */ && isPossiblyDiscriminantValue(p.initializer) && isDiscriminantProperty(contextualType, p.symbol.escapedName)),
-          (prop) => [() => getContextFreeTypeOfExpression(prop.initializer), prop.symbol.escapedName]
+          filter(node.properties, (p) => {
+            if (!p.symbol) {
+              return false;
+            }
+            if (p.kind === 303 /* PropertyAssignment */) {
+              return isPossiblyDiscriminantValue(p.initializer) && isDiscriminantProperty(contextualType, p.symbol.escapedName);
+            }
+            if (p.kind === 304 /* ShorthandPropertyAssignment */) {
+              return isDiscriminantProperty(contextualType, p.symbol.escapedName);
+            }
+            return false;
+          }),
+          (prop) => [() => getContextFreeTypeOfExpression(prop.kind === 303 /* PropertyAssignment */ ? prop.initializer : prop.name), prop.symbol.escapedName]
         ),
         map(
           filter(getPropertiesOfType(contextualType), (s) => {
@@ -164905,11 +164953,12 @@ function provideInlayHints(context) {
     if (!signature || !candidates.length) {
       return;
     }
-    let signatureParamPos = 0;
     const sourceFile = shouldUseInteractiveInlayHints(preferences) ? expr.getSourceFile() : void 0;
+    let signatureParamPos = 0;
     for (const originalArg of args) {
       const arg = skipParentheses(originalArg);
       if (shouldShowLiteralParameterNameHintsOnly(preferences) && !isHintableLiteral(arg)) {
+        signatureParamPos++;
         continue;
       }
       let spreadArgs = 0;
@@ -173490,6 +173539,7 @@ __export(ts_exports2, {
   isImportTypeNode: () => isImportTypeNode,
   isImportableFile: () => isImportableFile,
   isInComment: () => isInComment,
+  isInCompoundLikeAssignment: () => isInCompoundLikeAssignment,
   isInExpressionContext: () => isInExpressionContext,
   isInJSDoc: () => isInJSDoc,
   isInJSFile: () => isInJSFile,
@@ -173783,6 +173833,7 @@ __export(ts_exports2, {
   isSetAccessor: () => isSetAccessor,
   isSetAccessorDeclaration: () => isSetAccessorDeclaration,
   isShebangTrivia: () => isShebangTrivia,
+  isShiftOperatorOrHigher: () => isShiftOperatorOrHigher,
   isShorthandAmbientModuleSymbol: () => isShorthandAmbientModuleSymbol,
   isShorthandPropertyAssignment: () => isShorthandPropertyAssignment,
   isSignedNumericLiteral: () => isSignedNumericLiteral,
@@ -188019,6 +188070,7 @@ start(initializeNodeSystem(), require("os").platform());
   isImportTypeNode,
   isImportableFile,
   isInComment,
+  isInCompoundLikeAssignment,
   isInExpressionContext,
   isInJSDoc,
   isInJSFile,
@@ -188312,6 +188364,7 @@ start(initializeNodeSystem(), require("os").platform());
   isSetAccessor,
   isSetAccessorDeclaration,
   isShebangTrivia,
+  isShiftOperatorOrHigher,
   isShorthandAmbientModuleSymbol,
   isShorthandPropertyAssignment,
   isSignedNumericLiteral,

package/lib/typescript.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.3";
-      version = `${versionMajorMinor}.0-dev.20230815`;
+      version = `${versionMajorMinor}.0-dev.20230816`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -14026,16 +14026,14 @@ ${lanes.join("\n")}
     const start = skipTrivia(sourceFile.text, nodes.pos);
     return createFileDiagnosticFromMessageChain(sourceFile, start, nodes.end - start, messageChain, relatedInformation);
   }
-  function assertDiagnosticLocation(file, start, length2) {
+  function assertDiagnosticLocation(sourceText, start, length2) {
     Debug.assertGreaterThanOrEqual(start, 0);
     Debug.assertGreaterThanOrEqual(length2, 0);
-    if (file) {
-      Debug.assertLessThanOrEqual(start, file.text.length);
-      Debug.assertLessThanOrEqual(start + length2, file.text.length);
-    }
+    Debug.assertLessThanOrEqual(start, sourceText.length);
+    Debug.assertLessThanOrEqual(start + length2, sourceText.length);
   }
   function createFileDiagnosticFromMessageChain(file, start, length2, messageChain, relatedInformation) {
-    assertDiagnosticLocation(file, start, length2);
+    assertDiagnosticLocation(file.text, start, length2);
     return {
       file,
       start,
@@ -14904,8 +14902,8 @@ ${lanes.join("\n")}
         return forStatement.initializer === node && forStatement.initializer.kind !== 261 /* VariableDeclarationList */ || forStatement.condition === node || forStatement.incrementor === node;
       case 249 /* ForInStatement */:
       case 250 /* ForOfStatement */:
-        const forInStatement = parent2;
-        return forInStatement.initializer === node && forInStatement.initializer.kind !== 261 /* VariableDeclarationList */ || forInStatement.expression === node;
+        const forInOrOfStatement = parent2;
+        return forInOrOfStatement.initializer === node && forInOrOfStatement.initializer.kind !== 261 /* VariableDeclarationList */ || forInOrOfStatement.expression === node;
       case 216 /* TypeAssertionExpression */:
       case 234 /* AsExpression */:
         return node === parent2.expression;
@@ -15595,20 +15593,23 @@ ${lanes.join("\n")}
   function hasTypeArguments(node) {
     return !!node.typeArguments;
   }
-  function getAssignmentTargetKind(node) {
+  function getAssignmentTarget(node) {
     let parent2 = node.parent;
     while (true) {
       switch (parent2.kind) {
         case 226 /* BinaryExpression */:
-          const binaryOperator = parent2.operatorToken.kind;
-          return isAssignmentOperator(binaryOperator) && parent2.left === node ? binaryOperator === 64 /* EqualsToken */ || isLogicalOrCoalescingAssignmentOperator(binaryOperator) ? 1 /* Definite */ : 2 /* Compound */ : 0 /* None */;
+          const binaryExpression = parent2;
+          const binaryOperator = binaryExpression.operatorToken.kind;
+          return isAssignmentOperator(binaryOperator) && binaryExpression.left === node ? binaryExpression : void 0;
         case 224 /* PrefixUnaryExpression */:
         case 225 /* PostfixUnaryExpression */:
-          const unaryOperator = parent2.operator;
-          return unaryOperator === 46 /* PlusPlusToken */ || unaryOperator === 47 /* MinusMinusToken */ ? 2 /* Compound */ : 0 /* None */;
+          const unaryExpression = parent2;
+          const unaryOperator = unaryExpression.operator;
+          return unaryOperator === 46 /* PlusPlusToken */ || unaryOperator === 47 /* MinusMinusToken */ ? unaryExpression : void 0;
         case 249 /* ForInStatement */:
         case 250 /* ForOfStatement */:
-          return parent2.initializer === node ? 1 /* Definite */ : 0 /* None */;
+          const forInOrOfStatement = parent2;
+          return forInOrOfStatement.initializer === node ? forInOrOfStatement : void 0;
         case 217 /* ParenthesizedExpression */:
         case 209 /* ArrayLiteralExpression */:
         case 230 /* SpreadElement */:
@@ -15620,24 +15621,53 @@ ${lanes.join("\n")}
           break;
         case 304 /* ShorthandPropertyAssignment */:
           if (parent2.name !== node) {
-            return 0 /* None */;
+            return void 0;
           }
           node = parent2.parent;
           break;
         case 303 /* PropertyAssignment */:
           if (parent2.name === node) {
-            return 0 /* None */;
+            return void 0;
           }
           node = parent2.parent;
           break;
         default:
-          return 0 /* None */;
+          return void 0;
       }
       parent2 = node.parent;
     }
   }
+  function getAssignmentTargetKind(node) {
+    const target = getAssignmentTarget(node);
+    if (!target) {
+      return 0 /* None */;
+    }
+    switch (target.kind) {
+      case 226 /* BinaryExpression */:
+        const binaryOperator = target.operatorToken.kind;
+        return binaryOperator === 64 /* EqualsToken */ || isLogicalOrCoalescingAssignmentOperator(binaryOperator) ? 1 /* Definite */ : 2 /* Compound */;
+      case 224 /* PrefixUnaryExpression */:
+      case 225 /* PostfixUnaryExpression */:
+        return 2 /* Compound */;
+      case 249 /* ForInStatement */:
+      case 250 /* ForOfStatement */:
+        return 1 /* Definite */;
+    }
+  }
   function isAssignmentTarget(node) {
-    return getAssignmentTargetKind(node) !== 0 /* None */;
+    return !!getAssignmentTarget(node);
+  }
+  function isCompoundLikeAssignment(assignment) {
+    const right = skipParentheses(assignment.right);
+    return right.kind === 226 /* BinaryExpression */ && isShiftOperatorOrHigher(right.operatorToken.kind);
+  }
+  function isInCompoundLikeAssignment(node) {
+    const target = getAssignmentTarget(node);
+    return !!target && isAssignmentExpression(
+      target,
+      /*excludeCompoundAssignment*/
+      true
+    ) && isCompoundLikeAssignment(target);
   }
   function isNodeWithPossibleHoistedDeclaration(node) {
     switch (node.kind) {
@@ -17864,13 +17894,11 @@ ${lanes.join("\n")}
   function getLocaleSpecificMessage(message) {
     return localizedDiagnosticMessages && localizedDiagnosticMessages[message.key] || message.message;
   }
-  function createDetachedDiagnostic(fileName, start, length2, message, ...args) {
-    assertDiagnosticLocation(
-      /*file*/
-      void 0,
-      start,
-      length2
-    );
+  function createDetachedDiagnostic(fileName, sourceText, start, length2, message, ...args) {
+    if (start + length2 > sourceText.length) {
+      length2 = sourceText.length - start;
+    }
+    assertDiagnosticLocation(sourceText, start, length2);
     let text = getLocaleSpecificMessage(message);
     if (some(args)) {
       text = formatStringFromArgs(text, args);
@@ -17926,7 +17954,7 @@ ${lanes.join("\n")}
     return diagnosticsWithLocation;
   }
   function createFileDiagnostic(file, start, length2, message, ...args) {
-    assertDiagnosticLocation(file, start, length2);
+    assertDiagnosticLocation(file.text, start, length2);
     let text = getLocaleSpecificMessage(message);
     if (some(args)) {
       text = formatStringFromArgs(text, args);
@@ -29108,7 +29136,7 @@ ${lanes.join("\n")}
           }
           return sourceFile;
           function reportPragmaDiagnostic(pos, end, diagnostic) {
-            parseDiagnostics.push(createDetachedDiagnostic(fileName, pos, end, diagnostic));
+            parseDiagnostics.push(createDetachedDiagnostic(fileName, sourceText, pos, end, diagnostic));
           }
         }
         let hasDeprecatedTag = false;
@@ -29348,7 +29376,7 @@ ${lanes.join("\n")}
           const lastError = lastOrUndefined(parseDiagnostics);
           let result;
           if (!lastError || start !== lastError.start) {
-            result = createDetachedDiagnostic(fileName, start, length2, message, ...args);
+            result = createDetachedDiagnostic(fileName, sourceText, start, length2, message, ...args);
             parseDiagnostics.push(result);
           }
           parseErrorBeforeNextFinishedNode = true;
@@ -29576,7 +29604,7 @@ ${lanes.join("\n")}
           if (lastError) {
             addRelatedInfo(
               lastError,
-              createDetachedDiagnostic(fileName, openPosition, 1, Diagnostics.The_parser_expected_to_find_a_1_to_match_the_0_token_here, tokenToString(openKind), tokenToString(closeKind))
+              createDetachedDiagnostic(fileName, sourceText, openPosition, 1, Diagnostics.The_parser_expected_to_find_a_1_to_match_the_0_token_here, tokenToString(openKind), tokenToString(closeKind))
             );
           }
         }
@@ -31175,7 +31203,7 @@ ${lanes.join("\n")}
             if (lastError && lastError.code === Diagnostics._0_expected.code) {
               addRelatedInfo(
                 lastError,
-                createDetachedDiagnostic(fileName, openBracePosition, 1, Diagnostics.The_parser_expected_to_find_a_1_to_match_the_0_token_here, "{", "}")
+                createDetachedDiagnostic(fileName, sourceText, openBracePosition, 1, Diagnostics.The_parser_expected_to_find_a_1_to_match_the_0_token_here, "{", "}")
               );
             }
           }
@@ -34292,7 +34320,7 @@ ${lanes.join("\n")}
               if (lastError && lastError.code === Diagnostics._0_expected.code) {
                 addRelatedInfo(
                   lastError,
-                  createDetachedDiagnostic(fileName, openBracePosition, 1, Diagnostics.The_parser_expected_to_find_a_1_to_match_the_0_token_here, "{", "}")
+                  createDetachedDiagnostic(fileName, sourceText, openBracePosition, 1, Diagnostics.The_parser_expected_to_find_a_1_to_match_the_0_token_here, "{", "}")
                 );
               }
             }
@@ -35271,7 +35299,7 @@ ${lanes.join("\n")}
                     if (childTypeTag) {
                       const lastError = parseErrorAtCurrentToken(Diagnostics.A_JSDoc_typedef_comment_may_not_contain_multiple_type_tags);
                       if (lastError) {
-                        addRelatedInfo(lastError, createDetachedDiagnostic(fileName, 0, 0, Diagnostics.The_tag_was_first_specified_here));
+                        addRelatedInfo(lastError, createDetachedDiagnostic(fileName, sourceText, 0, 0, Diagnostics.The_tag_was_first_specified_here));
                       }
                       break;
                     } else {
@@ -54774,7 +54802,7 @@ ${lanes.join("\n")}
         return checkFlags & 2 /* SyntheticProperty */ ? checkFlags & 65536 /* DeferredType */ ? getWriteTypeOfSymbolWithDeferredType(symbol) || getTypeOfSymbolWithDeferredType(symbol) : (
           // NOTE: cast to TransientSymbol should be safe because only TransientSymbols can have CheckFlags.SyntheticProperty
           symbol.links.writeType || symbol.links.type
-        ) : getTypeOfSymbol(symbol);
+        ) : removeMissingType(getTypeOfSymbol(symbol), !!(symbol.flags & 16777216 /* Optional */));
       }
       if (symbol.flags & 98304 /* Accessor */) {
         return checkFlags & 1 /* Instantiated */ ? getWriteTypeOfInstantiatedSymbol(symbol) : getWriteTypeOfAccessors(symbol);
@@ -65985,7 +66013,6 @@ ${lanes.join("\n")}
       let bivariant = false;
       let propagationType;
       let inferencePriority = 2048 /* MaxValue */;
-      let allowComplexConstraintInference = true;
       let visited;
       let sourceStack;
       let targetStack;
@@ -66140,8 +66167,7 @@ ${lanes.join("\n")}
           source = getReducedType(source);
           if (!(priority & 512 /* NoConstraints */ && source.flags & (2097152 /* Intersection */ | 465829888 /* Instantiable */))) {
             const apparentSource = getApparentType(source);
-            if (apparentSource !== source && allowComplexConstraintInference && !(apparentSource.flags & (524288 /* Object */ | 2097152 /* Intersection */))) {
-              allowComplexConstraintInference = false;
+            if (apparentSource !== source && !(apparentSource.flags & (524288 /* Object */ | 2097152 /* Intersection */))) {
               return inferFromTypes(apparentSource, target);
             }
             source = apparentSource;
@@ -67785,10 +67811,11 @@ ${lanes.join("\n")}
             const assignedType = getWidenedLiteralType(getInitialOrAssignedType(flow));
             return isTypeAssignableTo(assignedType, declaredType) ? assignedType : anyArrayType;
           }
-          if (declaredType.flags & 1048576 /* Union */) {
-            return getAssignmentReducedType(declaredType, getInitialOrAssignedType(flow));
+          const t = isInCompoundLikeAssignment(node) ? getBaseTypeOfLiteralType(declaredType) : declaredType;
+          if (t.flags & 1048576 /* Union */) {
+            return getAssignmentReducedType(t, getInitialOrAssignedType(flow));
           }
-          return declaredType;
+          return t;
         }
         if (containsMatchingReference(reference, node)) {
           if (!isReachableFlowNode(flow)) {
@@ -68651,7 +68678,15 @@ ${lanes.join("\n")}
           location = location.parent;
         }
         if (isExpressionNode(location) && (!isAssignmentTarget(location) || isWriteAccess(location))) {
-          const type = removeOptionalTypeMarker(getTypeOfExpression(location));
+          const type = removeOptionalTypeMarker(
+            isWriteAccess(location) && location.kind === 211 /* PropertyAccessExpression */ ? checkPropertyAccessExpression(
+              location,
+              /*checkMode*/
+              void 0,
+              /*writeOnly*/
+              true
+            ) : getTypeOfExpression(location)
+          );
           if (getExportSymbolOfValueSymbolIfExported(getNodeLinks(location).resolvedSymbol) === symbol) {
             return type;
           }
@@ -68912,7 +68947,7 @@ ${lanes.join("\n")}
       const isAlias = localOrExportSymbol.flags & 2097152 /* Alias */;
       if (localOrExportSymbol.flags & 3 /* Variable */) {
         if (assignmentKind === 1 /* Definite */) {
-          return type;
+          return isInCompoundLikeAssignment(node) ? getBaseTypeOfLiteralType(type) : type;
         }
       } else if (isAlias) {
         declaration = getDeclarationOfAliasSymbol(symbol);
@@ -70007,8 +70042,19 @@ ${lanes.join("\n")}
         contextualType,
         concatenate(
           map(
-            filter(node.properties, (p) => !!p.symbol && p.kind === 303 /* PropertyAssignment */ && isPossiblyDiscriminantValue(p.initializer) && isDiscriminantProperty(contextualType, p.symbol.escapedName)),
-            (prop) => [() => getContextFreeTypeOfExpression(prop.initializer), prop.symbol.escapedName]
+            filter(node.properties, (p) => {
+              if (!p.symbol) {
+                return false;
+              }
+              if (p.kind === 303 /* PropertyAssignment */) {
+                return isPossiblyDiscriminantValue(p.initializer) && isDiscriminantProperty(contextualType, p.symbol.escapedName);
+              }
+              if (p.kind === 304 /* ShorthandPropertyAssignment */) {
+                return isDiscriminantProperty(contextualType, p.symbol.escapedName);
+              }
+              return false;
+            }),
+            (prop) => [() => getContextFreeTypeOfExpression(prop.kind === 303 /* PropertyAssignment */ ? prop.initializer : prop.name), prop.symbol.escapedName]
           ),
           map(
             filter(getPropertiesOfType(contextualType), (s) => {
@@ -164253,11 +164299,12 @@ ${newComment.split("\n").map((c) => ` * ${c}`).join("\n")}
       if (!signature || !candidates.length) {
         return;
       }
-      let signatureParamPos = 0;
       const sourceFile = shouldUseInteractiveInlayHints(preferences) ? expr.getSourceFile() : void 0;
+      let signatureParamPos = 0;
       for (const originalArg of args) {
         const arg = skipParentheses(originalArg);
         if (shouldShowLiteralParameterNameHintsOnly(preferences) && !isHintableLiteral(arg)) {
+          signatureParamPos++;
           continue;
         }
         let spreadArgs = 0;
@@ -184638,6 +184685,7 @@ ${e.message}`;
     isImportTypeNode: () => isImportTypeNode,
     isImportableFile: () => isImportableFile,
     isInComment: () => isInComment,
+    isInCompoundLikeAssignment: () => isInCompoundLikeAssignment,
     isInExpressionContext: () => isInExpressionContext,
     isInJSDoc: () => isInJSDoc,
     isInJSFile: () => isInJSFile,
@@ -184931,6 +184979,7 @@ ${e.message}`;
     isSetAccessor: () => isSetAccessor,
     isSetAccessorDeclaration: () => isSetAccessorDeclaration,
     isShebangTrivia: () => isShebangTrivia,
+    isShiftOperatorOrHigher: () => isShiftOperatorOrHigher,
     isShorthandAmbientModuleSymbol: () => isShorthandAmbientModuleSymbol,
     isShorthandPropertyAssignment: () => isShorthandPropertyAssignment,
     isSignedNumericLiteral: () => isSignedNumericLiteral,
@@ -187045,6 +187094,7 @@ ${e.message}`;
     isImportTypeNode: () => isImportTypeNode,
     isImportableFile: () => isImportableFile,
     isInComment: () => isInComment,
+    isInCompoundLikeAssignment: () => isInCompoundLikeAssignment,
     isInExpressionContext: () => isInExpressionContext,
     isInJSDoc: () => isInJSDoc,
     isInJSFile: () => isInJSFile,
@@ -187338,6 +187388,7 @@ ${e.message}`;
     isSetAccessor: () => isSetAccessor,
     isSetAccessorDeclaration: () => isSetAccessorDeclaration,
     isShebangTrivia: () => isShebangTrivia,
+    isShiftOperatorOrHigher: () => isShiftOperatorOrHigher,
     isShorthandAmbientModuleSymbol: () => isShorthandAmbientModuleSymbol,
     isShorthandPropertyAssignment: () => isShorthandPropertyAssignment,
     isSignedNumericLiteral: () => isSignedNumericLiteral,

package/lib/typingsInstaller.js

@@ -54,7 +54,7 @@ var path = __toESM(require("path"));
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.3";
-var version = `${versionMajorMinor}.0-dev.20230815`;
+var version = `${versionMajorMinor}.0-dev.20230816`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -10169,13 +10169,11 @@ function createDiagnosticForNodeInSourceFile(sourceFile, node, message, ...args)
   const span = getErrorSpanForNode(sourceFile, node);
   return createFileDiagnostic(sourceFile, span.start, span.length, message, ...args);
 }
-function assertDiagnosticLocation(file, start, length2) {
+function assertDiagnosticLocation(sourceText, start, length2) {
   Debug.assertGreaterThanOrEqual(start, 0);
   Debug.assertGreaterThanOrEqual(length2, 0);
-  if (file) {
-    Debug.assertLessThanOrEqual(start, file.text.length);
-    Debug.assertLessThanOrEqual(start + length2, file.text.length);
-  }
+  Debug.assertLessThanOrEqual(start, sourceText.length);
+  Debug.assertLessThanOrEqual(start + length2, sourceText.length);
 }
 function getSpanOfTokenAtPosition(sourceFile, pos) {
   const scanner = createScanner(
@@ -11164,13 +11162,11 @@ var localizedDiagnosticMessages;
 function getLocaleSpecificMessage(message) {
   return localizedDiagnosticMessages && localizedDiagnosticMessages[message.key] || message.message;
 }
-function createDetachedDiagnostic(fileName, start, length2, message, ...args) {
-  assertDiagnosticLocation(
-    /*file*/
-    void 0,
-    start,
-    length2
-  );
+function createDetachedDiagnostic(fileName, sourceText, start, length2, message, ...args) {
+  if (start + length2 > sourceText.length) {
+    length2 = sourceText.length - start;
+  }
+  assertDiagnosticLocation(sourceText, start, length2);
   let text = getLocaleSpecificMessage(message);
   if (some(args)) {
     text = formatStringFromArgs(text, args);
@@ -11226,7 +11222,7 @@ function attachFileToDiagnostics(diagnostics, file) {
   return diagnosticsWithLocation;
 }
 function createFileDiagnostic(file, start, length2, message, ...args) {
-  assertDiagnosticLocation(file, start, length2);
+  assertDiagnosticLocation(file.text, start, length2);
   let text = getLocaleSpecificMessage(message);
   if (some(args)) {
     text = formatStringFromArgs(text, args);
@@ -18525,7 +18521,7 @@ var Parser;
     }
     return sourceFile;
     function reportPragmaDiagnostic(pos, end, diagnostic) {
-      parseDiagnostics.push(createDetachedDiagnostic(fileName, pos, end, diagnostic));
+      parseDiagnostics.push(createDetachedDiagnostic(fileName, sourceText, pos, end, diagnostic));
     }
   }
   let hasDeprecatedTag = false;
@@ -18765,7 +18761,7 @@ var Parser;
     const lastError = lastOrUndefined(parseDiagnostics);
     let result;
     if (!lastError || start !== lastError.start) {
-      result = createDetachedDiagnostic(fileName, start, length2, message, ...args);
+      result = createDetachedDiagnostic(fileName, sourceText, start, length2, message, ...args);
       parseDiagnostics.push(result);
     }
     parseErrorBeforeNextFinishedNode = true;
@@ -18993,7 +18989,7 @@ var Parser;
     if (lastError) {
       addRelatedInfo(
         lastError,
-        createDetachedDiagnostic(fileName, openPosition, 1, Diagnostics.The_parser_expected_to_find_a_1_to_match_the_0_token_here, tokenToString(openKind), tokenToString(closeKind))
+        createDetachedDiagnostic(fileName, sourceText, openPosition, 1, Diagnostics.The_parser_expected_to_find_a_1_to_match_the_0_token_here, tokenToString(openKind), tokenToString(closeKind))
       );
     }
   }
@@ -20592,7 +20588,7 @@ var Parser;
       if (lastError && lastError.code === Diagnostics._0_expected.code) {
         addRelatedInfo(
           lastError,
-          createDetachedDiagnostic(fileName, openBracePosition, 1, Diagnostics.The_parser_expected_to_find_a_1_to_match_the_0_token_here, "{", "}")
+          createDetachedDiagnostic(fileName, sourceText, openBracePosition, 1, Diagnostics.The_parser_expected_to_find_a_1_to_match_the_0_token_here, "{", "}")
         );
       }
     }
@@ -23709,7 +23705,7 @@ var Parser;
         if (lastError && lastError.code === Diagnostics._0_expected.code) {
           addRelatedInfo(
             lastError,
-            createDetachedDiagnostic(fileName, openBracePosition, 1, Diagnostics.The_parser_expected_to_find_a_1_to_match_the_0_token_here, "{", "}")
+            createDetachedDiagnostic(fileName, sourceText, openBracePosition, 1, Diagnostics.The_parser_expected_to_find_a_1_to_match_the_0_token_here, "{", "}")
           );
         }
       }
@@ -24688,7 +24684,7 @@ var Parser;
               if (childTypeTag) {
                 const lastError = parseErrorAtCurrentToken(Diagnostics.A_JSDoc_typedef_comment_may_not_contain_multiple_type_tags);
                 if (lastError) {
-                  addRelatedInfo(lastError, createDetachedDiagnostic(fileName, 0, 0, Diagnostics.The_tag_was_first_specified_here));
+                  addRelatedInfo(lastError, createDetachedDiagnostic(fileName, sourceText, 0, 0, Diagnostics.The_tag_was_first_specified_here));
                 }
                 break;
               } else {

package/package.json

@@ -2,7 +2,7 @@
     "name": "typescript",
     "author": "Microsoft Corp.",
     "homepage": "https://www.typescriptlang.org/",
-    "version": "5.3.0-dev.20230815",
+    "version": "5.3.0-dev.20230816",
     "license": "Apache-2.0",
     "description": "TypeScript is a language for application scale JavaScript development",
     "keywords": [
@@ -113,5 +113,5 @@
         "node": "20.1.0",
         "npm": "8.19.4"
     },
-    "gitHead": "c5281bf7003abc09164a093ce643ae8ba422c40f"
+    "gitHead": "cac899d44d19a2753e6cae9ebc8bd291fa571c76"
 }