@typescript-deploys/pr-build 5.2.0-pr-53647-17 → 5.2.0-pr-54777-9

package/lib/tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.2";
-var version = `${versionMajorMinor}.0-insiders.20230627`;
+var version = `${versionMajorMinor}.0-insiders.20230628`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -43746,7 +43746,7 @@ function createTypeChecker(host) {
   };
   var amalgamatedDuplicates;
   var reverseMappedCache = /* @__PURE__ */ new Map();
-  var homomorphicMappedTypeInferenceStack = [];
+  var inInferTypeForHomomorphicMappedType = false;
   var ambientModulesCache;
   var patternAmbientModules;
   var patternAmbientModuleAugmentations;
@@ -52160,7 +52160,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);
@@ -63134,18 +63134,17 @@ function createTypeChecker(host) {
     );
   }
   function inferTypeForHomomorphicMappedType(source, target, constraint) {
-    const cacheKey = source.id + "," + target.id + "," + constraint.id;
-    if (reverseMappedCache.has(cacheKey)) {
-      return reverseMappedCache.get(cacheKey);
-    }
-    const recursionKey = source.id + "," + (target.target || target).id;
-    if (contains(homomorphicMappedTypeInferenceStack, recursionKey)) {
+    if (inInferTypeForHomomorphicMappedType) {
       return void 0;
     }
-    homomorphicMappedTypeInferenceStack.push(recursionKey);
+    const key = source.id + "," + target.id + "," + constraint.id;
+    if (reverseMappedCache.has(key)) {
+      return reverseMappedCache.get(key);
+    }
+    inInferTypeForHomomorphicMappedType = true;
     const type = createReverseMappedType(source, target, constraint);
-    homomorphicMappedTypeInferenceStack.pop();
-    reverseMappedCache.set(cacheKey, type);
+    inInferTypeForHomomorphicMappedType = false;
+    reverseMappedCache.set(key, type);
     return type;
   }
   function isPartiallyInferableType(type) {
@@ -66035,7 +66034,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;
         }

package/lib/tsserver.js

@@ -2327,7 +2327,7 @@ module.exports = __toCommonJS(server_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.2";
-var version = `${versionMajorMinor}.0-insiders.20230627`;
+var version = `${versionMajorMinor}.0-insiders.20230628`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -48422,7 +48422,7 @@ function createTypeChecker(host) {
   };
   var amalgamatedDuplicates;
   var reverseMappedCache = /* @__PURE__ */ new Map();
-  var homomorphicMappedTypeInferenceStack = [];
+  var inInferTypeForHomomorphicMappedType = false;
   var ambientModulesCache;
   var patternAmbientModules;
   var patternAmbientModuleAugmentations;
@@ -56836,7 +56836,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);
@@ -67810,18 +67810,17 @@ function createTypeChecker(host) {
     );
   }
   function inferTypeForHomomorphicMappedType(source, target, constraint) {
-    const cacheKey = source.id + "," + target.id + "," + constraint.id;
-    if (reverseMappedCache.has(cacheKey)) {
-      return reverseMappedCache.get(cacheKey);
-    }
-    const recursionKey = source.id + "," + (target.target || target).id;
-    if (contains(homomorphicMappedTypeInferenceStack, recursionKey)) {
+    if (inInferTypeForHomomorphicMappedType) {
       return void 0;
     }
-    homomorphicMappedTypeInferenceStack.push(recursionKey);
+    const key = source.id + "," + target.id + "," + constraint.id;
+    if (reverseMappedCache.has(key)) {
+      return reverseMappedCache.get(key);
+    }
+    inInferTypeForHomomorphicMappedType = true;
     const type = createReverseMappedType(source, target, constraint);
-    homomorphicMappedTypeInferenceStack.pop();
-    reverseMappedCache.set(cacheKey, type);
+    inInferTypeForHomomorphicMappedType = false;
+    reverseMappedCache.set(key, type);
     return type;
   }
   function isPartiallyInferableType(type) {
@@ -70711,7 +70710,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;
         }

package/lib/tsserverlibrary.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.2";
-      version = `${versionMajorMinor}.0-insiders.20230627`;
+      version = `${versionMajorMinor}.0-insiders.20230628`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -46189,7 +46189,7 @@ ${lanes.join("\n")}
     };
     var amalgamatedDuplicates;
     var reverseMappedCache = /* @__PURE__ */ new Map();
