@typescript-deploys/pr-build 5.0.0-pr-52696-39 → 5.0.0-pr-52728-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.20230211`;
+var version = `${versionMajorMinor}.0-insiders.20230216`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -42584,6 +42584,7 @@ function createTypeChecker(host) {
   let inlineLevel = 0;
   let currentNode;
   let varianceTypeParameter;
+  let isInferencePartiallyBlocked = false;
   const emptySymbols = createSymbolTable();
   const arrayVariances = [1 /* Covariant */];
   const compilerOptions = host.getCompilerOptions();
@@ -43006,7 +43007,9 @@ function createTypeChecker(host) {
       } while (toMarkSkip && toMarkSkip !== containingCall);
       getNodeLinks(containingCall).resolvedSignature = void 0;
     }
+    isInferencePartiallyBlocked = true;
     const result = fn();
+    isInferencePartiallyBlocked = false;
     if (containingCall) {
       let toMarkSkip = node;
       do {
@@ -50466,8 +50469,6 @@ function createTypeChecker(host) {
         return !!target.baseTypesResolved;
       case 8 /* WriteType */:
         return !!getSymbolLinks(target).writeType;
-      case 9 /* ParameterInitializerContainsUndefined */:
-        return getNodeLinks(target).parameterInitializerContainsUndefined !== void 0;
     }
     return Debug.assertNever(propertyName);
   }
@@ -65300,25 +65301,15 @@ function createTypeChecker(host) {
   function isConstVariable(symbol) {
     return symbol.flags & 3 /* Variable */ && (getDeclarationNodeFlagsFromSymbol(symbol) & 2 /* Const */) !== 0;
   }
-  function parameterInitializerContainsUndefined(declaration) {
-    const links = getNodeLinks(declaration);
-    if (links.parameterInitializerContainsUndefined === void 0) {
-      if (!pushTypeResolution(declaration, 9 /* ParameterInitializerContainsUndefined */)) {
-        reportCircularityError(declaration.symbol);
-        return true;
-      }
-      const containsUndefined = !!(getTypeFacts(checkDeclarationInitializer(declaration, 0 /* Normal */)) & 16777216 /* IsUndefined */);
-      if (!popTypeResolution()) {
-        reportCircularityError(declaration.symbol);
-        return true;
-      }
-      links.parameterInitializerContainsUndefined = containsUndefined;
-    }
-    return links.parameterInitializerContainsUndefined;
-  }
   function removeOptionalityFromDeclaredType(declaredType, declaration) {
-    const removeUndefined = strictNullChecks && declaration.kind === 166 /* Parameter */ && declaration.initializer && getTypeFacts(declaredType) & 16777216 /* IsUndefined */ && !parameterInitializerContainsUndefined(declaration);
-    return removeUndefined ? getTypeWithFacts(declaredType, 524288 /* NEUndefined */) : declaredType;
+    if (pushTypeResolution(declaration.symbol, 2 /* DeclaredType */)) {
+      const annotationIncludesUndefined = strictNullChecks && declaration.kind === 166 /* Parameter */ && declaration.initializer && getTypeFacts(declaredType) & 16777216 /* IsUndefined */ && !(getTypeFacts(checkExpression(declaration.initializer)) & 16777216 /* IsUndefined */);
+      popTypeResolution();
+      return annotationIncludesUndefined ? getTypeWithFacts(declaredType, 524288 /* NEUndefined */) : declaredType;
+    } else {
+      reportCircularityError(declaration.symbol);
+      return declaredType;
+    }
   }
   function isConstraintPosition(type, node) {
     const parent = node.parent;
@@ -69615,7 +69606,7 @@ function createTypeChecker(host) {
     const isTaggedTemplate = node.kind === 212 /* TaggedTemplateExpression */;
     const isDecorator2 = node.kind === 167 /* Decorator */;
     const isJsxOpeningOrSelfClosingElement = isJsxOpeningLikeElement(node);
-    const reportErrors2 = !candidatesOutArray;
+    const reportErrors2 = !isInferencePartiallyBlocked && !candidatesOutArray;
     let typeArguments;
     if (!isDecorator2 && !isSuperCall(node)) {
       typeArguments = node.typeArguments;
@@ -74824,6 +74815,9 @@ function createTypeChecker(host) {
         case 273 /* ImportSpecifier */:
         case 79 /* Identifier */:
           return 1 /* ExportValue */;
+        case 170 /* MethodSignature */:
+        case 168 /* PropertySignature */:
+          return 2 /* ExportType */;
         default:
           return Debug.failBadSyntaxKind(d);
       }
@@ -79207,6 +79201,8 @@ function createTypeChecker(host) {
     if (!(links.flags & 1 /* TypeChecked */)) {
       links.deferredNodes || (links.deferredNodes = /* @__PURE__ */ new Set());
       links.deferredNodes.add(node);
+    } else {
+      Debug.assert(!links.deferredNodes, "A type-checked file should have no deferred nodes.");
     }
   }
   function checkDeferredNodes(context) {
@@ -79214,6 +79210,7 @@ function createTypeChecker(host) {
     if (links.deferredNodes) {
       links.deferredNodes.forEach(checkDeferredNode);
     }
+    links.deferredNodes = void 0;
   }
   function checkDeferredNode(node) {
     var _a2, _b;

package/lib/tsserver.js

@@ -2287,7 +2287,7 @@ module.exports = __toCommonJS(server_exports);
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.0";
-var version = `${versionMajorMinor}.0-insiders.20230211`;
+var version = `${versionMajorMinor}.0-insiders.20230216`;
 var Comparison = /* @__PURE__ */ ((Comparison3) => {
   Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
   Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -47160,6 +47160,7 @@ function createTypeChecker(host) {
   let inlineLevel = 0;
   let currentNode;
   let varianceTypeParameter;
+  let isInferencePartiallyBlocked = false;
   const emptySymbols = createSymbolTable();
   const arrayVariances = [1 /* Covariant */];
   const compilerOptions = host.getCompilerOptions();
@@ -47582,7 +47583,9 @@ function createTypeChecker(host) {
       } while (toMarkSkip && toMarkSkip !== containingCall);
       getNodeLinks(containingCall).resolvedSignature = void 0;
     }
+    isInferencePartiallyBlocked = true;
     const result = fn();
+    isInferencePartiallyBlocked = false;
     if (containingCall) {
       let toMarkSkip = node;
       do {
@@ -55042,8 +55045,6 @@ function createTypeChecker(host) {
         return !!target.baseTypesResolved;
       case 8 /* WriteType */:
         return !!getSymbolLinks(target).writeType;
-      case 9 /* ParameterInitializerContainsUndefined */:
-        return getNodeLinks(target).parameterInitializerContainsUndefined !== void 0;
     }
     return Debug.assertNever(propertyName);
   }
@@ -69876,25 +69877,15 @@ function createTypeChecker(host) {
   function isConstVariable(symbol) {
     return symbol.flags & 3 /* Variable */ && (getDeclarationNodeFlagsFromSymbol(symbol) & 2 /* Const */) !== 0;
   }
-  function parameterInitializerContainsUndefined(declaration) {
-    const links = getNodeLinks(declaration);
-    if (links.parameterInitializerContainsUndefined === void 0) {
-      if (!pushTypeResolution(declaration, 9 /* ParameterInitializerContainsUndefined */)) {
-        reportCircularityError(declaration.symbol);
-        return true;
-      }
-      const containsUndefined = !!(getTypeFacts(checkDeclarationInitializer(declaration, 0 /* Normal */)) & 16777216 /* IsUndefined */);
-      if (!popTypeResolution()) {
-        reportCircularityError(declaration.symbol);
-        return true;
-      }
-      links.parameterInitializerContainsUndefined = containsUndefined;
-    }
-    return links.parameterInitializerContainsUndefined;
-  }
   function removeOptionalityFromDeclaredType(declaredType, declaration) {
-    const removeUndefined = strictNullChecks && declaration.kind === 166 /* Parameter */ && declaration.initializer && getTypeFacts(declaredType) & 16777216 /* IsUndefined */ && !parameterInitializerContainsUndefined(declaration);
-    return removeUndefined ? getTypeWithFacts(declaredType, 524288 /* NEUndefined */) : declaredType;
+    if (pushTypeResolution(declaration.symbol, 2 /* DeclaredType */)) {
+      const annotationIncludesUndefined = strictNullChecks && declaration.kind === 166 /* Parameter */ && declaration.initializer && getTypeFacts(declaredType) & 16777216 /* IsUndefined */ && !(getTypeFacts(checkExpression(declaration.initializer)) & 16777216 /* IsUndefined */);
+      popTypeResolution();
+      return annotationIncludesUndefined ? getTypeWithFacts(declaredType, 524288 /* NEUndefined */) : declaredType;
+    } else {
+      reportCircularityError(declaration.symbol);
+      return declaredType;
+    }
   }
   function isConstraintPosition(type, node) {
     const parent2 = node.parent;
@@ -74191,7 +74182,7 @@ function createTypeChecker(host) {
     const isTaggedTemplate = node.kind === 212 /* TaggedTemplateExpression */;
     const isDecorator2 = node.kind === 167 /* Decorator */;
     const isJsxOpeningOrSelfClosingElement = isJsxOpeningLikeElement(node);
-    const reportErrors2 = !candidatesOutArray;
+    const reportErrors2 = !isInferencePartiallyBlocked && !candidatesOutArray;
     let typeArguments;
     if (!isDecorator2 && !isSuperCall(node)) {
       typeArguments = node.typeArguments;
@@ -79400,6 +79391,9 @@ function createTypeChecker(host) {
         case 273 /* ImportSpecifier */:
         case 79 /* Identifier */:
           return 1 /* ExportValue */;
+        case 170 /* MethodSignature */:
+        case 168 /* PropertySignature */:
+          return 2 /* ExportType */;
         default:
           return Debug.failBadSyntaxKind(d);
       }
@@ -83783,6 +83777,8 @@ function createTypeChecker(host) {
     if (!(links.flags & 1 /* TypeChecked */)) {
       links.deferredNodes || (links.deferredNodes = /* @__PURE__ */ new Set());
       links.deferredNodes.add(node);
+    } else {
+      Debug.assert(!links.deferredNodes, "A type-checked file should have no deferred nodes.");
     }
   }
   function checkDeferredNodes(context) {
@@ -83790,6 +83786,7 @@ function createTypeChecker(host) {
     if (links.deferredNodes) {
       links.deferredNodes.forEach(checkDeferredNode);
     }
+    links.deferredNodes = void 0;
   }
   function checkDeferredNode(node) {
     var _a2, _b;

package/lib/tsserverlibrary.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.0";
-      version = `${versionMajorMinor}.0-insiders.20230211`;
+      version = `${versionMajorMinor}.0-insiders.20230216`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -44970,6 +44970,7 @@ ${lanes.join("\n")}
     let inlineLevel = 0;
     let currentNode;
     let varianceTypeParameter;
+    let isInferencePartiallyBlocked = false;
     const emptySymbols = createSymbolTable();
     const arrayVariances = [1 /* Covariant */];
     const compilerOptions = host.getCompilerOptions();
@@ -45392,7 +45393,9 @@ ${lanes.join("\n")}
         } while (toMarkSkip && toMarkSkip !== containingCall);
         getNodeLinks(containingCall).resolvedSignature = void 0;
       }
+      isInferencePartiallyBlocked = true;
       const result = fn();
+      isInferencePartiallyBlocked = false;
       if (containingCall) {
         let toMarkSkip = node;
         do {
@@ -52852,8 +52855,6 @@ ${lanes.join("\n")}
           return !!target.baseTypesResolved;
         case 8 /* WriteType */:
           return !!getSymbolLinks(target).writeType;
-        case 9 /* ParameterInitializerContainsUndefined */:
-          return getNodeLinks(target).parameterInitializerContainsUndefined !== void 0;
       }
       return Debug.assertNever(propertyName);
     }
@@ -67686,25 +67687,15 @@ ${lanes.join("\n")}
     function isConstVariable(symbol) {
       return symbol.flags & 3 /* Variable */ && (getDeclarationNodeFlagsFromSymbol(symbol) & 2 /* Const */) !== 0;
     }
-    function parameterInitializerContainsUndefined(declaration) {
-      const links = getNodeLinks(declaration);
-      if (links.parameterInitializerContainsUndefined === void 0) {
-        if (!pushTypeResolution(declaration, 9 /* ParameterInitializerContainsUndefined */)) {
-          reportCircularityError(declaration.symbol);
-          return true;
-        }
-        const containsUndefined = !!(getTypeFacts(checkDeclarationInitializer(declaration, 0 /* Normal */)) & 16777216 /* IsUndefined */);
-        if (!popTypeResolution()) {
-          reportCircularityError(declaration.symbol);
-          return true;
-        }
-        links.parameterInitializerContainsUndefined = containsUndefined;
-      }
-      return links.parameterInitializerContainsUndefined;
-    }
     function removeOptionalityFromDeclaredType(declaredType, declaration) {
-      const removeUndefined = strictNullChecks && declaration.kind === 166 /* Parameter */ && declaration.initializer && getTypeFacts(declaredType) & 16777216 /* IsUndefined */ && !parameterInitializerContainsUndefined(declaration);
-      return removeUndefined ? getTypeWithFacts(declaredType, 524288 /* NEUndefined */) : declaredType;
+      if (pushTypeResolution(declaration.symbol, 2 /* DeclaredType */)) {
+        const annotationIncludesUndefined = strictNullChecks && declaration.kind === 166 /* Parameter */ && declaration.initializer && getTypeFacts(declaredType) & 16777216 /* IsUndefined */ && !(getTypeFacts(checkExpression(declaration.initializer)) & 16777216 /* IsUndefined */);
+        popTypeResolution();
+        return annotationIncludesUndefined ? getTypeWithFacts(declaredType, 524288 /* NEUndefined */) : declaredType;
+      } else {
+        reportCircularityError(declaration.symbol);
+        return declaredType;
+      }
     }
     function isConstraintPosition(type, node) {
       const parent2 = node.parent;
@@ -72001,7 +71992,7 @@ ${lanes.join("\n")}
       const isTaggedTemplate = node.kind === 212 /* TaggedTemplateExpression */;
       const isDecorator2 = node.kind === 167 /* Decorator */;
       const isJsxOpeningOrSelfClosingElement = isJsxOpeningLikeElement(node);
-      const reportErrors2 = !candidatesOutArray;
+      const reportErrors2 = !isInferencePartiallyBlocked && !candidatesOutArray;
       let typeArguments;
       if (!isDecorator2 && !isSuperCall(node)) {
         typeArguments = node.typeArguments;
@@ -77210,6 +77201,9 @@ ${lanes.join("\n")}
           case 273 /* ImportSpecifier */:
           case 79 /* Identifier */:
             return 1 /* ExportValue */;
+          case 170 /* MethodSignature */:
+          case 168 /* PropertySignature */:
+            return 2 /* ExportType */;
           default:
             return Debug.failBadSyntaxKind(d);
         }
@@ -81593,6 +81587,8 @@ ${lanes.join("\n")}
       if (!(links.flags & 1 /* TypeChecked */)) {
         links.deferredNodes || (links.deferredNodes = /* @__PURE__ */ new Set());
         links.deferredNodes.add(node);
+      } else {
+        Debug.assert(!links.deferredNodes, "A type-checked file should have no deferred nodes.");
       }
     }
     function checkDeferredNodes(context) {
@@ -81600,6 +81596,7 @@ ${lanes.join("\n")}
       if (links.deferredNodes) {
         links.deferredNodes.forEach(checkDeferredNode);
       }
+      links.deferredNodes = void 0;
     }
     function checkDeferredNode(node) {
       var _a2, _b;

package/lib/typescript.js

@@ -35,7 +35,7 @@ var ts = (() => {
     "src/compiler/corePublic.ts"() {
       "use strict";
       versionMajorMinor = "5.0";
-      version = `${versionMajorMinor}.0-insiders.20230211`;
+      version = `${versionMajorMinor}.0-insiders.20230216`;
       Comparison = /* @__PURE__ */ ((Comparison3) => {
         Comparison3[Comparison3["LessThan"] = -1] = "LessThan";
         Comparison3[Comparison3["EqualTo"] = 0] = "EqualTo";
@@ -44970,6 +44970,7 @@ ${lanes.join("\n")}
     let inlineLevel = 0;
     let currentNode;
     let varianceTypeParameter;
+    let isInferencePartiallyBlocked = false;
     const emptySymbols = createSymbolTable();
     const arrayVariances = [1 /* Covariant */];
     const compilerOptions = host.getCompilerOptions();
@@ -45392,7 +45393,9 @@ ${lanes.join("\n")}
         } while (toMarkSkip && toMarkSkip !== containingCall);
         getNodeLinks(containingCall).resolvedSignature = void 0;
       }
+      isInferencePartiallyBlocked = true;
       const result = fn();
+      isInferencePartiallyBlocked = false;
       if (containingCall) {
         let toMarkSkip = node;
         do {
@@ -52852,8 +52855,6 @@ ${lanes.join("\n")}
           return !!target.baseTypesResolved;
         case 8 /* WriteType */:
           return !!getSymbolLinks(target).writeType;
-        case 9 /* ParameterInitializerContainsUndefined */:
-          return getNodeLinks(target).parameterInitializerContainsUndefined !== void 0;
       }
       return Debug.assertNever(propertyName);
     }
@@ -67686,25 +67687,15 @@ ${lanes.join("\n")}
     function isConstVariable(symbol) {
       return symbol.flags & 3 /* Variable */ && (getDeclarationNodeFlagsFromSymbol(symbol) & 2 /* Const */) !== 0;
     }
-    function parameterInitializerContainsUndefined(declaration) {
-      const links = getNodeLinks(declaration);
-      if (links.parameterInitializerContainsUndefined === void 0) {
-        if (!pushTypeResolution(declaration, 9 /* ParameterInitializerContainsUndefined */)) {
-          reportCircularityError(declaration.symbol);
-          return true;
-        }
-        const containsUndefined = !!(getTypeFacts(checkDeclarationInitializer(declaration, 0 /* Normal */)) & 16777216 /* IsUndefined */);
-        if (!popTypeResolution()) {
-          reportCircularityError(declaration.symbol);
-          return true;
-        }
-        links.parameterInitializerContainsUndefined = containsUndefined;
-      }
-      return links.parameterInitializerContainsUndefined;
-    }
     function removeOptionalityFromDeclaredType(declaredType, declaration) {
-      const removeUndefined = strictNullChecks && declaration.kind === 166 /* Parameter */ && declaration.initializer && getTypeFacts(declaredType) & 16777216 /* IsUndefined */ && !parameterInitializerContainsUndefined(declaration);
-      return removeUndefined ? getTypeWithFacts(declaredType, 524288 /* NEUndefined */) : declaredType;
+      if (pushTypeResolution(declaration.symbol, 2 /* DeclaredType */)) {
+        const annotationIncludesUndefined = strictNullChecks && declaration.kind === 166 /* Parameter */ && declaration.initializer && getTypeFacts(declaredType) & 16777216 /* IsUndefined */ && !(getTypeFacts(checkExpression(declaration.initializer)) & 16777216 /* IsUndefined */);
+        popTypeResolution();
+        return annotationIncludesUndefined ? getTypeWithFacts(declaredType, 524288 /* NEUndefined */) : declaredType;
+      } else {
+        reportCircularityError(declaration.symbol);
+        return declaredType;
+      }
     }
     function isConstraintPosition(type, node) {
       const parent2 = node.parent;
@@ -72001,7 +71992,7 @@ ${lanes.join("\n")}
       const isTaggedTemplate = node.kind === 212 /* TaggedTemplateExpression */;
       const isDecorator2 = node.kind === 167 /* Decorator */;
       const isJsxOpeningOrSelfClosingElement = isJsxOpeningLikeElement(node);
-      const reportErrors2 = !candidatesOutArray;
+      const reportErrors2 = !isInferencePartiallyBlocked && !candidatesOutArray;
       let typeArguments;
       if (!isDecorator2 && !isSuperCall(node)) {
         typeArguments = node.typeArguments;
@@ -77210,6 +77201,9 @@ ${lanes.join("\n")}
           case 273 /* ImportSpecifier */:
           case 79 /* Identifier */:
             return 1 /* ExportValue */;
+          case 170 /* MethodSignature */:
+          case 168 /* PropertySignature */:
+            return 2 /* ExportType */;
           default:
             return Debug.failBadSyntaxKind(d);
         }
@@ -81593,6 +81587,8 @@ ${lanes.join("\n")}
       if (!(links.flags & 1 /* TypeChecked */)) {
         links.deferredNodes || (links.deferredNodes = /* @__PURE__ */ new Set());
         links.deferredNodes.add(node);
+      } else {
+        Debug.assert(!links.deferredNodes, "A type-checked file should have no deferred nodes.");
       }
     }
     function checkDeferredNodes(context) {
@@ -81600,6 +81596,7 @@ ${lanes.join("\n")}
       if (links.deferredNodes) {
         links.deferredNodes.forEach(checkDeferredNode);
       }
+      links.deferredNodes = void 0;
     }
     function checkDeferredNode(node) {
       var _a2, _b;

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.20230211`;
+var version = `${versionMajorMinor}.0-insiders.20230216`;
 
 // 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-52696-39",
+  "version": "5.0.0-pr-52728-5",
   "license": "Apache-2.0",
   "description": "TypeScript is a language for application scale JavaScript development",
   "keywords": [