typescript 5.5.0-dev.20240530 → 5.5.0-dev.20240531

package/lib/tsc.js

@@ -18,7 +18,7 @@ and limitations under the License.
 
 // src/compiler/corePublic.ts
 var versionMajorMinor = "5.5";
-var version = `${versionMajorMinor}.0-dev.20240530`;
+var version = `${versionMajorMinor}.0-dev.20240531`;
 
 // src/compiler/core.ts
 var emptyArray = [];
@@ -1518,6 +1518,15 @@ Node ${formatSyntaxKind(node.kind)} was unexpected.`,
     );
   }
   Debug2.formatNodeFlags = formatNodeFlags;
+  function formatNodeCheckFlags(flags) {
+    return formatEnum(
+      flags,
+      NodeCheckFlags,
+      /*isFlags*/
+      true
+    );
+  }
+  Debug2.formatNodeCheckFlags = formatNodeCheckFlags;
   function formatModifierFlags(flags) {
     return formatEnum(
       flags,
@@ -3530,6 +3539,34 @@ var SymbolFlags = /* @__PURE__ */ ((SymbolFlags2) => {
   SymbolFlags2[SymbolFlags2["LateBindingContainer"] = 6256] = "LateBindingContainer";
   return SymbolFlags2;
 })(SymbolFlags || {});
+var NodeCheckFlags = /* @__PURE__ */ ((NodeCheckFlags3) => {
+  NodeCheckFlags3[NodeCheckFlags3["None"] = 0] = "None";
+  NodeCheckFlags3[NodeCheckFlags3["TypeChecked"] = 1] = "TypeChecked";
+  NodeCheckFlags3[NodeCheckFlags3["LexicalThis"] = 2] = "LexicalThis";
+  NodeCheckFlags3[NodeCheckFlags3["CaptureThis"] = 4] = "CaptureThis";
+  NodeCheckFlags3[NodeCheckFlags3["CaptureNewTarget"] = 8] = "CaptureNewTarget";
+  NodeCheckFlags3[NodeCheckFlags3["SuperInstance"] = 16] = "SuperInstance";
+  NodeCheckFlags3[NodeCheckFlags3["SuperStatic"] = 32] = "SuperStatic";
+  NodeCheckFlags3[NodeCheckFlags3["ContextChecked"] = 64] = "ContextChecked";
+  NodeCheckFlags3[NodeCheckFlags3["MethodWithSuperPropertyAccessInAsync"] = 128] = "MethodWithSuperPropertyAccessInAsync";
+  NodeCheckFlags3[NodeCheckFlags3["MethodWithSuperPropertyAssignmentInAsync"] = 256] = "MethodWithSuperPropertyAssignmentInAsync";
+  NodeCheckFlags3[NodeCheckFlags3["CaptureArguments"] = 512] = "CaptureArguments";
+  NodeCheckFlags3[NodeCheckFlags3["EnumValuesComputed"] = 1024] = "EnumValuesComputed";
+  NodeCheckFlags3[NodeCheckFlags3["LexicalModuleMergesWithClass"] = 2048] = "LexicalModuleMergesWithClass";
+  NodeCheckFlags3[NodeCheckFlags3["LoopWithCapturedBlockScopedBinding"] = 4096] = "LoopWithCapturedBlockScopedBinding";
+  NodeCheckFlags3[NodeCheckFlags3["ContainsCapturedBlockScopeBinding"] = 8192] = "ContainsCapturedBlockScopeBinding";
+  NodeCheckFlags3[NodeCheckFlags3["CapturedBlockScopedBinding"] = 16384] = "CapturedBlockScopedBinding";
+  NodeCheckFlags3[NodeCheckFlags3["BlockScopedBindingInLoop"] = 32768] = "BlockScopedBindingInLoop";
+  NodeCheckFlags3[NodeCheckFlags3["NeedsLoopOutParameter"] = 65536] = "NeedsLoopOutParameter";
+  NodeCheckFlags3[NodeCheckFlags3["AssignmentsMarked"] = 131072] = "AssignmentsMarked";
+  NodeCheckFlags3[NodeCheckFlags3["ContainsConstructorReference"] = 262144] = "ContainsConstructorReference";
+  NodeCheckFlags3[NodeCheckFlags3["ConstructorReference"] = 536870912] = "ConstructorReference";
+  NodeCheckFlags3[NodeCheckFlags3["ContainsClassWithPrivateIdentifiers"] = 1048576] = "ContainsClassWithPrivateIdentifiers";
+  NodeCheckFlags3[NodeCheckFlags3["ContainsSuperPropertyInStaticInitializer"] = 2097152] = "ContainsSuperPropertyInStaticInitializer";
+  NodeCheckFlags3[NodeCheckFlags3["InCheckIdentifier"] = 4194304] = "InCheckIdentifier";
+  NodeCheckFlags3[NodeCheckFlags3["LazyFlags"] = 539358128] = "LazyFlags";
+  return NodeCheckFlags3;
+})(NodeCheckFlags || {});
 var TypeFlags = /* @__PURE__ */ ((TypeFlags2) => {
   TypeFlags2[TypeFlags2["Any"] = 1] = "Any";
   TypeFlags2[TypeFlags2["Unknown"] = 2] = "Unknown";
@@ -35891,7 +35928,7 @@ var commandOptionsWithoutBuild = [
     showInSimplifiedHelpView: false,
     category: Diagnostics.Compiler_Diagnostics,
     description: Diagnostics.Disable_full_type_checking_only_critical_parse_and_emit_errors_will_be_reported,
-    transpileOptionValue: void 0,
+    transpileOptionValue: true,
     defaultValueDescription: false,
     affectsSemanticDiagnostics: true,
     affectsBuildInfo: true,
@@ -47685,10 +47722,22 @@ function createTypeChecker(host) {
     return !!aliasDeclarationLinks.typeOnlyDeclaration;
   }
   function getTypeOnlyAliasDeclaration(symbol, include) {
+    var _a;
     if (!(symbol.flags & 2097152 /* Alias */)) {
       return void 0;
     }
     const links = getSymbolLinks(symbol);
+    if (links.typeOnlyDeclaration === void 0) {
+      links.typeOnlyDeclaration = false;
+      const resolved = resolveSymbol(symbol);
+      markSymbolOfAliasDeclarationIfTypeOnly(
+        (_a = symbol.declarations) == null ? void 0 : _a[0],
+        getDeclarationOfAliasSymbol(symbol) && getImmediateAliasedSymbol(symbol),
+        resolved,
+        /*overwriteEmpty*/
+        true
+      );
+    }
     if (include === void 0) {
       return links.typeOnlyDeclaration || void 0;
     }
@@ -51431,18 +51480,108 @@ function createTypeChecker(host) {
         cancellationToken.throwIfCancellationRequested();
       }
       let hadError = false;
+      const { finalizeBoundary, startRecoveryScope } = createRecoveryBoundary();
       const transformed = visitNode(existing, visitExistingNodeTreeSymbols, isTypeNode);
-      if (hadError) {
+      if (!finalizeBoundary()) {
         return void 0;
       }
       context.approximateLength += existing.end - existing.pos;
       return transformed;
       function visitExistingNodeTreeSymbols(node) {
+        if (hadError) return node;
+        const recover = startRecoveryScope();
         const onExitNewScope = isNewScopeNode(node) ? onEnterNewScope(node) : void 0;
         const result = visitExistingNodeTreeSymbolsWorker(node);
         onExitNewScope == null ? void 0 : onExitNewScope();
+        if (hadError) {
+          if (isTypeNode(node) && !isTypePredicateNode(node)) {
+            recover();
+            return serializeExistingTypeNode(context, node);
+          }
+          return node;
+        }
         return result === node ? setTextRange2(context, factory.cloneNode(result), node) : result;
       }
+      function createRecoveryBoundary() {
+        let unreportedErrors;
+        const oldTracker = context.tracker;
+        const oldTrackedSymbols = context.trackedSymbols;
+        context.trackedSymbols = [];
+        const oldEncounteredError = context.encounteredError;
+        context.tracker = new SymbolTrackerImpl(context, {
+          ...oldTracker.inner,
+          reportCyclicStructureError() {
+            markError(() => oldTracker.reportCyclicStructureError());
+          },
+          reportInaccessibleThisError() {
+            markError(() => oldTracker.reportInaccessibleThisError());
+          },
+          reportInaccessibleUniqueSymbolError() {
+            markError(() => oldTracker.reportInaccessibleUniqueSymbolError());
+          },
+          reportLikelyUnsafeImportRequiredError(specifier) {
+            markError(() => oldTracker.reportLikelyUnsafeImportRequiredError(specifier));
+          },
+          reportNonSerializableProperty(name) {
+            markError(() => oldTracker.reportNonSerializableProperty(name));
+          },
+          trackSymbol(sym, decl, meaning) {
+            const accessibility = isSymbolAccessible(
+              sym,
+              decl,
+              meaning,
+              /*shouldComputeAliasesToMakeVisible*/
+              false
+            );
+            if (accessibility.accessibility !== 0 /* Accessible */) {
+              (context.trackedSymbols ?? (context.trackedSymbols = [])).push([sym, decl, meaning]);
+              return true;
+            }
+            return false;
+          },
+          moduleResolverHost: context.tracker.moduleResolverHost
+        }, context.tracker.moduleResolverHost);
+        return {
+          startRecoveryScope: startRecoveryScope2,
+          finalizeBoundary: finalizeBoundary2
+        };
+        function markError(unreportedError) {
+          hadError = true;
+          (unreportedErrors ?? (unreportedErrors = [])).push(unreportedError);
+        }
+        function startRecoveryScope2() {
+          var _a;
+          const initialTrackedSymbolsTop = ((_a = context.trackedSymbols) == null ? void 0 : _a.length) ?? 0;
+          const unreportedErrorsTop = (unreportedErrors == null ? void 0 : unreportedErrors.length) ?? 0;
+          return () => {
+            hadError = false;
+            if (context.trackedSymbols) {
+              context.trackedSymbols.length = initialTrackedSymbolsTop;
+            }
+            if (unreportedErrors) {
+              unreportedErrors.length = unreportedErrorsTop;
+            }
+          };
+        }
+        function finalizeBoundary2() {
+          context.tracker = oldTracker;
+          const newTrackedSymbols = context.trackedSymbols;
+          context.trackedSymbols = oldTrackedSymbols;
+          context.encounteredError = oldEncounteredError;
+          unreportedErrors == null ? void 0 : unreportedErrors.forEach((fn) => fn());
+          if (hadError) {
+            return false;
+          }
+          newTrackedSymbols == null ? void 0 : newTrackedSymbols.forEach(
+            ([symbol, enclosingDeclaration, meaning]) => context.tracker.trackSymbol(
+              symbol,
+              enclosingDeclaration,
+              meaning
+            )
+          );
+          return true;
+        }
+      }
       function onEnterNewScope(node) {
         return enterNewScope(context, node, getParametersInScope(node), getTypeParametersInScope(node));
       }
@@ -51716,13 +51855,39 @@ function createTypeChecker(host) {
         }
         function rewriteModuleSpecifier(parent, lit) {
           if (context.bundled || context.enclosingFile !== getSourceFileOfNode(lit)) {
-            const targetFile = getExternalModuleFileFromDeclaration(parent);
-            if (targetFile) {
-              const newName = getSpecifierForModuleSymbol(targetFile.symbol, context);
-              if (newName !== lit.text) {
-                return setOriginalNode(factory.createStringLiteral(newName), lit);
+            let name = lit.text;
+            const nodeSymbol = getNodeLinks(node).resolvedSymbol;
+            const meaning = parent.isTypeOf ? 111551 /* Value */ : 788968 /* Type */;
+            const parentSymbol = nodeSymbol && isSymbolAccessible(
+              nodeSymbol,
+              context.enclosingDeclaration,
+              meaning,
+              /*shouldComputeAliasesToMakeVisible*/
+              false
+            ).accessibility === 0 /* Accessible */ && lookupSymbolChain(
+              nodeSymbol,
+              context,
+              meaning,
+              /*yieldModuleSymbol*/
+              true
+            )[0];
+            if (parentSymbol && parentSymbol.flags & 1536 /* Module */) {
+              name = getSpecifierForModuleSymbol(parentSymbol, context);
+            } else {
+              const targetFile = getExternalModuleFileFromDeclaration(parent);
+              if (targetFile) {
+                name = getSpecifierForModuleSymbol(targetFile.symbol, context);
               }
             }
+            if (name.includes("/node_modules/")) {
+              context.encounteredError = true;
+              if (context.tracker.reportLikelyUnsafeImportRequiredError) {
+                context.tracker.reportLikelyUnsafeImportRequiredError(name);
+              }
+            }
+            if (name !== lit.text) {
+              return setOriginalNode(factory.createStringLiteral(name), lit);
+            }
           }
           return visitNode(lit, visitExistingNodeTreeSymbols, isStringLiteral);
         }
@@ -59690,7 +59855,6 @@ function createTypeChecker(host) {
     return links.resolvedType;
   }
   function getTemplateLiteralType(texts, types) {
-    var _a, _b;
     const unionIndex = findIndex(types, (t) => !!(t.flags & (131072 /* Never */ | 1048576 /* Union */)));
     if (unionIndex >= 0) {
       return checkCrossProductUnion(types) ? mapType(types[unionIndex], (t) => getTemplateLiteralType(texts, replaceElement(types, unionIndex, t))) : errorType;
@@ -59698,9 +59862,6 @@ function createTypeChecker(host) {
     if (contains(types, wildcardType)) {
       return wildcardType;
     }
-    if (texts.length === 2 && texts[0] === "" && texts[1] === "" && !(types[0].flags & 2944 /* Literal */) && !((_b = (_a = types[0].symbol) == null ? void 0 : _a.declarations) == null ? void 0 : _b.some((d) => d.parent.kind === 195 /* InferType */)) && isTypeAssignableTo(types[0], stringType)) {
-      return types[0];
-    }
     const newTypes = [];
     const newTexts = [];
     let text = texts[0];
@@ -69190,9 +69351,6 @@ function createTypeChecker(host) {
         if (isJsxOpeningLikeElement(location) || isJsxOpeningFragment(location)) {
           return markJsxAliasReferenced(location);
         }
-        if (isFunctionLikeDeclaration(location) || isMethodSignature(location)) {
-          return markAsyncFunctionAliasReferenced(location);
-        }
         if (isImportEqualsDeclaration(location)) {
           if (isInternalModuleImportEqualsDeclaration(location) || checkExternalImportOrExportDeclaration(location)) {
             return markImportEqualsAliasReferenced(location);
@@ -69202,6 +69360,9 @@ function createTypeChecker(host) {
         if (isExportSpecifier(location)) {
           return markExportSpecifierAliasReferenced(location);
         }
+        if (isFunctionLikeDeclaration(location) || isMethodSignature(location)) {
+          markAsyncFunctionAliasReferenced(location);
+        }
         if (!compilerOptions.emitDecoratorMetadata) {
           return;
         }
@@ -69539,18 +69700,12 @@ function createTypeChecker(host) {
     }
     return type;
   }
-  function checkIdentifier(node, checkMode) {
-    if (isThisInTypeQuery(node)) {
-      return checkThisExpression(node);
-    }
-    const symbol = getResolvedSymbol(node);
-    if (symbol === unknownSymbol) {
-      return errorType;
-    }
+  function checkIdentifierCalculateNodeCheckFlags(node, symbol) {
+    if (isThisInTypeQuery(node)) return;
     if (symbol === argumentsSymbol) {
       if (isInPropertyInitializerOrClassStaticBlock(node)) {
         error(node, Diagnostics.arguments_cannot_be_referenced_in_property_initializers);
-        return errorType;
+        return;
       }
       let container = getContainingFunction(node);
       if (container) {
@@ -69569,17 +69724,14 @@ function createTypeChecker(host) {
           }
         }
       }
-      return getTypeOfSymbol(symbol);
-    }
-    if (shouldMarkIdentifierAliasReferenced(node)) {
-      markLinkedReferences(node, 1 /* Identifier */);
+      return;
     }
     const localOrExportSymbol = getExportSymbolOfValueSymbolIfExported(symbol);
     const targetSymbol = resolveAliasWithDeprecationCheck(localOrExportSymbol, node);
     if (isDeprecatedSymbol(targetSymbol) && isUncalledFunctionReference(node, targetSymbol) && targetSymbol.declarations) {
       addDeprecatedSuggestion(node, targetSymbol.declarations, node.escapedText);
     }
-    let declaration = localOrExportSymbol.valueDeclaration;
+    const declaration = localOrExportSymbol.valueDeclaration;
     if (declaration && localOrExportSymbol.flags & 32 /* Class */) {
       if (isClassLike(declaration) && declaration.name !== node) {
         let container = getThisContainer(
@@ -69606,6 +69758,27 @@ function createTypeChecker(host) {
       }
     }
     checkNestedBlockScopedBinding(node, symbol);
+  }
+  function checkIdentifier(node, checkMode) {
+    if (isThisInTypeQuery(node)) {
+      return checkThisExpression(node);
+    }
+    const symbol = getResolvedSymbol(node);
+    if (symbol === unknownSymbol) {
+      return errorType;
+    }
+    checkIdentifierCalculateNodeCheckFlags(node, symbol);
+    if (symbol === argumentsSymbol) {
+      if (isInPropertyInitializerOrClassStaticBlock(node)) {
+        return errorType;
+      }
+      return getTypeOfSymbol(symbol);
+    }
+    if (shouldMarkIdentifierAliasReferenced(node)) {
+      markLinkedReferences(node, 1 /* Identifier */);
+    }
+    const localOrExportSymbol = getExportSymbolOfValueSymbolIfExported(symbol);
+    let declaration = localOrExportSymbol.valueDeclaration;
     let type = getNarrowedTypeOfSymbol(localOrExportSymbol, node, checkMode);
     const assignmentKind = getAssignmentTargetKind(node);
     if (assignmentKind) {
@@ -84616,7 +84789,6 @@ function createTypeChecker(host) {
       if (links.isDeclarationWithCollidingName === void 0) {
         const container = getEnclosingBlockScopeContainer(symbol.valueDeclaration);
         if (isStatementWithLocals(container) || isSymbolOfDestructuredElementOfCatchBinding(symbol)) {
-          const nodeLinks2 = getNodeLinks(symbol.valueDeclaration);
           if (resolveName(
             container.parent,
             symbol.escapedName,
@@ -84627,8 +84799,8 @@ function createTypeChecker(host) {
             false
           )) {
             links.isDeclarationWithCollidingName = true;
-          } else if (nodeLinks2.flags & 16384 /* CapturedBlockScopedBinding */) {
-            const isDeclaredInLoop = nodeLinks2.flags & 32768 /* BlockScopedBindingInLoop */;
+          } else if (hasNodeCheckFlag(symbol.valueDeclaration, 16384 /* CapturedBlockScopedBinding */)) {
+            const isDeclaredInLoop = hasNodeCheckFlag(symbol.valueDeclaration, 32768 /* BlockScopedBindingInLoop */);
             const inLoopInitializer = isIterationStatement(
               container,
               /*lookInLabeledStatements*/
@@ -84710,6 +84882,9 @@ function createTypeChecker(host) {
     if (!symbol) {
       return false;
     }
+    const container = getSourceFileOfNode(symbol.valueDeclaration);
+    const fileSymbol = container && getSymbolOfDeclaration(container);
+    void resolveExternalModuleSymbol(fileSymbol);
     const target = getExportSymbolOfValueSymbolIfExported(resolveAlias(symbol));
     if (target === unknownSymbol) {
       return !excludeTypeOnlyValues || !getTypeOnlyAliasDeclaration(symbol);
@@ -84808,6 +84983,108 @@ function createTypeChecker(host) {
     if (nodeId < 0 || nodeId >= nodeLinks.length) return 0;
     return ((_a = nodeLinks[nodeId]) == null ? void 0 : _a.flags) || 0;
   }
+  function hasNodeCheckFlag(node, flag) {
+    calculateNodeCheckFlagWorker(node, flag);
+    return !!(getNodeCheckFlags(node) & flag);
+  }
+  function calculateNodeCheckFlagWorker(node, flag) {
+    if (!compilerOptions.noCheck) {
+      return;
+    }
+    const links = getNodeLinks(node);
+    if (links.calculatedFlags & flag) {
+      return;
+    }
+    switch (flag) {
+      case 16 /* SuperInstance */:
+      case 32 /* SuperStatic */:
+        return checkSingleSuperExpression(node);
+      case 128 /* MethodWithSuperPropertyAccessInAsync */:
+      case 256 /* MethodWithSuperPropertyAssignmentInAsync */:
+      case 2097152 /* ContainsSuperPropertyInStaticInitializer */:
+        return checkChildSuperExpressions(node);
+      case 512 /* CaptureArguments */:
+      case 8192 /* ContainsCapturedBlockScopeBinding */:
+      case 65536 /* NeedsLoopOutParameter */:
+      case 262144 /* ContainsConstructorReference */:
+        return checkChildIdentifiers(node);
+      case 536870912 /* ConstructorReference */:
+        return checkSingleIdentifier(node);
+      case 4096 /* LoopWithCapturedBlockScopedBinding */:
+      case 32768 /* BlockScopedBindingInLoop */:
+      case 16384 /* CapturedBlockScopedBinding */:
+        return checkContainingBlockScopeBindingUses(node);
+      default:
+        return Debug.assertNever(flag, `Unhandled node check flag calculation: ${Debug.formatNodeCheckFlags(flag)}`);
+    }
+    function forEachNodeRecursively(root, cb) {
+      const rootResult = cb(root, root.parent);
+      if (rootResult === "skip") return void 0;
+      if (rootResult) return rootResult;
+      return forEachChildRecursively(root, cb);
+    }
+    function checkSuperExpressions(node2) {
+      const links2 = getNodeLinks(node2);
+      if (links2.calculatedFlags & flag) return "skip";
+      links2.calculatedFlags |= 128 /* MethodWithSuperPropertyAccessInAsync */ | 256 /* MethodWithSuperPropertyAssignmentInAsync */ | 2097152 /* ContainsSuperPropertyInStaticInitializer */;
+      checkSingleSuperExpression(node2);
+      return void 0;
+    }
+    function checkChildSuperExpressions(node2) {
+      forEachNodeRecursively(node2, checkSuperExpressions);
+    }
+    function checkSingleSuperExpression(node2) {
+      const nodeLinks2 = getNodeLinks(node2);
+      nodeLinks2.calculatedFlags |= 16 /* SuperInstance */ | 32 /* SuperStatic */;
+      if (node2.kind === 108 /* SuperKeyword */) {
+        checkSuperExpression(node2);
+      }
+    }
+    function checkIdentifiers(node2) {
+      const links2 = getNodeLinks(node2);
+      if (links2.calculatedFlags & flag) return "skip";
+      links2.calculatedFlags |= 512 /* CaptureArguments */ | 8192 /* ContainsCapturedBlockScopeBinding */ | 65536 /* NeedsLoopOutParameter */ | 262144 /* ContainsConstructorReference */;
+      checkSingleIdentifier(node2);
+      return void 0;
+    }
+    function checkChildIdentifiers(node2) {
+      forEachNodeRecursively(node2, checkIdentifiers);
+    }
+    function checkSingleIdentifier(node2) {
+      const nodeLinks2 = getNodeLinks(node2);
+      nodeLinks2.calculatedFlags |= 536870912 /* ConstructorReference */ | 16384 /* CapturedBlockScopedBinding */ | 32768 /* BlockScopedBindingInLoop */;
+      if (isIdentifier(node2) && isExpressionNode(node2) && !(isPropertyAccessExpression(node2.parent) && node2.parent.name === node2)) {
+        const s = getSymbolAtLocation(
+          node2,
+          /*ignoreErrors*/
+          true
+        );
+        if (s && s !== unknownSymbol) {
+          checkIdentifierCalculateNodeCheckFlags(node2, s);
+        }
+      }
+    }
+    function checkBlockScopeBindings(node2) {
+      const links2 = getNodeLinks(node2);
+      if (links2.calculatedFlags & flag) return "skip";
+      links2.calculatedFlags |= 4096 /* LoopWithCapturedBlockScopedBinding */ | 32768 /* BlockScopedBindingInLoop */ | 16384 /* CapturedBlockScopedBinding */;
+      checkSingleBlockScopeBinding(node2);
+      return void 0;
+    }
+    function checkContainingBlockScopeBindingUses(node2) {
+      const scope = getEnclosingBlockScopeContainer(isDeclarationName(node2) ? node2.parent : node2);
+      forEachNodeRecursively(scope, checkBlockScopeBindings);
+    }
+    function checkSingleBlockScopeBinding(node2) {
+      checkSingleIdentifier(node2);
+      if (isComputedPropertyName(node2)) {
+        checkComputedPropertyName(node2);
+      }
+      if (isPrivateIdentifier(node2) && isClassElement(node2.parent)) {
+        setNodeLinksForPrivateIdentifierScope(node2.parent);
+      }
+    }
+  }
   function getEnumMemberValue(node) {
     computeEnumMemberValues(node.parent);
     return getNodeLinks(node).enumMemberValue ?? evaluatorResult(
@@ -84828,7 +85105,15 @@ function createTypeChecker(host) {
     if (node.kind === 306 /* EnumMember */) {
       return getEnumMemberValue(node).value;
     }
-    const symbol = getNodeLinks(node).resolvedSymbol;
+    if (!getNodeLinks(node).resolvedSymbol) {
+      void checkExpressionCached(node);
+    }
+    const symbol = getNodeLinks(node).resolvedSymbol || (isEntityNameExpression(node) ? resolveEntityName(
+      node,
+      111551 /* Value */,
+      /*ignoreErrors*/
+      true
+    ) : void 0);
     if (symbol && symbol.flags & 8 /* EnumMember */) {
       const member = symbol.valueDeclaration;
       if (isEnumConst(member.parent)) {
@@ -85179,9 +85464,10 @@ function createTypeChecker(host) {
         const node = getParseTreeNode(nodeIn);
         return node && canCollectSymbolAliasAccessabilityData ? isReferencedAliasDeclaration(node, checkChildren) : true;
       },
-      getNodeCheckFlags: (nodeIn) => {
+      hasNodeCheckFlag: (nodeIn, flag) => {
         const node = getParseTreeNode(nodeIn);
-        return node ? getNodeCheckFlags(node) : 0;
+        if (!node) return false;
+        return hasNodeCheckFlag(node, flag);
       },
       isTopLevelValueImportEqualsWithEntityName,
       isDeclarationVisible,
@@ -85204,6 +85490,10 @@ function createTypeChecker(host) {
         return node ? getEnumMemberValue(node) : void 0;
       },
       collectLinkedAliases,
+      markLinkedReferences: (nodeIn) => {
+        const node = getParseTreeNode(nodeIn);
+        return node && markLinkedReferences(node, 0 /* Unspecified */);
+      },
       getReferencedValueDeclaration,
       getReferencedValueDeclarations,
       getTypeReferenceSerializationKind,
@@ -93010,7 +93300,7 @@ function transformClassFields(context) {
           containsInstancePrivateElements || (containsInstancePrivateElements = isPrivateIdentifierClassElementDeclaration(member));
         } else if (isPrivateIdentifierClassElementDeclaration(member)) {
           containsInstancePrivateElements = true;
-          if (resolver.getNodeCheckFlags(member) & 262144 /* ContainsConstructorReference */) {
+          if (resolver.hasNodeCheckFlag(member, 262144 /* ContainsConstructorReference */)) {
             facts |= 2 /* NeedsClassConstructorReference */;
           }
         } else if (isPropertyDeclaration(member)) {
@@ -93117,7 +93407,7 @@ function transformClassFields(context) {
     if ((_b = node.emitNode) == null ? void 0 : _b.classThis) {
       getClassLexicalEnvironment().classThis = node.emitNode.classThis;
     }
-    const isClassWithConstructorReference = resolver.getNodeCheckFlags(node) & 262144 /* ContainsConstructorReference */;
+    const isClassWithConstructorReference = resolver.hasNodeCheckFlag(node, 262144 /* ContainsConstructorReference */);
     const isExport = hasSyntacticModifier(node, 32 /* Export */);
     const isDefault = hasSyntacticModifier(node, 2048 /* Default */);
     let modifiers = visitNodes2(node.modifiers, modifierVisitor, isModifier);
@@ -93179,15 +93469,14 @@ function transformClassFields(context) {
     var _a, _b, _c;
     const isDecoratedClassDeclaration = !!(facts & 1 /* ClassWasDecorated */);
     const staticPropertiesOrClassStaticBlocks = getStaticPropertiesAndClassStaticBlock(node);
-    const classCheckFlags = resolver.getNodeCheckFlags(node);
-    const isClassWithConstructorReference = classCheckFlags & 262144 /* ContainsConstructorReference */;
+    const isClassWithConstructorReference = resolver.hasNodeCheckFlag(node, 262144 /* ContainsConstructorReference */);
+    const requiresBlockScopedVar = resolver.hasNodeCheckFlag(node, 32768 /* BlockScopedBindingInLoop */);
     let temp;
     function createClassTempVar() {
       var _a2;
       if (shouldTransformPrivateElementsOrClassStaticBlocks && ((_a2 = node.emitNode) == null ? void 0 : _a2.classThis)) {
         return getClassLexicalEnvironment().classConstructor = node.emitNode.classThis;
       }
-      const requiresBlockScopedVar = classCheckFlags & 32768 /* BlockScopedBindingInLoop */;
       const temp2 = factory2.createTempVariable(
         requiresBlockScopedVar ? addBlockScopedVariable : hoistVariableDeclaration,
         /*reservedInNestedScopes*/
@@ -93755,7 +94044,7 @@ function transformClassFields(context) {
       const alreadyTransformed = !!cacheAssignment || isAssignmentExpression(innerExpression) && isGeneratedIdentifier(innerExpression.left);
       if (!alreadyTransformed && !inlinable && shouldHoist) {
         const generatedName = factory2.getGeneratedNameForNode(name);
-        if (resolver.getNodeCheckFlags(name) & 32768 /* BlockScopedBindingInLoop */) {
+        if (resolver.hasNodeCheckFlag(name, 32768 /* BlockScopedBindingInLoop */)) {
           addBlockScopedVariable(generatedName);
         } else {
           hoistVariableDeclaration(generatedName);
@@ -93909,7 +94198,7 @@ function transformClassFields(context) {
       prefix,
       suffix
     );
-    if (resolver.getNodeCheckFlags(node) & 32768 /* BlockScopedBindingInLoop */) {
+    if (resolver.hasNodeCheckFlag(node, 32768 /* BlockScopedBindingInLoop */)) {
       addBlockScopedVariable(identifier);
     } else {
       hoistVariableDeclaration(identifier);
@@ -94148,7 +94437,7 @@ function transformClassFields(context) {
   }
   function trySubstituteClassAlias(node) {
     if (enabledSubstitutions & 1 /* ClassAliases */) {
-      if (resolver.getNodeCheckFlags(node) & 536870912 /* ConstructorReference */) {
+      if (resolver.hasNodeCheckFlag(node, 536870912 /* ConstructorReference */)) {
         const declaration = resolver.getReferencedValueDeclaration(node);
         if (declaration) {
           const classAlias = classAliases[declaration.id];
@@ -95015,7 +95304,7 @@ function transformLegacyDecorators(context) {
     }
   }
   function getClassAliasIfNeeded(node) {
-    if (resolver.getNodeCheckFlags(node) & 262144 /* ContainsConstructorReference */) {
+    if (resolver.hasNodeCheckFlag(node, 262144 /* ContainsConstructorReference */)) {
       enableSubstitutionForClassAliases();
       const classAlias = factory2.createUniqueName(node.name && !isGeneratedIdentifier(node.name) ? idText(node.name) : "default");
       classAliases[getOriginalNodeId(node)] = classAlias;
@@ -95048,7 +95337,7 @@ function transformLegacyDecorators(context) {
   }
   function trySubstituteClassAlias(node) {
     if (classAliases) {
-      if (resolver.getNodeCheckFlags(node) & 536870912 /* ConstructorReference */) {
+      if (resolver.hasNodeCheckFlag(node, 536870912 /* ConstructorReference */)) {
         const declaration = resolver.getReferencedValueDeclaration(node);
         if (declaration) {
           const classAlias = classAliases[declaration.id];
@@ -97357,7 +97646,7 @@ function transformES2017(context) {
     hasSuperElementAccess = false;
     let updated = visitFunctionBody(node.body, visitor, context);
     const originalMethod = getOriginalNode(node, isFunctionLikeDeclaration);
-    const emitSuperHelpers = languageVersion >= 2 /* ES2015 */ && resolver.getNodeCheckFlags(node) & (256 /* MethodWithSuperPropertyAssignmentInAsync */ | 128 /* MethodWithSuperPropertyAccessInAsync */) && (getFunctionFlags(originalMethod) & 3 /* AsyncGenerator */) !== 3 /* AsyncGenerator */;
+    const emitSuperHelpers = languageVersion >= 2 /* ES2015 */ && (resolver.hasNodeCheckFlag(node, 256 /* MethodWithSuperPropertyAssignmentInAsync */) || resolver.hasNodeCheckFlag(node, 128 /* MethodWithSuperPropertyAccessInAsync */)) && (getFunctionFlags(originalMethod) & 3 /* AsyncGenerator */) !== 3 /* AsyncGenerator */;
     if (emitSuperHelpers) {
       enableSubstitutionForAsyncMethodsWithSuper();
       if (capturedSuperProperties.size) {
@@ -97368,9 +97657,9 @@ function transformES2017(context) {
         updated = factory2.updateBlock(updated, statements);
       }
       if (hasSuperElementAccess) {
-        if (resolver.getNodeCheckFlags(node) & 256 /* MethodWithSuperPropertyAssignmentInAsync */) {
+        if (resolver.hasNodeCheckFlag(node, 256 /* MethodWithSuperPropertyAssignmentInAsync */)) {
           addEmitHelper(updated, advancedAsyncSuperHelper);
-        } else if (resolver.getNodeCheckFlags(node) & 128 /* MethodWithSuperPropertyAccessInAsync */) {
+        } else if (resolver.hasNodeCheckFlag(node, 128 /* MethodWithSuperPropertyAccessInAsync */)) {
           addEmitHelper(updated, asyncSuperHelper);
         }
       }
@@ -97437,7 +97726,7 @@ function transformES2017(context) {
     const promiseConstructor = languageVersion < 2 /* ES2015 */ ? getPromiseConstructor(nodeType) : void 0;
     const isArrowFunction2 = node.kind === 219 /* ArrowFunction */;
     const savedLexicalArgumentsBinding = lexicalArgumentsBinding;
-    const hasLexicalArguments = (resolver.getNodeCheckFlags(node) & 512 /* CaptureArguments */) !== 0;
+    const hasLexicalArguments = resolver.hasNodeCheckFlag(node, 512 /* CaptureArguments */);
     const captureLexicalArguments = hasLexicalArguments && !lexicalArgumentsBinding;
     if (captureLexicalArguments) {
       lexicalArgumentsBinding = factory2.createUniqueName("arguments");
@@ -97492,7 +97781,7 @@ function transformES2017(context) {
           )
         )
       );
-      const emitSuperHelpers = languageVersion >= 2 /* ES2015 */ && resolver.getNodeCheckFlags(node) & (256 /* MethodWithSuperPropertyAssignmentInAsync */ | 128 /* MethodWithSuperPropertyAccessInAsync */);
+      const emitSuperHelpers = languageVersion >= 2 /* ES2015 */ && (resolver.hasNodeCheckFlag(node, 256 /* MethodWithSuperPropertyAssignmentInAsync */) || resolver.hasNodeCheckFlag(node, 128 /* MethodWithSuperPropertyAccessInAsync */));
       if (emitSuperHelpers) {
         enableSubstitutionForAsyncMethodsWithSuper();
         if (capturedSuperProperties.size) {
@@ -97511,9 +97800,9 @@ function transformES2017(context) {
       );
       setTextRange(block, node.body);
       if (emitSuperHelpers && hasSuperElementAccess) {
-        if (resolver.getNodeCheckFlags(node) & 256 /* MethodWithSuperPropertyAssignmentInAsync */) {
+        if (resolver.hasNodeCheckFlag(node, 256 /* MethodWithSuperPropertyAssignmentInAsync */)) {
           addEmitHelper(block, advancedAsyncSuperHelper);
-        } else if (resolver.getNodeCheckFlags(node) & 128 /* MethodWithSuperPropertyAccessInAsync */) {
+        } else if (resolver.hasNodeCheckFlag(node, 128 /* MethodWithSuperPropertyAccessInAsync */)) {
           addEmitHelper(block, asyncSuperHelper);
         }
       }
@@ -97572,7 +97861,7 @@ function transformES2017(context) {
   }
   function onEmitNode(hint, node, emitCallback) {
     if (enabledSubstitutions & 1 /* AsyncMethodsWithSuper */ && isSuperContainer(node)) {
-      const superContainerFlags = resolver.getNodeCheckFlags(node) & (128 /* MethodWithSuperPropertyAccessInAsync */ | 256 /* MethodWithSuperPropertyAssignmentInAsync */);
+      const superContainerFlags = (resolver.hasNodeCheckFlag(node, 128 /* MethodWithSuperPropertyAccessInAsync */) ? 128 /* MethodWithSuperPropertyAccessInAsync */ : 0) | (resolver.hasNodeCheckFlag(node, 256 /* MethodWithSuperPropertyAssignmentInAsync */) ? 256 /* MethodWithSuperPropertyAssignmentInAsync */ : 0);
       if (superContainerFlags !== enclosingSuperContainerFlags) {
         const savedEnclosingSuperContainerFlags = enclosingSuperContainerFlags;
         enclosingSuperContainerFlags = superContainerFlags;
@@ -97676,7 +97965,7 @@ function transformES2017(context) {
   }
 }
 function createSuperAccessVariableStatement(factory2, resolver, node, names) {
-  const hasBinding = (resolver.getNodeCheckFlags(node) & 256 /* MethodWithSuperPropertyAssignmentInAsync */) !== 0;
+  const hasBinding = resolver.hasNodeCheckFlag(node, 256 /* MethodWithSuperPropertyAssignmentInAsync */);
   const accessors = [];
   names.forEach((_, key) => {
     const name = unescapeLeadingUnderscores(key);
@@ -98771,7 +99060,7 @@ function transformES2018(context) {
         !!(hierarchyFacts & 1 /* HasLexicalThis */)
       )
     );
-    const emitSuperHelpers = languageVersion >= 2 /* ES2015 */ && resolver.getNodeCheckFlags(node) & (256 /* MethodWithSuperPropertyAssignmentInAsync */ | 128 /* MethodWithSuperPropertyAccessInAsync */);
+    const emitSuperHelpers = languageVersion >= 2 /* ES2015 */ && (resolver.hasNodeCheckFlag(node, 256 /* MethodWithSuperPropertyAssignmentInAsync */) || resolver.hasNodeCheckFlag(node, 128 /* MethodWithSuperPropertyAccessInAsync */));
     if (emitSuperHelpers) {
       enableSubstitutionForAsyncMethodsWithSuper();
       const variableStatement = createSuperAccessVariableStatement(factory2, resolver, node, capturedSuperProperties);
@@ -98781,9 +99070,9 @@ function transformES2018(context) {
     outerStatements.push(returnStatement);
     const block = factory2.updateBlock(node.body, outerStatements);
     if (emitSuperHelpers && hasSuperElementAccess) {
-      if (resolver.getNodeCheckFlags(node) & 256 /* MethodWithSuperPropertyAssignmentInAsync */) {
+      if (resolver.hasNodeCheckFlag(node, 256 /* MethodWithSuperPropertyAssignmentInAsync */)) {
         addEmitHelper(block, advancedAsyncSuperHelper);
-      } else if (resolver.getNodeCheckFlags(node) & 128 /* MethodWithSuperPropertyAccessInAsync */) {
+      } else if (resolver.hasNodeCheckFlag(node, 128 /* MethodWithSuperPropertyAccessInAsync */)) {
         addEmitHelper(block, asyncSuperHelper);
       }
     }
@@ -98916,7 +99205,7 @@ function transformES2018(context) {
   }
   function onEmitNode(hint, node, emitCallback) {
     if (enabledSubstitutions & 1 /* AsyncMethodsWithSuper */ && isSuperContainer(node)) {
-      const superContainerFlags = resolver.getNodeCheckFlags(node) & (128 /* MethodWithSuperPropertyAccessInAsync */ | 256 /* MethodWithSuperPropertyAssignmentInAsync */);
+      const superContainerFlags = (resolver.hasNodeCheckFlag(node, 128 /* MethodWithSuperPropertyAccessInAsync */) ? 128 /* MethodWithSuperPropertyAccessInAsync */ : 0) | (resolver.hasNodeCheckFlag(node, 256 /* MethodWithSuperPropertyAssignmentInAsync */) ? 256 /* MethodWithSuperPropertyAssignmentInAsync */ : 0);
       if (superContainerFlags !== enclosingSuperContainerFlags) {
         const savedEnclosingSuperContainerFlags = enclosingSuperContainerFlags;
         enclosingSuperContainerFlags = superContainerFlags;
@@ -102621,9 +102910,8 @@ function transformES2015(context) {
     return createRange(pos, end);
   }
   function shouldEmitExplicitInitializerForLetDeclaration(node) {
-    const flags = resolver.getNodeCheckFlags(node);
-    const isCapturedInFunction = flags & 16384 /* CapturedBlockScopedBinding */;
-    const isDeclaredInLoop = flags & 32768 /* BlockScopedBindingInLoop */;
+    const isCapturedInFunction = resolver.hasNodeCheckFlag(node, 16384 /* CapturedBlockScopedBinding */);
+    const isDeclaredInLoop = resolver.hasNodeCheckFlag(node, 32768 /* BlockScopedBindingInLoop */);
     const emittedAsTopLevel = (hierarchyFacts & 64 /* TopLevel */) !== 0 || isCapturedInFunction && isDeclaredInLoop && (hierarchyFacts & 512 /* IterationStatementBlock */) !== 0;
     const emitExplicitInitializer = !emittedAsTopLevel && (hierarchyFacts & 4096 /* ForInOrForOfStatement */) === 0 && (!resolver.isDeclarationWithCollidingName(node) || isDeclaredInLoop && !isCapturedInFunction && (hierarchyFacts & (2048 /* ForStatement */ | 4096 /* ForInOrForOfStatement */)) === 0);
     return emitExplicitInitializer;
@@ -103074,7 +103362,7 @@ function transformES2015(context) {
     return factory2.inlineExpressions(expressions);
   }
   function shouldConvertPartOfIterationStatement(node) {
-    return (resolver.getNodeCheckFlags(node) & 8192 /* ContainsCapturedBlockScopeBinding */) !== 0;
+    return resolver.hasNodeCheckFlag(node, 8192 /* ContainsCapturedBlockScopeBinding */);
   }
   function shouldConvertInitializerOfForStatement(node) {
     return isForStatement(node) && !!node.initializer && shouldConvertPartOfIterationStatement(node.initializer);
@@ -103089,7 +103377,7 @@ function transformES2015(context) {
     return shouldConvertBodyOfIterationStatement(node) || shouldConvertInitializerOfForStatement(node);
   }
   function shouldConvertBodyOfIterationStatement(node) {
-    return (resolver.getNodeCheckFlags(node) & 4096 /* LoopWithCapturedBlockScopedBinding */) !== 0;
+    return resolver.hasNodeCheckFlag(node, 4096 /* LoopWithCapturedBlockScopedBinding */);
   }
   function hoistVariableDeclarationDeclaredInConvertedLoop(state, node) {
     if (!state.hoistedLocalVariables) {
@@ -103638,11 +103926,11 @@ function transformES2015(context) {
         void 0,
         name
       ));
-      const checkFlags = resolver.getNodeCheckFlags(decl);
-      if (checkFlags & 65536 /* NeedsLoopOutParameter */ || hasCapturedBindingsInForHead) {
+      const needsOutParam = resolver.hasNodeCheckFlag(decl, 65536 /* NeedsLoopOutParameter */);
+      if (needsOutParam || hasCapturedBindingsInForHead) {
         const outParamName = factory2.createUniqueName("out_" + idText(name));
         let flags = 0 /* None */;
-        if (checkFlags & 65536 /* NeedsLoopOutParameter */) {
+        if (needsOutParam) {
           flags |= 1 /* Body */;
         }
         if (isForStatement(container)) {
@@ -112665,6 +112953,9 @@ function emitFiles(resolver, host, targetSourceFile, { scriptTransformers, decla
       emitSkipped = true;
       return;
     }
+    if (compilerOptions.noCheck) {
+      (isSourceFile(sourceFileOrBundle) ? [sourceFileOrBundle] : filter(sourceFileOrBundle.sourceFiles, isSourceFileNotJson)).forEach(markLinkedReferences);
+    }
     const transform = transformNodes(
       resolver,
       host,
@@ -112799,6 +113090,13 @@ function emitFiles(resolver, host, targetSourceFile, { scriptTransformers, decla
     }
     forEachChild(node, collectLinkedAliases);
   }
+  function markLinkedReferences(file) {
+    forEachChildRecursively(file, (n) => {
+      if (isImportEqualsDeclaration(n) && !(getSyntacticModifierFlags(n) & 32 /* Export */)) return "skip";
+      if (isImportDeclaration(n)) return "skip";
+      resolver.markLinkedReferences(n);
+    });
+  }
   function printSourceFileOrBundle(jsFilePath, sourceMapFilePath, transform, printer, mapOptions) {
     const sourceFileOrBundle = transform.transformed[0];
     const bundle = sourceFileOrBundle.kind === 308 /* Bundle */ ? sourceFileOrBundle : void 0;
@@ -112930,10 +113228,11 @@ var notImplementedResolver = {
   isValueAliasDeclaration: notImplemented,
   isReferencedAliasDeclaration: notImplemented,
   isTopLevelValueImportEqualsWithEntityName: notImplemented,
-  getNodeCheckFlags: notImplemented,
+  hasNodeCheckFlag: notImplemented,
   isDeclarationVisible: notImplemented,
   isLateBound: (_node) => false,
   collectLinkedAliases: notImplemented,
+  markLinkedReferences: notImplemented,
   isImplementationOfOverload: notImplemented,
   requiresAddingImplicitUndefined: notImplemented,
   isExpandoFunctionDeclaration: notImplemented,
@@ -121023,9 +121322,6 @@ function createProgram(rootNamesOrOptions, _options, _host, _oldProgram, _config
       if (options.noEmit) {
         createDiagnosticForOptionName(Diagnostics.Option_0_cannot_be_specified_with_option_1, "noCheck", "noEmit");
       }
-      if (!options.emitDeclarationOnly) {
-        createDiagnosticForOptionName(Diagnostics.Option_0_cannot_be_specified_without_specifying_option_1, "noCheck", "emitDeclarationOnly");
-      }
     }
     if (options.emitDecoratorMetadata && !options.experimentalDecorators) {
       createDiagnosticForOptionName(Diagnostics.Option_0_cannot_be_specified_without_specifying_option_1, "emitDecoratorMetadata", "experimentalDecorators");