-    var homomorphicMappedTypeInferenceStack = [];
+    var inInferTypeForHomomorphicMappedType = false;
     var ambientModulesCache;
     var patternAmbientModules;
     var patternAmbientModuleAugmentations;
@@ -54603,7 +54603,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);
@@ -65577,18 +65577,17 @@ ${lanes.join("\n")}
       );
     }
     function inferTypeForHomomorphicMappedType(source, target, constraint) {
-      const cacheKey = source.id + "," + target.id + "," + constraint.id;
-      if (reverseMappedCache.has(cacheKey)) {
-        return reverseMappedCache.get(cacheKey);
-      }
-      const recursionKey = source.id + "," + (target.target || target).id;
-      if (contains(homomorphicMappedTypeInferenceStack, recursionKey)) {
+      if (inInferTypeForHomomorphicMappedType) {
         return void 0;
       }
-      homomorphicMappedTypeInferenceStack.push(recursionKey);
+      const key = source.id + "," + target.id + "," + constraint.id;
+      if (reverseMappedCache.has(key)) {
+        return reverseMappedCache.get(key);
+      }
+      inInferTypeForHomomorphicMappedType = true;
       const type = createReverseMappedType(source, target, constraint);
-      homomorphicMappedTypeInferenceStack.pop();
-      reverseMappedCache.set(cacheKey, type);
+      inInferTypeForHomomorphicMappedType = false;
+      reverseMappedCache.set(key, type);
       return type;
     }
     function isPartiallyInferableType(type) {
@@ -68478,7 +68477,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;
           }

package/lib/typescript.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.2";
-      version = `${versionMajorMinor}.0-insiders.20230627`;
+      version = `${versionMajorMinor}.0-insiders.20230628`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -46189,7 +46189,7 @@ ${lanes.join("\n")}
     };
     var amalgamatedDuplicates;
     var reverseMappedCache = /* @__PURE__ */ new Map();
-    var homomorphicMappedTypeInferenceStack = [];
+    var inInferTypeForHomomorphicMappedType = false;
     var ambientModulesCache;
     var patternAmbientModules;
     var patternAmbientModuleAugmentations;
@@ -54603,7 +54603,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);
@@ -65577,18 +65577,17 @@ ${lanes.join("\n")}
       );
     }
     function inferTypeForHomomorphicMappedType(source, target, constraint) {
-      const cacheKey = source.id + "," + target.id + "," + constraint.id;
-      if (reverseMappedCache.has(cacheKey)) {
-        return reverseMappedCache.get(cacheKey);
-      }
-      const recursionKey = source.id + "," + (target.target || target).id;
-      if (contains(homomorphicMappedTypeInferenceStack, recursionKey)) {
+      if (inInferTypeForHomomorphicMappedType) {
         return void 0;
       }
-      homomorphicMappedTypeInferenceStack.push(recursionKey);
+      const key = source.id + "," + target.id + "," + constraint.id;
+      if (reverseMappedCache.has(key)) {
+        return reverseMappedCache.get(key);
+      }
+      inInferTypeForHomomorphicMappedType = true;
       const type = createReverseMappedType(source, target, constraint);
-      homomorphicMappedTypeInferenceStack.pop();
-      reverseMappedCache.set(cacheKey, type);
+      inInferTypeForHomomorphicMappedType = false;
+      reverseMappedCache.set(key, type);
       return type;
     }
     function isPartiallyInferableType(type) {
@@ -68478,7 +68477,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;
           }

package/lib/typingsInstaller.js

@@ -54,7 +54,7 @@ var path = __toESM(require("path"));
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.2";
-var version = `${versionMajorMinor}.0-insiders.20230627`;
+var version = `${versionMajorMinor}.0-insiders.20230628`;
 
 // 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.2.0-pr-53647-17",
+  "version": "5.2.0-pr-54777-9",
   "license": "Apache-2.0",
   "description": "TypeScript is a language for application scale JavaScript development",
   "keywords": [
@@ -115,5 +115,5 @@
     "node": "20.1.0",
     "npm": "8.19.4"
   },
-  "gitHead": "e7c204e85a9d50cebdfc1716b45a9069ae4f0a27"
+  "gitHead": "f3bce69feea5bdb597c5c6f296dcc35b7d0d1273"
 }