@artel/artc 0.6.25277 → 0.6.25278

package/build/{chunk-EVYL6VFM.js → chunk-A2QTLTGI.js}

@@ -764,7 +764,7 @@ var UniqueWithComparatorQuery = class extends Query {
 };
 
 // source/common/Constants.ts
-var ArtelVersion = true ? "0.6.25277" : "";
+var ArtelVersion = true ? "0.6.25278" : "";
 var ArtelSourceFileExtensions = [".\u0430\u0440\u0442", ".\u0430\u0440\u0442\u0435\u043B\u044C", ".art", ".artel"];
 var ArtelSourceFileExtensionSet = new Set(ArtelSourceFileExtensions);
 var ArtelSourceAndConfigurationFileExtensionSet = new Set(ArtelSourceFileExtensionSet).add(".json");
@@ -8398,49 +8398,6 @@ var Result;
   Result2.Error = Error2;
 })(Result || (Result = {}));
 
-// source/common/ThrottledCancellationToken.ts
-var ThrottledCancellationToken = class _ThrottledCancellationToken {
-  constructor(token, throttleTimeMs, checkThrottleTimeEveryN) {
-    this.token = token;
-    this.throttleTimeMs = throttleTimeMs;
-    this.checkThrottleTimeEveryN = checkThrottleTimeEveryN;
-    this.checkNumber = 0;
-    this.lastTimeMs = Date.now();
-    Debug.assert(checkThrottleTimeEveryN > 0);
-  }
-  isThrottleTimeOver() {
-    this.checkNumber++;
-    let result = this.checkNumber % this.checkThrottleTimeEveryN === 0;
-    if (result) {
-      const time = Date.now();
-      const elapsedTime = time - this.lastTimeMs;
-      result = elapsedTime > this.throttleTimeMs;
-      if (result) {
-        this.lastTimeMs = time;
-      }
-    }
-    return result;
-  }
-  throwIfCancellationRequestedAndReset() {
-    this.token.throwIfCancellationRequested();
-    this.checkNumber = 0;
-    this.lastTimeMs = Date.now();
-  }
-  throwIfCancellationRequestedAndResetAsync() {
-    return __async(this, null, function* () {
-      yield yieldExecution();
-      this.token.throwIfCancellationRequested();
-      this.checkNumber = 0;
-      this.lastTimeMs = Date.now();
-    });
-  }
-  withOptions(options) {
-    const throttleTimeMs = options.throttleTimeMs ?? this.throttleTimeMs;
-    const checkThrottleTimeEveryN = options.checkThrottleTimeEveryN ?? this.checkThrottleTimeEveryN;
-    return new _ThrottledCancellationToken(this.token, throttleTimeMs, checkThrottleTimeEveryN);
-  }
-};
-
 // source/common/TreeQuery.ts
 var TreeQuery = class {
   static getSourceFile(node, analyzer) {
@@ -8511,27 +8468,28 @@ var TypeMemberQuery = class {
 };
 
 // source/common/TreeTraversal.ts
-function traverseTreeWithCancellationToken(root, cancellationToken, throttleTimeMs, visitTokens, visitNodeCb) {
+function traverseTree(root, visitTokens, taskController, nodeVisitor) {
   return __async(this, null, function* () {
-    const executionController = new ThrottledExecutionController(throttleTimeMs, 100);
-    yield executionController.yieldAndResetAsync();
-    cancellationToken?.throwIfCancellationRequested();
+    const controller = new TraversalController(taskController);
     const stack = new Array();
     stack.push(root);
-    const traversalController = new TraversalController();
     while (stack.length > 0) {
       const node = stack.pop();
-      visitNodeCb(node, traversalController);
-      if (traversalController.isTraverseStopped) {
+      const asyncVisiter = nodeVisitor(node, controller);
+      if (asyncVisiter !== void 0) {
+        yield asyncVisiter;
+      }
+      if (controller.shouldStopTraverse()) {
         break;
       }
-      if (traversalController.shouldYieldExecution || executionController.isThrottleTimeOver()) {
-        yield executionController.yieldAndResetAsync();
-        cancellationToken?.throwIfCancellationRequested();
-        traversalController.shouldYieldExecution = false;
+      if (controller.task !== void 0) {
+        if (controller.task.shouldYieldOnceOutOf100()) {
+          yield controller.task.yieldTask();
+        }
+        controller.task.throwIfCancellationRequested();
       }
-      if (traversalController.isChildrenTraverseStopped) {
-        traversalController.isChildrenTraverseStopped = false;
+      if (controller.shouldSkipChildrenTraverse()) {
+        controller.resetSkipChildrenTraverse();
         continue;
       }
       for (let i = node.children.length - 1; i >= 0; i--) {
@@ -8543,76 +8501,26 @@ function traverseTreeWithCancellationToken(root, cancellationToken, throttleTime
     }
   });
 }
-function traverseTree(root, visitNodeCb) {
-  const stack = new Array();
-  stack.push(root);
-  const controller = new TraversalController();
-  while (stack.length > 0) {
-    const node = stack.pop();
-    visitNodeCb(node, controller);
-    if (controller.isTraverseStopped) {
-      break;
-    }
-    if (controller.isChildrenTraverseStopped) {
-      controller.isChildrenTraverseStopped = false;
-      continue;
-    }
-    for (let i = node.children.length - 1; i >= 0; i--) {
-      const childNode = node.children[i];
-      if (childNode !== void 0) {
-        stack.push(childNode);
-      }
-    }
-  }
-}
 var TraversalController = class {
-  constructor() {
-    this.isTraverseStopped = false;
-    this.isChildrenTraverseStopped = false;
-    this.shouldYieldExecution = false;
+  constructor(task) {
+    this.shouldStopTraverse_ = false;
+    this.shouldSkipChildrenTraverse_ = false;
+    this.task = task;
   }
-  stopTraverse() {
-    this.isTraverseStopped = true;
+  shouldStopTraverse() {
+    return this.shouldStopTraverse_;
   }
-  stopChildrenTraverse() {
-    this.isChildrenTraverseStopped = true;
+  shouldSkipChildrenTraverse() {
+    return this.shouldSkipChildrenTraverse_;
   }
-  yieldExecutionAfterCurrentNode() {
-    this.shouldYieldExecution = true;
+  stopTraverse() {
+    this.shouldStopTraverse_ = true;
   }
-  reset() {
-    this.isTraverseStopped = false;
-    this.isChildrenTraverseStopped = false;
-    this.shouldYieldExecution = false;
+  skipChildrenTraverse() {
+    this.shouldSkipChildrenTraverse_ = true;
   }
-};
-var ThrottledExecutionController = class {
-  constructor(throttleTimeMs, checkThrottleTimeEveryN) {
-    this.throttleTimeMs = throttleTimeMs;
-    this.checkThrottleTimeEveryN = checkThrottleTimeEveryN;
-    this.checkCount = 0;
-    this.lastTimeMs = Date.now();
-    Debug.assert(checkThrottleTimeEveryN > 0);
-  }
-  isThrottleTimeOver() {
-    this.checkCount++;
-    let result = this.checkCount % this.checkThrottleTimeEveryN === 0;
-    if (result) {
-      const time = Date.now();
-      const elapsedTime = time - this.lastTimeMs;
-      result = elapsedTime > this.throttleTimeMs;
-      if (result) {
-        this.lastTimeMs = time;
-      }
-    }
-    return result;
-  }
-  yieldAndResetAsync() {
-    return __async(this, null, function* () {
-      yield yieldExecution();
-      this.checkCount = 0;
-      this.lastTimeMs = Date.now();
-    });
+  resetSkipChildrenTraverse() {
+    this.shouldSkipChildrenTraverse_ = false;
   }
 };
 
@@ -8777,10 +8685,49 @@ var WithDiagnostics_error = class {
   }
 };
 
-// source/common/YieldExecution.ts
-function yieldExecution(timeMs) {
+// source/common/TaskController.ts
+var TaskController = class {
+  constructor(timeSliceMs = 30, cancellationToken) {
+    this.checkCount = 0;
+    this.lastTimeMs = Date.now();
+    this.timeSliceMs = timeSliceMs;
+    this.cancellationToken = cancellationToken;
+  }
+  shouldYieldOnceOutOf100() {
+    return this.shouldYield(100);
+  }
+  shouldYield(onceOutOf = 1) {
+    Debug.assert(onceOutOf > 0);
+    let result = false;
+    if (this.timeSliceMs >= 0) {
+      this.checkCount++;
+      result = this.checkCount % onceOutOf === 0;
+      if (result && this.timeSliceMs > 0) {
+        const timeMs = Date.now();
+        const elapsedTime = timeMs - this.lastTimeMs;
+        result = elapsedTime > this.timeSliceMs;
+        if (result) {
+          this.lastTimeMs = timeMs;
+        }
+      }
+    }
+    return result;
+  }
+  isCancellationRequested() {
+    return this.cancellationToken?.isCancellationRequested === true;
+  }
+  throwIfCancellationRequested() {
+    this.cancellationToken?.throwIfCancellationRequested();
+  }
+  yieldTask(timeMs) {
+    return __async(this, null, function* () {
+      return new Promise((r) => setTimeout(r, timeMs));
+    });
+  }
+};
+function yieldTask(timeMs) {
   return __async(this, null, function* () {
-    yield new Promise((r) => setTimeout(r, timeMs));
+    return new Promise((r) => setTimeout(r, timeMs));
   });
 }
 
@@ -9074,7 +9021,11 @@ var DiagnosticCode = /* @__PURE__ */ ((DiagnosticCode2) => {
   DiagnosticCode2[DiagnosticCode2["TheNumberOfTranslatedParametersMustBeEqualToTheNumberOfSourceParameters"] = 388] = "TheNumberOfTranslatedParametersMustBeEqualToTheNumberOfSourceParameters";
   DiagnosticCode2[DiagnosticCode2["TheNumberOfTranslatedTypeParametersMustBeEqualToTheNumberOfSourceTypeParameters"] = 389] = "TheNumberOfTranslatedTypeParametersMustBeEqualToTheNumberOfSourceTypeParameters";
   DiagnosticCode2[DiagnosticCode2["TheNameOfTheTranslatedOperatorMustMeTheSameAsSourceOperatorName"] = 390] = "TheNameOfTheTranslatedOperatorMustMeTheSameAsSourceOperatorName";
-  DiagnosticCode2[DiagnosticCode2["OnlyOneTextTranslationPackageShouldBeMarkedAsPrimary"] = 391] = "OnlyOneTextTranslationPackageShouldBeMarkedAsPrimary";
+  DiagnosticCode2[DiagnosticCode2["TranslationOfFunctionTypeMustIncludeParameterList"] = 391] = "TranslationOfFunctionTypeMustIncludeParameterList";
+  DiagnosticCode2[DiagnosticCode2["OnlyOneTextTranslationPackageShouldBeMarkedAsPrimary"] = 392] = "OnlyOneTextTranslationPackageShouldBeMarkedAsPrimary";
+  DiagnosticCode2[DiagnosticCode2["Declarations0And1HaveTheSameSourceNamesButDifferentTranslatedNames23"] = 393] = "Declarations0And1HaveTheSameSourceNamesButDifferentTranslatedNames23";
+  DiagnosticCode2[DiagnosticCode2["TranslatedDeclarations0And1HaveTheSameTranslatedNamesButDifferentSourceNames23"] = 394] = "TranslatedDeclarations0And1HaveTheSameTranslatedNamesButDifferentSourceNames23";
+  DiagnosticCode2[DiagnosticCode2["TranslatedOverridingMember0MustTheSameNameAsBaseMember1"] = 395] = "TranslatedOverridingMember0MustTheSameNameAsBaseMember1";
   DiagnosticCode2[DiagnosticCode2["CannotFindTsLibDirectoryBaseSearchPaths0"] = 401] = "CannotFindTsLibDirectoryBaseSearchPaths0";
   DiagnosticCode2[DiagnosticCode2["SourceFile0IsNotPartOfThePackageAndWontBeLoaded"] = 402] = "SourceFile0IsNotPartOfThePackageAndWontBeLoaded";
   DiagnosticCode2[DiagnosticCode2["ProgramWithoutMainPackageCannotBeCompiled"] = 403] = "ProgramWithoutMainPackageCannotBeCompiled";
@@ -9357,7 +9308,11 @@ var englishErrorMessages = {
   [388 /* TheNumberOfTranslatedParametersMustBeEqualToTheNumberOfSourceParameters */]: "The number of translated parameters must be equal to the number of source parameters.",
   [389 /* TheNumberOfTranslatedTypeParametersMustBeEqualToTheNumberOfSourceTypeParameters */]: "The number of translated type parameters must be equal to the number of source type parameters.",
   [390 /* TheNameOfTheTranslatedOperatorMustMeTheSameAsSourceOperatorName */]: "The name of the translated operator must me the same as source operator name.",
-  [391 /* OnlyOneTextTranslationPackageShouldBeMarkedAsPrimary */]: "Only one text translation package should be marked as primary (for the same translating package).",
+  [391 /* TranslationOfFunctionTypeMustIncludeParameterList */]: "Translation of function type must include parameter list.",
+  [392 /* OnlyOneTextTranslationPackageShouldBeMarkedAsPrimary */]: "Only one text translation package should be marked as primary (for the same translating package).",
+  [393 /* Declarations0And1HaveTheSameSourceNamesButDifferentTranslatedNames23 */]: "Declarations that have the same source names must have the same translated names.\nDeclarations\n{0}\nand\n{1}\nhave the same source names, but different translated names: '{2}' and '{3}'.",
+  [394 /* TranslatedDeclarations0And1HaveTheSameTranslatedNamesButDifferentSourceNames23 */]: "Declarations that have different source names must have different translated names.\nTranslated declarations\n{0}\nand\n{1}\nhave the same translated names, but different source names: '{2}' and '{3}'.",
+  [395 /* TranslatedOverridingMember0MustTheSameNameAsBaseMember1 */]: "Translated derived member '{0}' must have the same name as base member '{1}'.",
   [401 /* CannotFindTsLibDirectoryBaseSearchPaths0 */]: "Can not find directory with TypeScript library. Base search paths: {0}.",
   [402 /* SourceFile0IsNotPartOfThePackageAndWontBeLoaded */]: "Source file '{0}' is not part of the package and won't be loaded.",
   [403 /* ProgramWithoutMainPackageCannotBeCompiled */]: "Program without main package cannot be compiled.",
@@ -9593,7 +9548,11 @@ var russianErrorMessages = {
   [388 /* TheNumberOfTranslatedParametersMustBeEqualToTheNumberOfSourceParameters */]: "\u041A\u043E\u043B\u0438\u0447\u0435\u0441\u0442\u0432\u043E \u043F\u0435\u0440\u0435\u0432\u0435\u0434\u0451\u043D\u043D\u044B\u0445 \u043F\u0430\u0440\u0430\u043C\u0435\u0442\u0440\u043E\u0432 \u0434\u043E\u043B\u0436\u043D\u043E \u0431\u044B\u0442\u044C \u0440\u0430\u0432\u043D\u043E \u043A\u043E\u043B\u0438\u0447\u0435\u0441\u0442\u0432\u0443 \u0438\u0441\u0445\u043E\u0434\u043D\u044B\u0445 \u043F\u0430\u0440\u0430\u043C\u0435\u0442\u0440\u043E\u0432.",
   [389 /* TheNumberOfTranslatedTypeParametersMustBeEqualToTheNumberOfSourceTypeParameters */]: "\u041A\u043E\u043B\u0438\u0447\u0435\u0441\u0442\u0432\u043E \u043F\u0435\u0440\u0435\u0432\u0435\u0434\u0451\u043D\u043D\u044B\u0445 \u043F\u0430\u0440\u0430\u043C\u0435\u0442\u0440\u043E\u0432 \u0442\u0438\u043F\u0430 \u0434\u043E\u043B\u0436\u043D\u043E \u0431\u044B\u0442\u044C \u0440\u0430\u0432\u043D\u043E \u043A\u043E\u043B\u0438\u0447\u0435\u0441\u0442\u0432\u0443 \u0438\u0441\u0445\u043E\u0434\u043D\u044B\u0445 \u043F\u0430\u0440\u0430\u043C\u0435\u0442\u0440\u043E\u0432 \u0442\u0438\u043F\u0430.",
   [390 /* TheNameOfTheTranslatedOperatorMustMeTheSameAsSourceOperatorName */]: "\u0418\u043C\u044F \u043F\u0435\u0440\u0435\u0432\u0435\u0434\u0451\u043D\u043D\u043E\u0433\u043E \u043E\u043F\u0435\u0440\u0430\u0442\u043E\u0440\u0430 \u0434\u043E\u043B\u0436\u043D\u043E \u0431\u044B\u0442\u044C \u0442\u0430\u043A\u0438\u043C \u0436\u0435, \u043A\u0430\u043A \u0438\u043C\u044F \u0438\u0441\u0445\u043E\u0434\u043D\u043E\u0433\u043E \u043E\u043F\u0435\u0440\u0430\u0442\u043E\u0440\u0430.",
-  [391 /* OnlyOneTextTranslationPackageShouldBeMarkedAsPrimary */]: "\u041B\u0438\u0448\u044C \u043E\u0434\u0438\u043D \u043F\u0430\u043A\u0435\u0442 \u043F\u0435\u0440\u0435\u0432\u043E\u0434\u0430 \u0442\u0435\u043A\u0441\u0442\u043E\u0432 \u043C\u043E\u0436\u0435\u0442 \u0431\u044B\u0442\u044C \u043F\u0435\u0440\u0432\u0438\u0447\u043D\u044B\u043C (\u0434\u043B\u044F \u043E\u0434\u043D\u043E\u0433\u043E \u0438 \u0442\u043E\u0433\u043E \u0436\u0435 \u043F\u0435\u0440\u0435\u0432\u043E\u0434\u0438\u043C\u043E\u0433\u043E \u043F\u0430\u043A\u0435\u0442\u0430).",
+  [391 /* TranslationOfFunctionTypeMustIncludeParameterList */]: "\u041F\u0435\u0440\u0435\u0432\u043E\u0434 \u0444\u0443\u043D\u043A\u0446\u0438\u043E\u043D\u0430\u043B\u044C\u043D\u043E\u0433\u043E \u0442\u0438\u043F\u0430 \u0434\u043E\u043B\u0436\u0435\u043D \u0432\u043A\u043B\u044E\u0447\u0430\u0442\u044C \u0441\u043F\u0438\u0441\u043E\u043A \u043F\u0430\u0440\u0430\u043C\u0435\u0442\u0440\u043E\u0432.",
+  [392 /* OnlyOneTextTranslationPackageShouldBeMarkedAsPrimary */]: "\u041B\u0438\u0448\u044C \u043E\u0434\u0438\u043D \u043F\u0430\u043A\u0435\u0442 \u043F\u0435\u0440\u0435\u0432\u043E\u0434\u0430 \u0442\u0435\u043A\u0441\u0442\u043E\u0432 \u043C\u043E\u0436\u0435\u0442 \u0431\u044B\u0442\u044C \u043F\u0435\u0440\u0432\u0438\u0447\u043D\u044B\u043C (\u0434\u043B\u044F \u043E\u0434\u043D\u043E\u0433\u043E \u0438 \u0442\u043E\u0433\u043E \u0436\u0435 \u043F\u0435\u0440\u0435\u0432\u043E\u0434\u0438\u043C\u043E\u0433\u043E \u043F\u0430\u043A\u0435\u0442\u0430).",
+  [393 /* Declarations0And1HaveTheSameSourceNamesButDifferentTranslatedNames23 */]: "\u041E\u0431\u044A\u044F\u0432\u043B\u0435\u043D\u0438\u044F, \u0438\u043C\u0435\u044E\u0449\u0438\u0435 \u043E\u0434\u0438\u043D\u0430\u043A\u043E\u0432\u044B\u0435 \u0438\u0441\u0445\u043E\u0434\u043D\u044B\u0435 \u0438\u043C\u0435\u043D\u0430, \u0434\u043E\u043B\u0436\u043D\u044B \u0438\u043C\u0435\u0442\u044C \u043E\u0434\u0438\u043D\u0430\u043A\u043E\u0432\u044B\u0435 \u043F\u0435\u0440\u0435\u0432\u0435\u0434\u0451\u043D\u043D\u044B\u0435 \u0438\u043C\u0435\u043D\u0430.\n\u041E\u0431\u044A\u044F\u0432\u043B\u0435\u043D\u0438\u044F\n{0}\n\u0438\n{1}\n\u0438\u043C\u0435\u044E\u0442 \u043E\u0434\u0438\u043D\u0430\u043A\u043E\u0432\u044B\u0435 \u0438\u0441\u0445\u043E\u0434\u043D\u044B\u0435 \u0438\u043C\u0435\u043D\u0430, \u043D\u043E \u0440\u0430\u0437\u043D\u044B\u0435 \u043F\u0435\u0440\u0435\u0432\u0435\u0434\u0451\u043D\u043D\u044B\u0435 \u0438\u043C\u0435\u043D\u0430: '{2}' \u0438 '{3}'.",
+  [394 /* TranslatedDeclarations0And1HaveTheSameTranslatedNamesButDifferentSourceNames23 */]: "\u041E\u0431\u044A\u044F\u0432\u043B\u0435\u043D\u0438\u044F, \u0438\u043C\u0435\u044E\u0449\u0438\u0435 \u0440\u0430\u0437\u043D\u044B\u0435 \u0438\u0441\u0445\u043E\u0434\u043D\u044B\u0435 \u0438\u043C\u0435\u043D\u0430, \u0434\u043E\u043B\u0436\u043D\u044B \u0438\u043C\u0435\u0442\u044C \u0440\u0430\u0437\u043D\u044B\u0435 \u043F\u0435\u0440\u0435\u0432\u0435\u0434\u0451\u043D\u043D\u044B\u0435 \u0438\u043C\u0435\u043D\u0430.\n\u041F\u0435\u0440\u0435\u0432\u0435\u0434\u0451\u043D\u043D\u044B\u0435 \u043E\u0431\u044A\u044F\u0432\u043B\u0435\u043D\u0438\u044F\n{0}\n\u0438\n{1}\n\u0438\u043C\u0435\u044E\u0442 \u043E\u0434\u0438\u043D\u0430\u043A\u043E\u0432\u044B\u0435 \u043F\u0435\u0440\u0435\u0432\u0435\u0434\u0451\u043D\u043D\u044B\u0435 \u0438\u043C\u0435\u043D\u0430, \u043D\u043E \u0440\u0430\u0437\u043D\u044B\u0435 \u0438\u0441\u0445\u043E\u0434\u043D\u044B\u0435 \u0438\u043C\u0435\u043D\u0430: '{2}' \u0438 '{3}'.",
+  [395 /* TranslatedOverridingMember0MustTheSameNameAsBaseMember1 */]: "\u041F\u0440\u043E\u0438\u0437\u0432\u043E\u0434\u043D\u044B\u0439 \u043F\u0435\u0440\u0435\u0432\u0435\u0434\u0451\u043D\u043D\u044B\u0439 \u0447\u043B\u0435\u043D \u0442\u0438\u043F\u0430 '{0}' \u0434\u043E\u043B\u0436\u0435\u043D \u0438\u043C\u0435\u0442\u044C \u0442\u0430\u043A\u043E\u0435 \u0436\u0435 \u0438\u043C\u044F, \u043A\u0430\u043A \u0431\u0430\u0437\u043E\u0432\u044B\u0439 \u0447\u043B\u0435\u043D \u0442\u0438\u043F\u0430 '{1}'.",
   [401 /* CannotFindTsLibDirectoryBaseSearchPaths0 */]: "\u041D\u0435 \u0443\u0434\u0430\u043B\u043E\u0441\u044C \u043D\u0430\u0439\u0442\u0438 \u043F\u0430\u043F\u043A\u0443 \u0441\u043E \u0441\u0442\u0430\u043D\u0434\u0430\u0440\u0442\u043D\u043E\u0439 \u0431\u0438\u0431\u043B\u0438\u043E\u0442\u0435\u043A\u043E\u0439 TypeScript. \u041F\u0443\u0442\u0438, \u043E\u0442\u043D\u043E\u0441\u0438\u0442\u0435\u043B\u044C\u043D\u043E \u043A\u043E\u0442\u043E\u0440\u044B\u0445 \u043E\u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043B\u044F\u043B\u0441\u044F \u043F\u043E\u0438\u0441\u043A: {0}.",
   [402 /* SourceFile0IsNotPartOfThePackageAndWontBeLoaded */]: "\u0418\u0441\u0445\u043E\u0434\u043D\u044B\u0439 \u0444\u0430\u0439\u043B '{0}' \u043D\u0435 \u044F\u0432\u043B\u044F\u0435\u0442\u0441\u044F \u0447\u0430\u0441\u0442\u044C\u044E \u043F\u0430\u043A\u0435\u0442\u0430 \u0438 \u043D\u0435 \u0431\u0443\u0434\u0435\u0442 \u0437\u0430\u0433\u0440\u0443\u0436\u0435\u043D.",
   [403 /* ProgramWithoutMainPackageCannotBeCompiled */]: "\u041F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0430 \u0431\u0435\u0437 \u0433\u043B\u0430\u0432\u043D\u043E\u0433\u043E \u043F\u0430\u043A\u0435\u0442\u0430 \u043D\u0435 \u043C\u043E\u0436\u0435\u0442 \u0431\u044B\u0442\u044C \u0441\u043A\u043E\u043C\u043F\u0438\u043B\u0438\u0440\u043E\u0432\u0430\u043D\u0430.",
@@ -10029,6 +9988,17 @@ var DisplayService = class {
       returnTypeText
     );
   }
+  displayAnonymousFunctionDeclaration(func) {
+    const asyncKeyword = func.isAsync() ? `${this.displayKeyword(40 /* Async */)} ` : "";
+    const keyword = this.displayKeyword(12 /* Function */);
+    const parameters = func.getParameters().map((p) => this.getParameterDeclarationDisplayParts(p, lessDetailsTypeDisplayOptions));
+    const returnType = func.getReturnType();
+    let returnTypeText = "";
+    if (!returnType.isNullType) {
+      returnTypeText = `: ${this.displayType(returnType)}`;
+    }
+    return `${asyncKeyword}${keyword}(${parameters})${returnTypeText}`;
+  }
   displayOperatorDeclaration(operator) {
     return this.getOperatorDeclarationDisplayParts(operator).toString();
   }
@@ -10343,8 +10313,13 @@ var DisplayService = class {
         return this.displayVariableDeclaration(declaration);
       }
       case 1 /* Function */: {
-        const declaration = new FunctionDeclaration_entity(entity);
-        return this.displayFunctionDeclaration(declaration);
+        if (isNamedFunctionEntity(entity)) {
+          const declaration = new FunctionDeclaration_entity(entity);
+          return this.displayFunctionDeclaration(declaration);
+        } else {
+          const declaration = new AnonymousFunctionDeclaration_entity(entity);
+          return this.displayAnonymousFunctionDeclaration(declaration);
+        }
       }
       case 9 /* Operator */: {
         const declaration = new OperatorDeclaration_entity(entity);
@@ -11047,6 +11022,21 @@ var FunctionDeclaration_accessedFunction = class {
     }
   }
 };
+var AnonymousFunctionDeclaration_entity = class {
+  constructor(func) {
+    this.kind = "entity";
+    this.func = func;
+  }
+  getParameters() {
+    return this.func.getParameters().map((p) => new ParameterDeclaration_entity(p));
+  }
+  getReturnType() {
+    return this.func.getReturnType();
+  }
+  isAsync() {
+    return this.func.isAsync();
+  }
+};
 var ConstructorDeclaration_entity = class {
   constructor(value) {
     this.kind = "type-member";
@@ -13352,17 +13342,17 @@ function isTypeMemberEntity(entity) {
   }
 }
 var TypeMemberEntity;
-((TypeMemberEntity9) => {
+((TypeMemberEntity8) => {
   function isAspectTypeMember(entity) {
     const containingEntity = entity.getContainingEntity();
     return containingEntity.kind === 2 /* Type */ && containingEntity.typeEntityKind === 1 /* Structured */ && containingEntity.getStructuredTypeKind() === 2 /* Aspect */;
   }
-  TypeMemberEntity9.isAspectTypeMember = isAspectTypeMember;
+  TypeMemberEntity8.isAspectTypeMember = isAspectTypeMember;
   function isRefObjectTypeMember(entity) {
     const containingEntity = entity.getContainingEntity();
     return containingEntity.kind === 2 /* Type */ && containingEntity.typeEntityKind === 1 /* Structured */ && containingEntity.getStructuredTypeKind() === 0 /* RefObject */;
   }
-  TypeMemberEntity9.isRefObjectTypeMember = isRefObjectTypeMember;
+  TypeMemberEntity8.isRefObjectTypeMember = isRefObjectTypeMember;
   function isStatic(entity) {
     switch (entity.kind) {
       case 0 /* Variable */:
@@ -13378,7 +13368,7 @@ var TypeMemberEntity;
         Debug.never(entity);
     }
   }
-  TypeMemberEntity9.isStatic = isStatic;
+  TypeMemberEntity8.isStatic = isStatic;
   function markedBasic(entity) {
     switch (entity.kind) {
       case 0 /* Variable */:
@@ -13394,7 +13384,7 @@ var TypeMemberEntity;
         Debug.never(entity);
     }
   }
-  TypeMemberEntity9.markedBasic = markedBasic;
+  TypeMemberEntity8.markedBasic = markedBasic;
   function isBasic(entity) {
     switch (entity.kind) {
       case 0 /* Variable */:
@@ -13410,11 +13400,11 @@ var TypeMemberEntity;
         Debug.never(entity);
     }
   }
-  TypeMemberEntity9.isBasic = isBasic;
+  TypeMemberEntity8.isBasic = isBasic;
   function isAbstract(entity) {
     return entity.markedAbstract();
   }
-  TypeMemberEntity9.isAbstract = isAbstract;
+  TypeMemberEntity8.isAbstract = isAbstract;
   function getOverriddenMembers(entity) {
     switch (entity.kind) {
       case 0 /* Variable */:
@@ -13434,7 +13424,7 @@ var TypeMemberEntity;
         Debug.never(entity);
     }
   }
-  TypeMemberEntity9.getOverriddenMembers = getOverriddenMembers;
+  TypeMemberEntity8.getOverriddenMembers = getOverriddenMembers;
   function instantiate(analyzer, entity, substitutions) {
     switch (entity.kind) {
       case 0 /* Variable */:
@@ -13455,7 +13445,7 @@ var TypeMemberEntity;
         Debug.never(entity);
     }
   }
-  TypeMemberEntity9.instantiate = instantiate;
+  TypeMemberEntity8.instantiate = instantiate;
 })(TypeMemberEntity || (TypeMemberEntity = {}));
 function isNamedTypeMemberEntity(entity) {
   if (entity.kind === 0 /* Variable */ && entity.subkind === "field" || entity.kind === 1 /* Function */ && entity.subkind === "method") {
@@ -13466,7 +13456,7 @@ function isNamedTypeMemberEntity(entity) {
   return false;
 }
 function isEntityWithTypeParameters(entity) {
-  if (entity.kind === 1 /* Function */ || entity.kind === 2 /* Type */ && (entity.typeEntityKind === 1 /* Structured */ || entity.typeEntityKind === 4 /* Alias */ || entity.typeEntityKind === 0 /* Function */ || entity.typeEntityKind === 3 /* Variant */)) {
+  if (isNamedFunctionEntity(entity) || entity.kind === 2 /* Type */ && (entity.typeEntityKind === 1 /* Structured */ || entity.typeEntityKind === 4 /* Alias */ || entity.typeEntityKind === 0 /* Function */ || entity.typeEntityKind === 3 /* Variant */)) {
     return true;
   }
   Debug.typeIsAssignableTo();
@@ -13481,6 +13471,14 @@ function isEntityWithParameters(entity) {
   Debug.typeIsAssignableTo();
   return false;
 }
+function isNamedFunctionEntity(entity) {
+  if (entity.kind === 1 /* Function */ && (entity.subkind === "package" || entity.subkind === "method" || entity.subkind === "nested")) {
+    return true;
+  }
+  Debug.typeIsAssignableTo();
+  Debug.typeIsAssignableTo();
+  return false;
+}
 var EntityContext = class _EntityContext {
   constructor(containingPackage, hidingMatcher, typeExtensionLookup) {
     this.containingPackage = containingPackage;
@@ -13945,7 +13943,8 @@ var EntityLocalizationContext = class {
             const localizedMethod = this.getLocalizedMethodEntity(containingEntity);
             return localizedMethod.getParameters().find((p) => p.getOriginalEntity() === entity) ?? entity;
           }
-          case "nested": {
+          case "nested":
+          case "anonymous": {
             return entity;
           }
           default:
@@ -14032,6 +14031,9 @@ var EntityNaming_named = class {
   toString() {
     return this.value.unescapedOriginal;
   }
+  considerEqual(other, considerBackQuotes) {
+    return other.kind === "named" && this.value.considerEqual(other.value, considerBackQuotes);
+  }
 };
 var EntityNaming_anonymous = class {
   constructor() {
@@ -14040,6 +14042,9 @@ var EntityNaming_anonymous = class {
   toString() {
     return "anonymous";
   }
+  considerEqual(other, _considerBackQuotes) {
+    return other.kind === "anonymous";
+  }
 };
 
 // source/entities/interfaces/AliasTypeEntity.ts
@@ -14531,6 +14536,9 @@ var IntrinsicPackageFunctionEntity = class {
   getName() {
     return this.name;
   }
+  getNaming() {
+    return new EntityNaming_named(this.name);
+  }
   getContainingPackage() {
     return this.containingPackage;
   }
@@ -14600,6 +14608,9 @@ var IntrinsicMethodEntity = class {
   getName() {
     return this.name;
   }
+  getNaming() {
+    return new EntityNaming_named(this.name);
+  }
   getTypeParameters() {
     return this.typeParameters;
   }
@@ -17893,7 +17904,7 @@ var DirectoryInternal = class extends ObservableObject {
   getChild(name) {
     return this.childByName.get(name);
   }
-  *enumerateDescendants() {
+  *getFlatChildren() {
     const descendants = Array.from(this.childByName.values());
     while (descendants.length > 0) {
       const descendant = descendants.pop();
@@ -22212,17 +22223,17 @@ var SourceFile2 = class _SourceFile extends TextFile {
 
 // source/project/CompilationLoader.ts
 var CompilationLoader = class _CompilationLoader {
-  constructor(source, config, diagnostics, cancellationToken) {
+  constructor(source, config, diagnostics, taskController) {
     this.configurationsByPackageOrGroupUri = /* @__PURE__ */ new Map();
     this.source = source;
     this.config = config;
     this.diagnostics = diagnostics;
-    this.cancellationToken = cancellationToken;
+    this.taskController = taskController;
   }
   static {
     this.artelSystemPackageName = PackageName2.parse("\u0410\u0440\u0442\u0435\u043B\u044C");
   }
-  static loadUsingSourcesProvider(uri, sourcesProvider, options, diagnostics, workspaceUri, namesOfDirectoriesToIgnore, cancellationToken) {
+  static loadUsingSourcesProvider(uri, sourcesProvider, taskController, options, diagnostics, workspaceUri, namesOfDirectoriesToIgnore) {
     return __async(this, null, function* () {
       const fileSystemTree = runAtomically(() => new FileSystemTree());
       const namesOfDirectoriesToIgnoreSet = new Set(namesOfDirectoriesToIgnore ?? DefaultNamesOfDirectoriesToIgnore);
@@ -22243,11 +22254,11 @@ var CompilationLoader = class _CompilationLoader {
         fileSystemTree,
         options?.additionalPackageContents
       );
-      const loadResult = yield new _CompilationLoader(source, internalConfig, diagnostics, cancellationToken).load();
+      const loadResult = yield new _CompilationLoader(source, internalConfig, diagnostics, taskController).load();
       return { loadResult, fileSystemTree };
     });
   }
-  static loadFromFileSystemTree(rootDirectory, fileSystemTree, options, diagnostics, cancellationToken) {
+  static loadFromFileSystemTree(rootDirectory, fileSystemTree, taskController, options, diagnostics) {
     return __async(this, null, function* () {
       const internalConfig = this.convertOptions(options);
       const source = new CompilationLoadSource.FSTreeAndPackageContents(
@@ -22255,18 +22266,18 @@ var CompilationLoader = class _CompilationLoader {
         fileSystemTree,
         options?.additionalPackageContents
       );
-      const loadResult = yield new _CompilationLoader(source, internalConfig, diagnostics, cancellationToken).load();
+      const loadResult = yield new _CompilationLoader(source, internalConfig, diagnostics, taskController).load();
       return loadResult;
     });
   }
-  static loadFromPackageContents(contents, options, diagnostics, cancellationToken) {
+  static loadFromPackageContents(contents, taskController, options, diagnostics) {
     return __async(this, null, function* () {
       const internalConfig = this.convertOptions(options);
       if (options?.additionalPackageContents !== void 0) {
         contents = Array.from(contents).concat(options.additionalPackageContents);
       }
       const source = new CompilationLoadSource.PackageContents(contents);
-      const loadResult = yield new _CompilationLoader(source, internalConfig, diagnostics, cancellationToken).load();
+      const loadResult = yield new _CompilationLoader(source, internalConfig, diagnostics, taskController).load();
       return loadResult;
     });
   }
@@ -22909,9 +22920,9 @@ var CompilationLoadSource;
 var PackageContent_exports = {};
 
 // source/project/PackageContentCreator.ts
-function createPackageContentsFromFSTree(rootDirectory, fileSystemTree) {
+function createPackageContentsFromFSTree(rootDirectory, fileSystemTree, taskController) {
   return __async(this, null, function* () {
-    const loadResult = yield CompilationLoader.loadFromFileSystemTree(rootDirectory, fileSystemTree);
+    const loadResult = yield CompilationLoader.loadFromFileSystemTree(rootDirectory, fileSystemTree, taskController);
     if (loadResult.compilation === void 0) {
       return [];
     }
@@ -24443,6 +24454,9 @@ var TsGlobalFunctionEntity = class {
   getName() {
     return this.name;
   }
+  getNaming() {
+    return new EntityNaming_named(this.name);
+  }
   getContainingPackage() {
     return this.containingPackage;
   }
@@ -25082,8 +25096,13 @@ var TsPropertyEntity = class {
     return this.containingType.getContainingPackage();
   }
   isStatic() {
-    const decl = this.getDeclaration();
-    return this.forceStatic || decl !== void 0 && (ts2.getCombinedModifierFlags(decl) & ts2.ModifierFlags.Static) !== 0;
+    let result = this.forceStatic || // Всеобщее свойство 'prototype' создаётся компилятором TypeScript автоматически.
+    (this.symbol.flags & ts2.SymbolFlags.Prototype) !== 0;
+    if (!result) {
+      const declaration = this.getDeclaration();
+      result = declaration !== void 0 && (ts2.getCombinedModifierFlags(declaration) & ts2.ModifierFlags.Static) !== 0;
+    }
+    return result;
   }
   markedBasic() {
     let result = !this.isStatic() && !this.markedAbstract();
@@ -25106,7 +25125,7 @@ var TsPropertyEntity = class {
     return result;
   }
   isOverride() {
-    return false;
+    return this.getOverriddenMembers().length > 0;
   }
   markedAbstract() {
     const declaration = this.getDeclaration();
@@ -25212,8 +25231,12 @@ var TsAccessorEntity = class {
     return this.containingType.getContainingPackage();
   }
   isStatic() {
-    const declaration = this.getGetAccessorDeclaration();
-    return this.forceStatic || declaration !== void 0 && (ts2.getCombinedModifierFlags(declaration) & ts2.ModifierFlags.Static) !== 0;
+    let result = this.forceStatic;
+    if (!result) {
+      const declaration = this.getGetAccessorDeclaration();
+      result = declaration !== void 0 && (ts2.getCombinedModifierFlags(declaration) & ts2.ModifierFlags.Static) !== 0;
+    }
+    return result;
   }
   markedBasic() {
     let result = !this.isStatic() && !this.markedAbstract();
@@ -25236,7 +25259,7 @@ var TsAccessorEntity = class {
     return result;
   }
   isOverride() {
-    return false;
+    return this.getOverriddenMembers().length > 0;
   }
   markedAbstract() {
     const declaration = this.getGetAccessorDeclaration();
@@ -25385,6 +25408,9 @@ var TsMethodEntity = class {
   getName() {
     return this.name;
   }
+  getNaming() {
+    return new EntityNaming_named(this.name);
+  }
   getTypeParameters() {
     return this.typeParameters.getOrInsertWith(() => this.declaration.typeParameters?.map((d) => {
       const symbol = this.tsctx.tsChecker.getMergedSymbol(d.symbol);
@@ -25433,7 +25459,7 @@ var TsMethodEntity = class {
     return result;
   }
   isOverride() {
-    return false;
+    return this.getOverriddenMembers().length > 0;
   }
   markedAbstract() {
     return (ts2.getCombinedModifierFlags(this.declaration) & ts2.ModifierFlags.Abstract) !== 0 || this.containingType.typeEntityKind === 1 /* Structured */ && this.containingType.getStructuredTypeKind() === 2 /* Aspect */;
@@ -25503,6 +25529,9 @@ var TsIteratorFunctionEntity = class {
   getName() {
     return this.name;
   }
+  getNaming() {
+    return new EntityNaming_named(this.name);
+  }
   getTypeParameters() {
     return emptyTypeParameterEntities;
   }
@@ -25544,7 +25573,7 @@ var TsIteratorFunctionEntity = class {
     return !this.markedAbstract();
   }
   isOverride() {
-    return false;
+    return this.getOverriddenMembers().length > 0;
   }
   markedAbstract() {
     const declaration = this.getFirstDeclaration();
@@ -25797,7 +25826,7 @@ var TsIndexSignatureEntity = class {
     return false;
   }
   isOverride() {
-    return false;
+    return this.getOverriddenMembers().length > 0;
   }
   markedAbstract() {
     return false;
@@ -27994,7 +28023,7 @@ var AnalyzedTextTranslationPackage = class {
   }
   createEntitiesByTextKey() {
     const result = /* @__PURE__ */ new Map();
-    for (const declaration of this.enumerableTextTranslationDeclarations()) {
+    for (const declaration of this.textTranslationDeclarations()) {
       const entity = this.analyzer.entity.ofTextTranslationDeclaration(declaration.sourceText);
       const key = entity.getKey();
       let entities = result.get(key);
@@ -28006,8 +28035,8 @@ var AnalyzedTextTranslationPackage = class {
     }
     return result;
   }
-  *enumerableTextTranslationDeclarations() {
-    for (const translations of this.enumerableTranslationsDeclarations()) {
+  *textTranslationDeclarations() {
+    for (const translations of this.translationsDeclarations()) {
       for (const declaration of translations.translationList.elements) {
         if (declaration.kind === 140 /* TextTranslationDeclaration */ || declaration.kind === 141 /* TextTranslationFunctionDeclaration */) {
           yield declaration;
@@ -28015,7 +28044,7 @@ var AnalyzedTextTranslationPackage = class {
       }
     }
   }
-  *enumerableTranslationsDeclarations() {
+  *translationsDeclarations() {
     for (const sourceFile of this.package_.sourceFiles) {
       for (const declaration of flattenPackageMemberDeclarationList(sourceFile.getSyntaxNode().declarationList)) {
         if (declaration.kind === 123 /* TranslationsDeclaration */) {
@@ -28075,7 +28104,7 @@ var TranslatedAliasTypeEntity = class {
     return this.aliasedType.getOrInsertWith(() => new LocalizedAliasedType(this.originalEntity.getAliasedType(), this.translationPackage.localizationContext));
   }
   getMembers() {
-    return this.members.getOrInsertWith(() => this.translationPackage.createTranslatedTypeOrExtensionMembers(this, this.node));
+    return this.members.getOrInsertWith(() => this.translationPackage.getTranslatedTypeOrExtensionMembers(this));
   }
   getDefinition() {
     return this.originalEntity.getDefinition();
@@ -28095,9 +28124,6 @@ var TranslatedAliasTypeEntity = class {
   getContext() {
     return this.context.getOrInsertWith(() => this.translationPackage.localizationContext.createLocalizedEntityContext(this.originalEntity.getContext()));
   }
-  ensureAllDiagnosticsReported() {
-    this.getMembers();
-  }
 };
 TranslatedAliasTypeEntity = __decorateClass([
   entityToStringDecorator
@@ -28243,8 +28269,7 @@ var SourceTranslationDefinition = class {
   }
 };
 var IntrinsicTranslationDefinition = class {
-  constructor(isMissingTranslationReplacement = false) {
-    this.isMissingTranslationReplacement = isMissingTranslationReplacement;
+  constructor() {
     this.kind = "intrinsic";
   }
   equals(other) {
@@ -28304,7 +28329,7 @@ var TranslatedDereferenceOperatorEntity = class {
       const originalGetter = this.originalEntity.getGetter();
       return originalGetter !== void 0 ? new TranslatedGetterEntity(
         originalGetter,
-        new Translation(this.translation.translationPackage, new IntrinsicTranslationDefinition(false)),
+        new Translation(this.translation.translationPackage, new IntrinsicTranslationDefinition()),
         this.translationPackage,
         this
       ) : void 0;
@@ -28315,7 +28340,7 @@ var TranslatedDereferenceOperatorEntity = class {
       const originalSetter = this.originalEntity.getSetter();
       return originalSetter !== void 0 ? new TranslatedSetterEntity(
         originalSetter,
-        new Translation(this.translation.translationPackage, new IntrinsicTranslationDefinition(false)),
+        new Translation(this.translation.translationPackage, new IntrinsicTranslationDefinition()),
         this.translationPackage,
         this
       ) : void 0;
@@ -28435,6 +28460,9 @@ var TranslatedPackageFunctionEntity = class {
   getName() {
     return this.name;
   }
+  getNaming() {
+    return new EntityNaming_named(this.name);
+  }
   getTypeParameters() {
     return this.typeParameters.getOrInsertWith(() => this.translationPackage.createTranslatedTypeParameters(
       this.originalEntity.getTypeParameters(),
@@ -28475,11 +28503,9 @@ TranslatedPackageFunctionEntity = __decorateClass([
   entityToStringDecorator
 ], TranslatedPackageFunctionEntity);
 var TranslatedMethodEntity = class {
-  constructor(analyzer, originalEntity, translation, name, translationPackage, translatedContainingEntity, node) {
+  constructor(analyzer, originalEntity, translation, name, translationPackage, translatedContainingEntity) {
     this.kind = 1 /* Function */;
     this.subkind = "method";
-    this.typeParameters = new Cached();
-    this.parameters = new Cached();
     this.returnType = new Cached();
     this.overriddenMembers = new Cached();
     Debug.assert(
@@ -28492,7 +28518,6 @@ var TranslatedMethodEntity = class {
     this.name = name;
     this.translationPackage = translationPackage;
     this.containingEntity = translatedContainingEntity;
-    this.node = node;
   }
   getContainingEntity() {
     return this.containingEntity;
@@ -28515,19 +28540,8 @@ var TranslatedMethodEntity = class {
   getName() {
     return this.name;
   }
-  getTypeParameters() {
-    return this.typeParameters.getOrInsertWith(() => this.translationPackage.createTranslatedTypeParameters(
-      this.originalEntity.getTypeParameters(),
-      this.node?.translatedTypeParameterClause?.typeParameterList,
-      this
-    ));
-  }
-  getParameters() {
-    return this.parameters.getOrInsertWith(() => this.translationPackage.createTranslatedParameters(
-      this.originalEntity.getParameters(),
-      this.node?.translatedParameterClause.parameterList,
-      this
-    ));
+  getNaming() {
+    return new EntityNaming_named(this.name);
   }
   getReturnType() {
     return this.returnType.getOrInsertWith(() => this.translationPackage.localizationContext.createLocalizedType(this.originalEntity.getReturnType()));
@@ -28576,9 +28590,74 @@ var TranslatedMethodEntity = class {
     return this.originalEntity.getSubstitutionApplicationMode();
   }
 };
-TranslatedMethodEntity = __decorateClass([
+var SourceTranslatedMethodEntity = class extends TranslatedMethodEntity {
+  constructor(analyzer, originalEntity, translation, name, translationPackage, translatedContainingEntity, node) {
+    super(analyzer, originalEntity, translation, name, translationPackage, translatedContainingEntity);
+    this.kind = 1 /* Function */;
+    this.subkind = "method";
+    this.typeParameters = new Cached();
+    this.parameters = new Cached();
+    this.node = node;
+  }
+  getTypeParameters() {
+    return this.typeParameters.getOrInsertWith(() => this.translationPackage.createTranslatedTypeParameters(
+      this.originalEntity.getTypeParameters(),
+      this.node?.translatedTypeParameterClause?.typeParameterList,
+      this
+    ));
+  }
+  getParameters() {
+    return this.parameters.getOrInsertWith(() => this.translationPackage.createTranslatedParameters(
+      this.originalEntity.getParameters(),
+      this.node?.translatedParameterClause.parameterList,
+      this
+    ));
+  }
+};
+SourceTranslatedMethodEntity = __decorateClass([
+  entityToStringDecorator
+], SourceTranslatedMethodEntity);
+var UnfinishedIntrinsicTranslatedMethodEntity = class {
+  get unfinishedValue() {
+    return this.unfinishedValue_;
+  }
+  constructor(analyzer, originalEntity, translation, name, translationPackage, translatedContainingEntity) {
+    this.unfinishedValue_ = new IntrinsicTranslatedMethodEntity(
+      analyzer,
+      originalEntity,
+      translation,
+      name,
+      translationPackage,
+      translatedContainingEntity
+    );
+  }
+  finish(typeParameters, parameters) {
+    this.unfinishedValue_.setTypeParameters(typeParameters);
+    this.unfinishedValue_.setParameters(parameters);
+    return this.unfinishedValue_;
+  }
+};
+var IntrinsicTranslatedMethodEntity = class extends TranslatedMethodEntity {
+  getTypeParameters() {
+    Debug.assertNotNull(this.typeParameters, "\u041F\u0430\u0440\u0430\u043C\u0435\u0442\u0440\u044B \u0442\u0438\u043F\u0430 \u043D\u0435 \u0431\u044B\u043B\u0438 \u0443\u0441\u0442\u0430\u043D\u043E\u0432\u043B\u0435\u043D\u044B.");
+    return this.typeParameters;
+  }
+  getParameters() {
+    Debug.assertNotNull(this.parameters, "\u041F\u0430\u0440\u0430\u043C\u0435\u0442\u0440\u044B \u043D\u0435 \u0431\u044B\u043B\u0438 \u0443\u0441\u0442\u0430\u043D\u043E\u0432\u043B\u0435\u043D\u044B.");
+    return this.parameters;
+  }
+  setTypeParameters(typeParameters) {
+    Debug.assert(this.typeParameters === void 0, "\u041F\u0430\u0440\u0430\u043C\u0435\u0442\u0440\u044B \u0442\u0438\u043F\u0430 \u0443\u0436\u0435 \u0431\u044B\u043B\u0438 \u0443\u0441\u0442\u0430\u043D\u043E\u0432\u043B\u0435\u043D\u044B.");
+    this.typeParameters = typeParameters;
+  }
+  setParameters(parameters) {
+    Debug.assert(this.parameters === void 0, "\u041F\u0430\u0440\u0430\u043C\u0435\u0442\u0440\u044B \u0443\u0436\u0435 \u0431\u044B\u043B\u0438 \u0443\u0441\u0442\u0430\u043D\u043E\u0432\u043B\u0435\u043D\u044B.");
+    this.parameters = parameters;
+  }
+};
+IntrinsicTranslatedMethodEntity = __decorateClass([
   entityToStringDecorator
-], TranslatedMethodEntity);
+], IntrinsicTranslatedMethodEntity);
 
 // source/entities/translated/TranslatedStructuredTypeEntity.ts
 var TranslatedPackageStructuredTypeEntity = class {
@@ -28630,7 +28709,7 @@ var TranslatedPackageStructuredTypeEntity = class {
     ));
   }
   getMembers() {
-    return this.members.getOrInsertWith(() => this.translationPackage.createTranslatedTypeOrExtensionMembers(this, this.node));
+    return this.members.getOrInsertWith(() => this.translationPackage.getTranslatedTypeOrExtensionMembers(this));
   }
   getDefinition() {
     return this.originalEntity.getDefinition();
@@ -28668,9 +28747,6 @@ var TranslatedPackageStructuredTypeEntity = class {
   getContext() {
     return this.context.getOrInsertWith(() => this.translationPackage.localizationContext.createLocalizedEntityContext(this.originalEntity.getContext()));
   }
-  ensureAllDiagnosticsReported() {
-    this.getMembers();
-  }
 };
 TranslatedPackageStructuredTypeEntity = __decorateClass([
   entityToStringDecorator
@@ -28718,7 +28794,7 @@ var TranslatedAnonymousStructuredTypeEntity = class {
     return originalTypeParameters;
   }
   getMembers() {
-    return this.members.getOrInsertWith(() => this.translationPackage.createTranslatedTypeOrExtensionMembers(this, void 0));
+    return this.members.getOrInsertWith(() => this.translationPackage.getTranslatedTypeOrExtensionMembers(this));
   }
   getDefinition() {
     return this.originalEntity.getDefinition();
@@ -28870,7 +28946,7 @@ var TranslatedPackageFunctionTypeEntity = class {
     return this.returnType.getOrInsertWith(() => this.translationPackage.localizationContext.createLocalizedType(this.originalEntity.getReturnType()));
   }
   getMembers() {
-    return this.members.getOrInsertWith(() => this.translationPackage.createTranslatedTypeOrExtensionMembers(this, void 0));
+    return this.members.getOrInsertWith(() => this.translationPackage.getTranslatedTypeOrExtensionMembers(this));
   }
   getDefinition() {
     return this.originalEntity.getDefinition();
@@ -28896,9 +28972,6 @@ var TranslatedPackageFunctionTypeEntity = class {
   getContext() {
     return this.context.getOrInsertWith(() => this.translationPackage.localizationContext.createLocalizedEntityContext(this.originalEntity.getContext()));
   }
-  ensureAllDiagnosticsReported() {
-    this.getMembers();
-  }
 };
 TranslatedPackageFunctionTypeEntity = __decorateClass([
   entityToStringDecorator
@@ -28953,7 +29026,7 @@ var TranslatedAnonymousFunctionTypeEntity = class {
     return this.returnType.getOrInsertWith(() => this.translationPackage.localizationContext.createLocalizedType(this.originalEntity.getReturnType()));
   }
   getMembers() {
-    return this.members.getOrInsertWith(() => this.translationPackage.createTranslatedTypeOrExtensionMembers(this, void 0));
+    return this.members.getOrInsertWith(() => this.translationPackage.getTranslatedTypeOrExtensionMembers(this));
   }
   getDefinition() {
     return this.originalEntity.getDefinition();
@@ -29038,9 +29111,8 @@ TranslatedGetterEntity = __decorateClass([
 
 // source/entities/translated/TranslatedIndexerEntity.ts
 var TranslatedIndexerEntity = class {
-  constructor(originalEntity, translation, translationPackage, translatedContainingEntity, node) {
+  constructor(originalEntity, translation, translationPackage, translatedContainingEntity) {
     this.kind = 5 /* Indexer */;
-    this.parameters = new Cached();
     this.type = new Cached();
     this.getter = new Cached();
     this.setter = new Cached();
@@ -29053,7 +29125,6 @@ var TranslatedIndexerEntity = class {
     this.translation = translation;
     this.translationPackage = translationPackage;
     this.containingEntity = translatedContainingEntity;
-    this.node = node;
   }
   getContainingEntity() {
     return this.containingEntity;
@@ -29073,13 +29144,6 @@ var TranslatedIndexerEntity = class {
   getOriginalEntity() {
     return this.originalEntity;
   }
-  getParameters() {
-    return this.parameters.getOrInsertWith(() => this.translationPackage.createTranslatedParameters(
-      this.originalEntity.getParameters(),
-      this.node?.translatedParameterClause.parameterList,
-      this
-    ));
-  }
   getDefinition() {
     return this.originalEntity.getDefinition();
   }
@@ -29097,7 +29161,7 @@ var TranslatedIndexerEntity = class {
       const originalGetter = this.originalEntity.getGetter();
       return originalGetter !== void 0 ? new TranslatedGetterEntity(
         originalGetter,
-        new Translation(this.translation.translationPackage, new IntrinsicTranslationDefinition(false)),
+        new Translation(this.translation.translationPackage, new IntrinsicTranslationDefinition()),
         this.translationPackage,
         this
       ) : void 0;
@@ -29108,7 +29172,7 @@ var TranslatedIndexerEntity = class {
       const originalSetter = this.originalEntity.getSetter();
       return originalSetter !== void 0 ? new TranslatedSetterEntity(
         originalSetter,
-        new Translation(this.translation.translationPackage, new IntrinsicTranslationDefinition(false)),
+        new Translation(this.translation.translationPackage, new IntrinsicTranslationDefinition()),
         this.translationPackage,
         this
       ) : void 0;
@@ -29136,15 +29200,58 @@ var TranslatedIndexerEntity = class {
     return this.originalEntity.getTags();
   }
 };
-TranslatedIndexerEntity = __decorateClass([
+var SourceTranslatedIndexerEntity = class extends TranslatedIndexerEntity {
+  constructor(originalEntity, translation, translationPackage, translatedContainingEntity, node) {
+    super(originalEntity, translation, translationPackage, translatedContainingEntity);
+    this.parameters = new Cached();
+    this.node = node;
+  }
+  getParameters() {
+    return this.parameters.getOrInsertWith(() => this.translationPackage.createTranslatedParameters(
+      this.originalEntity.getParameters(),
+      this.node?.translatedParameterClause.parameterList,
+      this
+    ));
+  }
+};
+SourceTranslatedIndexerEntity = __decorateClass([
   entityToStringDecorator
-], TranslatedIndexerEntity);
+], SourceTranslatedIndexerEntity);
+var UnfinishedIntrinsicTranslatedIndexerEntity = class {
+  get unfinishedValue() {
+    return this.unfinishedValue_;
+  }
+  constructor(originalEntity, translation, translationPackage, translatedContainingEntity) {
+    this.unfinishedValue_ = new IntrinsicTranslatedIndexerEntity(
+      originalEntity,
+      translation,
+      translationPackage,
+      translatedContainingEntity
+    );
+  }
+  finish(parameters) {
+    this.unfinishedValue_.setParameters(parameters);
+    return this.unfinishedValue_;
+  }
+};
+var IntrinsicTranslatedIndexerEntity = class extends TranslatedIndexerEntity {
+  getParameters() {
+    Debug.assertNotNull(this.parameters, "\u041F\u0430\u0440\u0430\u043C\u0435\u0442\u0440\u044B \u043D\u0435 \u0443\u0441\u0442\u0430\u043D\u043E\u0432\u043B\u0435\u043D\u044B.");
+    return this.parameters;
+  }
+  setParameters(parameters) {
+    Debug.assert(this.parameters === void 0, "\u041F\u0430\u0440\u0430\u043C\u0435\u0442\u0440\u044B \u0443\u0436\u0435 \u0431\u044B\u043B\u0438 \u0443\u0441\u0442\u0430\u043D\u043E\u0432\u043B\u0435\u043D\u044B.");
+    this.parameters = parameters;
+  }
+};
+IntrinsicTranslatedIndexerEntity = __decorateClass([
+  entityToStringDecorator
+], IntrinsicTranslatedIndexerEntity);
 
 // source/entities/translated/TranslatedOperatorEntity.ts
 var TranslatedOperatorEntity = class {
-  constructor(analyzer, originalEntity, translation, translationPackage, translatedContainingEntity, node) {
+  constructor(analyzer, originalEntity, translation, translationPackage, translatedContainingEntity) {
     this.kind = 9 /* Operator */;
-    this.parameters = new Cached();
     this.returnType = new Cached();
     this.overriddenMembers = new Cached();
     Debug.assert(
@@ -29156,7 +29263,6 @@ var TranslatedOperatorEntity = class {
     this.translation = translation;
     this.translationPackage = translationPackage;
     this.containingEntity = translatedContainingEntity;
-    this.node = node;
   }
   getContainingEntity() {
     return this.containingEntity;
@@ -29179,13 +29285,6 @@ var TranslatedOperatorEntity = class {
   getOperatorKind() {
     return this.originalEntity.getOperatorKind();
   }
-  getParameters() {
-    return this.parameters.getOrInsertWith(() => this.translationPackage.createTranslatedParameters(
-      this.originalEntity.getParameters(),
-      this.node?.translatedParameterClause.parameterList,
-      this
-    ));
-  }
   getReturnType() {
     return this.returnType.getOrInsertWith(() => this.translationPackage.localizationContext.createLocalizedType(this.originalEntity.getReturnType()));
   }
@@ -29218,15 +29317,60 @@ var TranslatedOperatorEntity = class {
     return this.originalEntity.getTags();
   }
 };
-TranslatedOperatorEntity = __decorateClass([
+var SourceTranslatedOperatorEntity = class extends TranslatedOperatorEntity {
+  constructor(analyzer, originalEntity, translation, translationPackage, translatedContainingEntity, node) {
+    super(analyzer, originalEntity, translation, translationPackage, translatedContainingEntity);
+    this.kind = 9 /* Operator */;
+    this.parameters = new Cached();
+    this.node = node;
+  }
+  getParameters() {
+    return this.parameters.getOrInsertWith(() => this.translationPackage.createTranslatedParameters(
+      this.originalEntity.getParameters(),
+      this.node?.translatedParameterClause.parameterList,
+      this
+    ));
+  }
+};
+SourceTranslatedOperatorEntity = __decorateClass([
   entityToStringDecorator
-], TranslatedOperatorEntity);
+], SourceTranslatedOperatorEntity);
+var UnfinishedIntrinsicTranslatedOperatorEntity = class {
+  get unfinishedValue() {
+    return this.unfinishedValue_;
+  }
+  constructor(analyzer, originalEntity, translation, translationPackage, translatedContainingEntity) {
+    this.unfinishedValue_ = new IntrinsicTranslatedOperatorEntity(
+      analyzer,
+      originalEntity,
+      translation,
+      translationPackage,
+      translatedContainingEntity
+    );
+  }
+  finish(parameters) {
+    this.unfinishedValue_.setParameters(parameters);
+    return this.unfinishedValue_;
+  }
+};
+var IntrinsicTranslatedOperatorEntity = class extends TranslatedOperatorEntity {
+  getParameters() {
+    Debug.assertNotNull(this.parameters, "\u041F\u0430\u0440\u0430\u043C\u0435\u0442\u0440\u044B \u043D\u0435 \u0443\u0441\u0442\u0430\u043D\u043E\u0432\u043B\u0435\u043D\u044B.");
+    return this.parameters;
+  }
+  setParameters(parameters) {
+    Debug.assert(this.parameters === void 0, "\u041F\u0430\u0440\u0430\u043C\u0435\u0442\u0440\u044B \u0443\u0436\u0435 \u0431\u044B\u043B\u0438 \u0443\u0441\u0442\u0430\u043D\u043E\u0432\u043B\u0435\u043D\u044B.");
+    this.parameters = parameters;
+  }
+};
+IntrinsicTranslatedOperatorEntity = __decorateClass([
+  entityToStringDecorator
+], IntrinsicTranslatedOperatorEntity);
 
 // source/entities/translated/TranslatedPackageEntity.ts
 var TranslatedPackageEntity = class {
   constructor(originalEntity, translation, name, translationPackage) {
     this.kind = 12 /* Package */;
-    this.members = new Cached();
     Debug.assert(
       originalEntity.getOriginalEntity() === originalEntity,
       "\u041F\u0435\u0440\u0435\u0432\u0435\u0434\u0451\u043D\u043D\u0430\u044F \u0441\u0443\u0449\u043D\u043E\u0441\u0442\u044C \u043C\u043E\u0436\u0435\u0442 \u0441\u043E\u0437\u0434\u0430\u0432\u0430\u0442\u044C\u0441\u044F \u0442\u043E\u043B\u044C\u043A\u043E \u0438\u0437 \u0438\u0441\u0445\u043E\u0434\u043D\u043E\u0439 \u0441\u0443\u0449\u043D\u043E\u0441\u0442\u0438."
@@ -29246,7 +29390,7 @@ var TranslatedPackageEntity = class {
     return this.originalEntity.getDialect();
   }
   getMembers() {
-    return this.members.getOrInsertWith(() => this.translationPackage.createTranslatedPackageMembers());
+    return this.translationPackage.getTranslatedPackageMembers();
   }
   getInterfacePackageInfo() {
     return this.originalEntity.getInterfacePackageInfo();
@@ -29275,9 +29419,6 @@ var TranslatedPackageEntity = class {
   getTextTranslationPackageInfo() {
     return void 0;
   }
-  ensureAllDiagnosticsReported() {
-    this.getMembers();
-  }
 };
 TranslatedPackageEntity = __decorateClass([
   entityToStringDecorator
@@ -29347,7 +29488,7 @@ var TranslatedTypeExtensionEntity = class {
     this.translationPackage = translationPackage;
   }
   getMembers() {
-    return this.members.getOrInsertWith(() => this.translationPackage.createTranslatedTypeOrExtensionMembers(this, void 0));
+    return this.members.getOrInsertWith(() => this.translationPackage.getTranslatedTypeOrExtensionMembers(this));
   }
   getContainingPackage() {
     return this.translationPackage.translatedTargetPackage;
@@ -29551,7 +29692,7 @@ var TranslatedPackageVariableEntity = class {
       const originalGetter = this.originalEntity.getGetter();
       return originalGetter !== void 0 ? new TranslatedGetterEntity(
         originalGetter,
-        new Translation(this.translation.translationPackage, new IntrinsicTranslationDefinition(false)),
+        new Translation(this.translation.translationPackage, new IntrinsicTranslationDefinition()),
         this.translationPackage,
         this
       ) : void 0;
@@ -29562,7 +29703,7 @@ var TranslatedPackageVariableEntity = class {
       const originalSetter = this.originalEntity.getSetter();
       return originalSetter !== void 0 ? new TranslatedSetterEntity(
         originalSetter,
-        new Translation(this.translation.translationPackage, new IntrinsicTranslationDefinition(false)),
+        new Translation(this.translation.translationPackage, new IntrinsicTranslationDefinition()),
         this.translationPackage,
         this
       ) : void 0;
@@ -29658,7 +29799,7 @@ var TranslatedFieldEntity = class {
       const originalGetter = this.originalEntity.getGetter();
       return originalGetter !== void 0 ? new TranslatedGetterEntity(
         originalGetter,
-        new Translation(this.translation.translationPackage, new IntrinsicTranslationDefinition(false)),
+        new Translation(this.translation.translationPackage, new IntrinsicTranslationDefinition()),
         this.translationPackage,
         this
       ) : void 0;
@@ -29669,7 +29810,7 @@ var TranslatedFieldEntity = class {
       const originalSetter = this.originalEntity.getSetter();
       return originalSetter !== void 0 ? new TranslatedSetterEntity(
         originalSetter,
-        new Translation(this.translation.translationPackage, new IntrinsicTranslationDefinition(false)),
+        new Translation(this.translation.translationPackage, new IntrinsicTranslationDefinition()),
         this.translationPackage,
         this
       ) : void 0;
@@ -29825,7 +29966,7 @@ var TranslatedPackageVariantTypeEntity = class {
     return this.underlyingType.getOrInsertWith(() => this.translationPackage.localizationContext.createLocalizedType(this.originalEntity.getUnderlyingType()));
   }
   getMembers() {
-    return this.members.getOrInsertWith(() => this.translationPackage.createTranslatedTypeOrExtensionMembers(this, this.node));
+    return this.members.getOrInsertWith(() => this.translationPackage.getTranslatedTypeOrExtensionMembers(this));
   }
   getDefinition() {
     return this.originalEntity.getDefinition();
@@ -29848,9 +29989,6 @@ var TranslatedPackageVariantTypeEntity = class {
   getContext() {
     return this.context.getOrInsertWith(() => this.translationPackage.localizationContext.createLocalizedEntityContext(this.originalEntity.getContext()));
   }
-  ensureAllDiagnosticsReported() {
-    this.getMembers();
-  }
 };
 TranslatedPackageVariantTypeEntity = __decorateClass([
   entityToStringDecorator
@@ -29901,7 +30039,7 @@ var TranslatedAnonymousVariantTypeEntity = class {
     return this.underlyingType.getOrInsertWith(() => this.translationPackage.localizationContext.createLocalizedType(this.originalEntity.getUnderlyingType()));
   }
   getMembers() {
-    return this.members.getOrInsertWith(() => this.translationPackage.createTranslatedTypeOrExtensionMembers(this, void 0));
+    return this.members.getOrInsertWith(() => this.translationPackage.getTranslatedTypeOrExtensionMembers(this));
   }
   getDefinition() {
     return this.originalEntity.getDefinition();
@@ -29929,16 +30067,281 @@ TranslatedAnonymousVariantTypeEntity = __decorateClass([
   entityToStringDecorator
 ], TranslatedAnonymousVariantTypeEntity);
 
+// source/analysis/TranslatedEntityNameConflictsValidator.ts
+var TranslatedEntityNameConflictsValidator = class {
+  constructor(analyzer, package_) {
+    this.analyzer = analyzer;
+    this.package_ = package_;
+    this.packageMemberDiagnostics = new AccumulatingDiagnosticAcceptor();
+    this.arePackageMembersValidated = false;
+  }
+  accumulateDiagnosticForSourceFile(sourceFile, diagnostics) {
+    this.ensurePackageMembersAreValidated();
+    for (const diagnostic of this.packageMemberDiagnostics.items) {
+      if (diagnostic.location?.file === sourceFile) {
+        diagnostics.addDiagnostic(diagnostic);
+      }
+    }
+    const sourceFileNode = sourceFile.getSyntaxNode();
+    for (const member of this.package_.getMembers().getNamedMembers()) {
+      if (member.kind === 2 /* Type */) {
+        const translation = member.getTranslation();
+        if (translation?.definition.kind === "source" && !(translation.definition.nodeOrPackage instanceof TranslationPackage) && translation.definition.nodeOrPackage.sourceFile === sourceFileNode) {
+          this.validateTypeMembers(member, diagnostics);
+        }
+      }
+    }
+  }
+  ensurePackageMembersAreValidated() {
+    if (!this.arePackageMembersValidated) {
+      this.validatePackageMembers(this.packageMemberDiagnostics);
+      this.arePackageMembersValidated = true;
+    }
+  }
+  validatePackageMembers(diagnostics) {
+    const translatedNamedMembers = this.package_.getMembers().getNamedMembers();
+    const originalNamedMembers = this.package_.getOriginalEntity().getMembers().getNamedMembers();
+    const translatedMemberByOriginal = Query.toMap(translatedNamedMembers, (m) => m.getOriginalEntity(), (m) => m);
+    const originalNamedMembersByNameKey = Query.groupByToMap(originalNamedMembers, (m) => m.getName().key);
+    for (const originalMemberGroup of originalNamedMembersByNameKey.values()) {
+      if (originalMemberGroup.length > 1) {
+        this.checkTranslatedMembersHaveSameName(originalMemberGroup, translatedMemberByOriginal, diagnostics);
+      }
+    }
+    const translatedMembersByNameKey = Query.groupByToMap(translatedNamedMembers, (m) => m.getName().key);
+    for (const translatedMemberGroup of translatedMembersByNameKey.values()) {
+      if (translatedMemberGroup.length > 1) {
+        this.checkOriginalMembersHaveSameName(translatedMemberGroup, diagnostics);
+      }
+    }
+    for (const member of this.package_.getMembers().getAll()) {
+      if (member.getTranslation()?.definition.kind === "source") {
+        switch (member.kind) {
+          case 1 /* Function */:
+            this.validateTypeParameterNameConflicts(member.getTypeParameters(), diagnostics);
+            this.validateParameterNameConflicts(member.getParameters(), diagnostics);
+            break;
+          case 2 /* Type */:
+            this.validateTypeParameterNameConflicts(member.getTypeParameters(), diagnostics);
+            if (member.typeEntityKind === 0 /* Function */) {
+              this.validateParameterNameConflicts(member.getParameters(), diagnostics);
+            }
+            break;
+          case 0 /* Variable */:
+          case 11 /* TypeExtension */:
+            break;
+          default:
+            Debug.never(member);
+        }
+      }
+    }
+  }
+  validateTypeMembers(typeEntity, diagnostics) {
+    if (typeEntity.getTranslation()?.definition.kind !== "source") {
+      return;
+    }
+    const translatedNamedMembers = typeEntity.getMembers().getNamedMembers();
+    const originalNamedMembers = typeEntity.getOriginalEntity().getMembers().getNamedMembers();
+    const translatedMemberByOriginal = Query.toMap(translatedNamedMembers, (m) => m.getOriginalEntity(), (m) => m);
+    const originalNamedMembersByNameKey = Query.groupByToMap(originalNamedMembers, (m) => m.getName().key);
+    for (const originalMemberGroup of originalNamedMembersByNameKey.values()) {
+      if (originalMemberGroup.length > 1) {
+        this.checkTranslatedMembersHaveSameName(originalMemberGroup, translatedMemberByOriginal, diagnostics);
+      }
+    }
+    const translatedMembersByNameKey = Query.groupByToMap(translatedNamedMembers, (m) => m.getName().key);
+    for (const translatedMemberGroup of translatedMembersByNameKey.values()) {
+      if (translatedMemberGroup.length > 1) {
+        this.checkOriginalMembersHaveSameName(translatedMemberGroup, diagnostics);
+      }
+    }
+    for (const member of typeEntity.getMembers().getAll()) {
+      if (member.getTranslation()?.definition.kind === "source") {
+        switch (member.kind) {
+          case 0 /* Variable */:
+            this.checkOverridingMemberHasTheSameNameAsBaseMember(member, diagnostics);
+            break;
+          case 1 /* Function */:
+            this.checkOverridingMemberHasTheSameNameAsBaseMember(member, diagnostics);
+            this.validateTypeParameterNameConflicts(member.getTypeParameters(), diagnostics);
+            this.validateParameterNameConflicts(member.getParameters(), diagnostics);
+            break;
+          case 5 /* Indexer */:
+            this.validateParameterNameConflicts(member.getParameters(), diagnostics);
+            break;
+          case 7 /* Constructor */:
+            this.validateParameterNameConflicts(member.getParameters(), diagnostics);
+            break;
+          case 8 /* Destructor */:
+            this.validateParameterNameConflicts(member.getParameters(), diagnostics);
+            break;
+          case 9 /* Operator */:
+            this.validateParameterNameConflicts(member.getParameters(), diagnostics);
+            break;
+          case 6 /* DereferenceOperator */:
+            break;
+          default:
+            Debug.never(member);
+        }
+      }
+    }
+  }
+  checkTranslatedMembersHaveSameName(originalMembers, translatedMemberByOriginal, diagnostics) {
+    if (originalMembers.length > 1) {
+      const translatedMembers = originalMembers.map((m) => translatedMemberByOriginal.get(m)).filter((m) => m !== void 0);
+      const firstSourceTranslatedMember = translatedMembers.find((m) => m.getTranslation()?.definition.kind === "source");
+      if (firstSourceTranslatedMember !== void 0) {
+        const translatedMemberWithDifferentName = translatedMembers.find((m) => !m.getName().considerEqual(firstSourceTranslatedMember.getName(), true));
+        if (translatedMemberWithDifferentName !== void 0) {
+          const nodeForDiagnostic = this.getTranslatedNameNode(
+            this.getTranslationDefinitionNode(firstSourceTranslatedMember.getTranslation())
+          );
+          if (nodeForDiagnostic !== void 0) {
+            const argumentFactory = this.analyzer.semanticContext.ofSourceFile(nodeForDiagnostic.sourceFile).getDiagnosticArgumentFactory();
+            diagnostics.addDiagnostic(this.analyzer.createNodeDiagnostic(
+              393 /* Declarations0And1HaveTheSameSourceNamesButDifferentTranslatedNames23 */,
+              nodeForDiagnostic,
+              [
+                argumentFactory.createDisplayableEntity(firstSourceTranslatedMember.getOriginalEntity()),
+                argumentFactory.createDisplayableEntity(translatedMemberWithDifferentName.getOriginalEntity()),
+                firstSourceTranslatedMember.getName(),
+                translatedMemberWithDifferentName.getName()
+              ]
+            ));
+          }
+        }
+      }
+    }
+  }
+  checkOriginalMembersHaveSameName(translatedMembers, diagnostics) {
+    if (translatedMembers.length > 1) {
+      const firstSourceTranslatedMember = translatedMembers.find((m) => m.getTranslation()?.definition.kind === "source");
+      if (firstSourceTranslatedMember !== void 0) {
+        const originalMembers = translatedMembers.map((m) => m.getOriginalEntity());
+        const originalName = firstSourceTranslatedMember.getOriginalEntity().getName();
+        const originalMemberWithDifferentName = originalMembers.find((m) => !m.getName().considerEqual(originalName, true));
+        if (originalMemberWithDifferentName !== void 0) {
+          const nodeForDiagnostic = this.getTranslatedNameNode(
+            this.getTranslationDefinitionNode(firstSourceTranslatedMember.getTranslation())
+          );
+          if (nodeForDiagnostic !== void 0) {
+            const correspondingTranslatedMember = translatedMembers.find((m) => m.getOriginalEntity() === originalMemberWithDifferentName);
+            Debug.assertNotNull(correspondingTranslatedMember);
+            const argumentFactory = this.analyzer.semanticContext.ofSourceFile(nodeForDiagnostic.sourceFile).getDiagnosticArgumentFactory();
+            diagnostics.addDiagnostic(this.analyzer.createNodeDiagnostic(
+              394 /* TranslatedDeclarations0And1HaveTheSameTranslatedNamesButDifferentSourceNames23 */,
+              nodeForDiagnostic,
+              [
+                argumentFactory.createDisplayableEntity(firstSourceTranslatedMember),
+                argumentFactory.createDisplayableEntity(correspondingTranslatedMember),
+                originalName,
+                originalMemberWithDifferentName.getName()
+              ]
+            ));
+          }
+        }
+      }
+    }
+  }
+  getTranslatedNameNode(node) {
+    if (node === void 0) {
+      return void 0;
+    }
+    switch (node.kind) {
+      case 132 /* PackageFunctionTranslationDeclaration */:
+      case 133 /* MethodTranslation */:
+      case 134 /* FunctionTypeTranslationDeclaration */:
+      case 137 /* FieldOrVariantTranslation */:
+      case 136 /* PackageVariableTranslationDeclaration */:
+      case 139 /* TypeTranslationDeclaration */:
+        return node.translatedName;
+      case 127 /* ConstructorTranslation */:
+      case 129 /* IndexerTranslation */:
+      case 140 /* TextTranslationDeclaration */:
+      case 141 /* TextTranslationFunctionDeclaration */:
+        return void 0;
+      default:
+        Debug.never(node);
+    }
+  }
+  validateTypeParameterNameConflicts(typeParameters, diagnostics) {
+    if (typeParameters.length > 0) {
+      const nameKeys = /* @__PURE__ */ new Set();
+      for (const typeParameter of typeParameters) {
+        const key = typeParameter.getName().keyWithoutBackQuotes;
+        if (nameKeys.has(key)) {
+          const translationDefinition = typeParameter.getTranslation()?.definition;
+          if (translationDefinition?.kind === "source" && translationDefinition.translatedNameIdentifier !== void 0) {
+            diagnostics.addDiagnostic(this.analyzer.createNodeDiagnostic(
+              305 /* ScopeAlreadyContainsDeclarationWithTheSameName */,
+              translationDefinition.translatedNameIdentifier
+            ));
+          }
+        } else {
+          nameKeys.add(key);
+        }
+      }
+    }
+  }
+  validateParameterNameConflicts(parameters, diagnostics) {
+    if (parameters.length > 0) {
+      const nameKeys = /* @__PURE__ */ new Set();
+      for (const parameter of parameters) {
+        const key = parameter.getName().keyWithoutBackQuotes;
+        if (nameKeys.has(key)) {
+          const translationDefinition = parameter.getTranslation()?.definition;
+          if (translationDefinition?.kind === "source" && translationDefinition.translatedNameIdentifier !== void 0) {
+            diagnostics.addDiagnostic(this.analyzer.createNodeDiagnostic(
+              305 /* ScopeAlreadyContainsDeclarationWithTheSameName */,
+              translationDefinition.translatedNameIdentifier
+            ));
+          }
+        } else {
+          nameKeys.add(key);
+        }
+      }
+    }
+  }
+  checkOverridingMemberHasTheSameNameAsBaseMember(derivedMemberEntity, diagnostics) {
+    const baseMembers = derivedMemberEntity.getOverriddenMembers();
+    if (baseMembers.length > 0) {
+      const baseMemberWithDifferentName = baseMembers.find((m) => !m.getName().considerEqual(derivedMemberEntity.getName()));
+      if (baseMemberWithDifferentName !== void 0) {
+        const nodeForDiagnostic = this.getTranslatedNameNode(
+          this.getTranslationDefinitionNode(derivedMemberEntity.getTranslation())
+        );
+        if (nodeForDiagnostic !== void 0) {
+          const argumentFactory = this.analyzer.semanticContext.ofSourceFile(nodeForDiagnostic.sourceFile).getDiagnosticArgumentFactory();
+          diagnostics.addDiagnostic(this.analyzer.createNodeDiagnostic(
+            395 /* TranslatedOverridingMember0MustTheSameNameAsBaseMember1 */,
+            nodeForDiagnostic,
+            [
+              argumentFactory.createDisplayableEntity(derivedMemberEntity),
+              argumentFactory.createDisplayableEntity(baseMemberWithDifferentName.getEntity())
+            ]
+          ));
+        }
+      }
+    }
+  }
+  getTranslationDefinitionNode(translation) {
+    let result;
+    if (translation?.definition.kind === "source" && !(translation.definition.nodeOrPackage instanceof TranslationPackage)) {
+      result = translation.definition.nodeOrPackage;
+    }
+    return result;
+  }
+};
+
 // source/analysis/AnalyzedTranslationPackage.ts
 var AnalyzedTranslationPackage = class _AnalyzedTranslationPackage {
   constructor(analyzer, package_, targetPackage) {
-    this.diagnostics = new AccumulatingDiagnosticAcceptor();
     this.localizedPackageByOriginalReferencedPackage = new Cached();
     this.translatedEntityByOriginal = /* @__PURE__ */ new Map();
-    this.hasCreatedPackageMembers = false;
-    this.typesOrExtensionsWithCreatedMembers = /* @__PURE__ */ new Set();
     this.packageMemberTranslationTargetsByNode = /* @__PURE__ */ new Map();
     this.typeMemberTranslationTargetsByNode = /* @__PURE__ */ new Map();
+    this.translatedPackageMembers = new Cached();
+    this.translatedTypeMembersByTypeOrExtensionEntity = /* @__PURE__ */ new Map();
     this.analyzer = analyzer;
     this.package_ = package_;
     this.targetPackage = targetPackage;
@@ -29949,6 +30352,10 @@ var AnalyzedTranslationPackage = class _AnalyzedTranslationPackage {
       this.package_.configuration.translatedName,
       this
     );
+    this.entityNameConflictsValidator = new TranslatedEntityNameConflictsValidator(
+      this.analyzer,
+      this.translatedTargetPackage
+    );
   }
   static {
     this.maxDisplayedNotTranslatedEntitiesCount = 10;
@@ -29968,29 +30375,29 @@ var AnalyzedTranslationPackage = class _AnalyzedTranslationPackage {
   getLocalizedPackageByOriginalReferencedPackage() {
     return this.localizedPackageByOriginalReferencedPackage.getOrInsertWith(() => this.createLocalizedPackageByOriginalReferencedPackage());
   }
-  accumulateDiagnosticsForSourceFile(sourceFile, diagnostics) {
-    this.translatedTargetPackage.ensureAllDiagnosticsReported?.();
-    const members = this.translatedTargetPackage.getMembers();
+  getTranslatedPackageMembers() {
+    return this.translatedPackageMembers.getOrInsertWith(() => this.createTranslatedPackageMembers());
+  }
+  ensureAllLazyDiagnosticsReportedForSourceFile(sourceFile) {
+    const members = this.getTranslatedPackageMembers();
     const sourceFileNode = sourceFile.getSyntaxNode();
     for (const member of members.getNamedMembers()) {
       if (member.kind === 2 /* Type */) {
         const translation = member.getTranslation();
         if (translation?.definition.kind === "source" && !(translation.definition.nodeOrPackage instanceof TranslationPackage) && translation.definition.nodeOrPackage.sourceFile === sourceFileNode) {
-          member.ensureAllDiagnosticsReported?.();
+          this.getTranslatedTypeOrExtensionMembers(member);
         }
       }
     }
     for (const member of members.getTypeExtensions()) {
-      member.ensureAllDiagnosticsReported?.();
-    }
-    for (const diagnostic of this.diagnostics.items) {
-      if (diagnostic.location?.file === sourceFile) {
-        diagnostics.addDiagnostic(diagnostic);
-      }
+      this.getTranslatedTypeOrExtensionMembers(member);
     }
   }
+  accumulateDiagnosticForSourceFile(sourceFile, diagnostics) {
+    this.entityNameConflictsValidator.accumulateDiagnosticForSourceFile(sourceFile, diagnostics);
+  }
   getPackageMemberTranslationTargets(node) {
-    this.ensurePackageMembersHaveBeenCreated();
+    this.getTranslatedPackageMembers();
     return this.packageMemberTranslationTargetsByNode.get(node);
   }
   getTypeMemberTranslationTargets(node) {
@@ -30000,7 +30407,7 @@ var AnalyzedTranslationPackage = class _AnalyzedTranslationPackage {
       return void 0;
     }
     typeTranslationTargets.values.forEach((t) => {
-      if (isPackageTypeEntity(t)) {
+      if (t.kind === 2 /* Type */) {
         this.ensureTypeMembersHaveBeenCreated(t);
       }
     });
@@ -30008,7 +30415,7 @@ var AnalyzedTranslationPackage = class _AnalyzedTranslationPackage {
   }
   getTranslatedPackageMember(entity) {
     Debug.assert(entity.getContainingPackage() === this.targetPackage);
-    this.ensurePackageMembersHaveBeenCreated();
+    this.getTranslatedPackageMembers();
     const result = this.translatedEntityByOriginal.get(entity);
     Debug.assert(result !== void 0 && isPackageMemberEntity(result));
     return result;
@@ -30024,7 +30431,7 @@ var AnalyzedTranslationPackage = class _AnalyzedTranslationPackage {
     Debug.assert(entity.getContainingPackage() === this.targetPackage);
     let result = this.translatedEntityByOriginal.get(entity);
     if (result === void 0) {
-      const translation = new Translation(this, new IntrinsicTranslationDefinition(false));
+      const translation = new Translation(this, new IntrinsicTranslationDefinition());
       switch (entity.typeEntityKind) {
         case 1 /* Structured */:
           result = new TranslatedAnonymousStructuredTypeEntity(entity, translation, this);
@@ -30043,16 +30450,94 @@ var AnalyzedTranslationPackage = class _AnalyzedTranslationPackage {
     Debug.assert(isAnonymousTypeEntity(result));
     return result;
   }
+  getTranslatedTypeOrExtensionMembers(translatedTypeEntity) {
+    let result = this.translatedTypeMembersByTypeOrExtensionEntity.get(translatedTypeEntity);
+    if (result === void 0) {
+      result = this.createTranslatedTypeOrExtensionMembers(translatedTypeEntity);
+      this.translatedTypeMembersByTypeOrExtensionEntity.set(translatedTypeEntity, result);
+    }
+    return result;
+  }
+  createTranslatedTypeParameters(original, node, containingEntity) {
+    if (original.length === 0) {
+      return original;
+    }
+    return Query.zipLeft(original, node?.typeParameters, (e, n) => {
+      const name = n !== void 0 ? this.analyzer.createNameFromIdentifier(n) : e.getName();
+      const translationDefinition = node !== void 0 ? new SourceTranslationDefinition(node.parent.parent, n) : new IntrinsicTranslationDefinition();
+      return new TranslatedTypeParameterEntity(
+        e,
+        new Translation(this, translationDefinition),
+        name,
+        this,
+        containingEntity
+      );
+    }).toArray();
+  }
+  createTranslatedParameters(original, node, containingEntity) {
+    if (original.length === 0) {
+      return original;
+    }
+    return Query.zipLeft(original, node?.parameters, (e, n) => {
+      const name = n !== void 0 ? this.analyzer.createNameFromIdentifier(n) : e.getName();
+      const translationDefinition = node !== void 0 ? new SourceTranslationDefinition(node.parent.parent, n) : new IntrinsicTranslationDefinition();
+      return new TranslatedParameterEntity(
+        e,
+        new Translation(this, translationDefinition),
+        name,
+        this,
+        containingEntity
+      );
+    }).toArray();
+  }
+  static isPackageMemberEntityThatShouldBeTranslatedByUser(entity) {
+    const hiding = entity.isHidden();
+    if (hiding !== void 0) {
+      return false;
+    }
+    switch (entity.kind) {
+      case 0 /* Variable */:
+      case 1 /* Function */:
+      case 2 /* Type */:
+        return true;
+      case 11 /* TypeExtension */:
+        return false;
+      default:
+        Debug.never(entity);
+    }
+  }
+  static isTypeMemberEntityThatShouldBeTranslatedByUser(entity) {
+    const hiding = entity.isHidden();
+    if (!(hiding === void 0 || hiding.kind === "type-hierarchy")) {
+      return false;
+    }
+    switch (entity.kind) {
+      case 0 /* Variable */:
+      case 1 /* Function */:
+        return entity.getOverriddenMembers().length === 0;
+      case 7 /* Constructor */:
+        return entity.getParameters().length > 0 && entity.isDefault() === void 0;
+      case 5 /* Indexer */:
+        return entity.getParameters().length > 0 && entity.getOverriddenMembers().length === 0;
+      case 9 /* Operator */:
+        return entity.getParameters().length > 0 && entity.getOverriddenMembers().length === 0;
+      case 8 /* Destructor */:
+        return false;
+      case 6 /* DereferenceOperator */:
+        return false;
+      default:
+        Debug.never(entity);
+    }
+  }
   createTranslatedPackageMembers() {
-    Debug.assert(!this.hasCreatedPackageMembers);
-    this.hasCreatedPackageMembers = true;
+    const diagnostics = this.analyzer.getAcceptorForDiagnosticsComputedLazily();
     const originalMembers = this.targetPackage.getOriginalEntity().getMembers();
     const handleNamedTargets = (targets, translationDeclaration, translatedNameIdentifier, createTranslatedEntity) => {
       this.packageMemberTranslationTargetsByNode.set(translationDeclaration, targets);
       if (targets.areSuitable && targets.values.length > 0) {
         const entityThatHasAlreadyBeenTranslated = targets.values.find((e) => this.translatedEntityByOriginal.has(e));
         if (entityThatHasAlreadyBeenTranslated !== void 0) {
-          this.reportPackageMemberHasAlreadyBeenTranslatedDiagnostic(translationDeclaration, this.diagnostics);
+          this.reportPackageMemberHasAlreadyBeenTranslatedDiagnostic(translationDeclaration, diagnostics);
         } else {
           const translation = new Translation(this, new SourceTranslationDefinition(
             translationDeclaration,
@@ -30066,14 +30551,14 @@ var AnalyzedTranslationPackage = class _AnalyzedTranslationPackage {
         }
       }
     };
-    for (const translationsDeclaration of this.enumerateTranslationsDeclarations()) {
+    for (const translationsDeclaration of this.translationsDeclarations()) {
       for (const translationDeclaration of translationsDeclaration.translationList.translationDeclarations) {
         switch (translationDeclaration.kind) {
           case 136 /* PackageVariableTranslationDeclaration */: {
             const targets = this.getPackageVariableTranslationTargets(
               translationDeclaration,
               originalMembers,
-              this.diagnostics
+              diagnostics
             );
             handleNamedTargets(
               targets,
@@ -30087,7 +30572,7 @@ var AnalyzedTranslationPackage = class _AnalyzedTranslationPackage {
             const targets = this.getPackageFunctionTranslationTargets(
               translationDeclaration,
               originalMembers,
-              this.diagnostics
+              diagnostics
             );
             handleNamedTargets(
               targets,
@@ -30098,11 +30583,7 @@ var AnalyzedTranslationPackage = class _AnalyzedTranslationPackage {
             break;
           }
           case 134 /* FunctionTypeTranslationDeclaration */: {
-            const targets = this.getFunctionTypeTranslationTargets(
-              translationDeclaration,
-              originalMembers,
-              this.diagnostics
-            );
+            const targets = this.getFunctionTypeTranslationTargets(translationDeclaration, originalMembers, diagnostics);
             handleNamedTargets(
               targets,
               translationDeclaration,
@@ -30112,11 +30593,7 @@ var AnalyzedTranslationPackage = class _AnalyzedTranslationPackage {
             break;
           }
           case 139 /* TypeTranslationDeclaration */: {
-            const targets = this.getTypeTranslationTargets(
-              translationDeclaration,
-              originalMembers,
-              this.diagnostics
-            );
+            const targets = this.getTypeTranslationTargets(translationDeclaration, originalMembers, diagnostics);
             handleNamedTargets(
               targets,
               translationDeclaration,
@@ -30129,6 +30606,8 @@ var AnalyzedTranslationPackage = class _AnalyzedTranslationPackage {
                     return new TranslatedPackageVariantTypeEntity(e, t, n, this, translationDeclaration);
                   case 4 /* Alias */:
                     return new TranslatedAliasTypeEntity(e, t, n, this, translationDeclaration);
+                  case 0 /* Function */:
+                    return new TranslatedPackageFunctionTypeEntity(e, t, n, this, void 0);
                   default:
                     Debug.never(e);
                 }
@@ -30164,7 +30643,7 @@ var AnalyzedTranslationPackage = class _AnalyzedTranslationPackage {
       translatedNamedMembers.push(translatedNamedMember);
     }
     if (notTranslatedEntitiesForDiagnostics.length > 0) {
-      const firstTranslationsDeclaration = Query.first(this.enumerateTranslationsDeclarations());
+      const firstTranslationsDeclaration = Query.first(this.translationsDeclarations());
       if (firstTranslationsDeclaration !== void 0) {
         const diagnosticArgumentFactory = this.analyzer.semanticContext.containing(firstTranslationsDeclaration).getDiagnosticArgumentFactory();
         const diagnostic = this.createNotTranslatedEntitiesDiagnostic(
@@ -30173,24 +30652,28 @@ var AnalyzedTranslationPackage = class _AnalyzedTranslationPackage {
           firstTranslationsDeclaration.translationsKeyword,
           diagnosticArgumentFactory
         );
-        this.diagnostics.addDiagnostic(diagnostic);
+        diagnostics.addDiagnostic(diagnostic);
       }
     }
-    const translatedTypeExtensions = originalMembers.getTypeExtensions().map((e) => new TranslatedTypeExtensionEntity(e, new Translation(this, new IntrinsicTranslationDefinition(false)), this));
+    const translatedTypeExtensions = originalMembers.getTypeExtensions().map((e) => new TranslatedTypeExtensionEntity(e, new Translation(this, new IntrinsicTranslationDefinition()), this));
     return new PackageEntityMembers(translatedNamedMembers, translatedTypeExtensions);
   }
-  createTranslatedTypeOrExtensionMembers(translatedTypeEntity, typeTranslationDeclaration) {
+  createTranslatedTypeOrExtensionMembers(translatedTypeEntity) {
     Debug.assert(translatedTypeEntity.getContainingPackage() === this.translatedTargetPackage);
-    Debug.assert(!this.typesOrExtensionsWithCreatedMembers.has(translatedTypeEntity));
-    this.typesOrExtensionsWithCreatedMembers.add(translatedTypeEntity);
+    const diagnostics = this.analyzer.getAcceptorForDiagnosticsComputedLazily();
+    let typeTranslationDeclaration;
+    const typeTranslation = translatedTypeEntity.getTranslation();
+    if (typeTranslation?.definition.kind === "source" && !(typeTranslation.definition.nodeOrPackage instanceof TranslationPackage) && typeTranslation.definition.nodeOrPackage.kind === 139 /* TypeTranslationDeclaration */) {
+      typeTranslationDeclaration = typeTranslation.definition.nodeOrPackage;
+    }
     const originalMembers = translatedTypeEntity.getOriginalEntity().getMembers();
     if (typeTranslationDeclaration?.memberList !== void 0) {
-      const handleTargets = (targets, translationDeclaration, translatedNameIdentifier, createTranslatedEntity) => {
+      const handleTargets = (targets, translationDeclaration, createTranslatedEntity) => {
         this.typeMemberTranslationTargetsByNode.set(translationDeclaration, targets);
         if (targets.areSuitable && targets.values.length > 0) {
           const entityThatHasAlreadyBeenTranslated = targets.values.find((e) => this.translatedEntityByOriginal.has(e));
           if (entityThatHasAlreadyBeenTranslated !== void 0) {
-            this.reportTypeMemberHasAlreadyBeenTranslatedDiagnostic(translationDeclaration, this.diagnostics);
+            this.reportTypeMemberHasAlreadyBeenTranslatedDiagnostic(translationDeclaration, diagnostics);
           } else {
             const translation = new Translation(this, new SourceTranslationDefinition(
               translationDeclaration,
@@ -30209,12 +30692,11 @@ var AnalyzedTranslationPackage = class _AnalyzedTranslationPackage {
             const targets = this.getFieldOrVariantTranslationTargets(
               translationDeclaration,
               originalMembers,
-              this.diagnostics
+              diagnostics
             );
             handleTargets(
               targets,
               translationDeclaration,
-              translationDeclaration.translatedName,
               (e, t) => {
                 const name = this.analyzer.createNameFromIdentifier(translationDeclaration.translatedName);
                 return new TranslatedFieldEntity(e, t, name, this, translatedTypeEntity);
@@ -30223,20 +30705,15 @@ var AnalyzedTranslationPackage = class _AnalyzedTranslationPackage {
             break;
           }
           case 133 /* MethodTranslation */: {
-            const targets = this.getMethodTranslationTargets(
-              translationDeclaration,
-              originalMembers,
-              this.diagnostics
-            );
+            const targets = this.getMethodTranslationTargets(translationDeclaration, originalMembers, diagnostics);
             handleTargets(
               targets,
               translationDeclaration,
-              translationDeclaration.translatedName,
               (e, t) => {
                 switch (e.kind) {
                   case 1 /* Function */: {
                     const name = this.analyzer.createNameFromIdentifier(translationDeclaration.translatedName);
-                    return new TranslatedMethodEntity(
+                    return new SourceTranslatedMethodEntity(
                       this.analyzer,
                       e,
                       t,
@@ -30247,7 +30724,7 @@ var AnalyzedTranslationPackage = class _AnalyzedTranslationPackage {
                     );
                   }
                   case 9 /* Operator */: {
-                    return new TranslatedOperatorEntity(
+                    return new SourceTranslatedOperatorEntity(
                       this.analyzer,
                       e,
                       t,
@@ -30264,30 +30741,20 @@ var AnalyzedTranslationPackage = class _AnalyzedTranslationPackage {
             break;
           }
           case 127 /* ConstructorTranslation */: {
-            const targets = this.getConstructorTranslationTargets(
-              translationDeclaration,
-              originalMembers,
-              this.diagnostics
-            );
+            const targets = this.getConstructorTranslationTargets(translationDeclaration, originalMembers, diagnostics);
             handleTargets(
               targets,
               translationDeclaration,
-              void 0,
               (e, t) => new SourceTranslatedConstructorEntity(e, t, this, translatedTypeEntity, translationDeclaration)
             );
             break;
           }
           case 129 /* IndexerTranslation */: {
-            const targets = this.getIndexerTranslationTargets(
-              translationDeclaration,
-              originalMembers,
-              this.diagnostics
-            );
+            const targets = this.getIndexerTranslationTargets(translationDeclaration, originalMembers, diagnostics);
             handleTargets(
               targets,
               translationDeclaration,
-              void 0,
-              (e, t) => new TranslatedIndexerEntity(e, t, this, translatedTypeEntity, translationDeclaration)
+              (e, t) => new SourceTranslatedIndexerEntity(e, t, this, translatedTypeEntity, translationDeclaration)
             );
             break;
           }
@@ -30316,6 +30783,12 @@ var AnalyzedTranslationPackage = class _AnalyzedTranslationPackage {
               );
             }
           }
+          if (translatedMember === void 0) {
+            translatedMember = this.tryCreateAutomaticTranslationOfDerivedTypeMember(
+              originalMember,
+              translatedTypeEntity
+            );
+          }
           if (translatedMember === void 0) {
             translatedMember = this.createTranslatedTypeMemberEntityWithMissingTranslation(
               originalMember,
@@ -30367,7 +30840,7 @@ var AnalyzedTranslationPackage = class _AnalyzedTranslationPackage {
         typeTranslationDeclaration.sourceName,
         diagnosticArgumentFactory
       );
-      this.diagnostics.addDiagnostic(diagnostic);
+      diagnostics.addDiagnostic(diagnostic);
     }
     return new TypeEntityMembers(
       translatedNamedMembers,
@@ -30378,80 +30851,6 @@ var AnalyzedTranslationPackage = class _AnalyzedTranslationPackage {
       translatedDereferenceOperators
     );
   }
-  createTranslatedTypeParameters(original, node, containingEntity) {
-    if (original.length === 0) {
-      return original;
-    }
-    return Query.zipLeft(original, node?.typeParameters, (e, n) => {
-      const name = n !== void 0 ? this.analyzer.createNameFromIdentifier(n) : e.getName();
-      const translationDefinition = node !== void 0 ? new SourceTranslationDefinition(node.parent.parent, n) : new IntrinsicTranslationDefinition(true);
-      return new TranslatedTypeParameterEntity(
-        e,
-        new Translation(this, translationDefinition),
-        name,
-        this,
-        containingEntity
-      );
-    }).toArray();
-  }
-  createTranslatedParameters(original, node, containingEntity) {
-    if (original.length === 0) {
-      return original;
-    }
-    return Query.zipLeft(original, node?.parameters, (e, n) => {
-      const name = n !== void 0 ? this.analyzer.createNameFromIdentifier(n) : e.getName();
-      const translationDefinition = node !== void 0 ? new SourceTranslationDefinition(node.parent.parent, n) : new IntrinsicTranslationDefinition(true);
-      return new TranslatedParameterEntity(
-        e,
-        new Translation(this, translationDefinition),
-        name,
-        this,
-        containingEntity
-      );
-    }).toArray();
-  }
-  static isPackageMemberEntityThatShouldBeTranslatedByUser(entity) {
-    const hiding = entity.isHidden();
-    if (hiding !== void 0) {
-      return false;
-    }
-    switch (entity.kind) {
-      case 0 /* Variable */:
-      case 1 /* Function */:
-      case 2 /* Type */:
-        return true;
-      case 11 /* TypeExtension */:
-        return false;
-      default:
-        Debug.never(entity);
-    }
-  }
-  static isTypeMemberEntityThatShouldBeTranslatedByUser(entity) {
-    const hiding = entity.isHidden();
-    if (!(hiding === void 0 || hiding.kind === "type-hierarchy")) {
-      return false;
-    }
-    switch (entity.kind) {
-      case 0 /* Variable */:
-      case 1 /* Function */:
-        return true;
-      case 7 /* Constructor */:
-        return entity.getParameters().length > 0 && entity.isDefault() === void 0;
-      case 5 /* Indexer */:
-        return entity.getParameters().length > 0;
-      case 9 /* Operator */:
-        return entity.getParameters().length > 0;
-      case 8 /* Destructor */:
-        return false;
-      case 6 /* DereferenceOperator */:
-        return false;
-      default:
-        Debug.never(entity);
-    }
-  }
-  ensurePackageMembersHaveBeenCreated() {
-    this.translatedTargetPackage.getMembers();
-  }
   ensureTypeMembersHaveBeenCreated(originalEntity) {
     Debug.assert(originalEntity.getContainingPackage() === this.targetPackage);
     switch (originalEntity.kind) {
@@ -30520,7 +30919,7 @@ var AnalyzedTranslationPackage = class _AnalyzedTranslationPackage {
     ));
   }
   createTranslatedNamedPackageMemberEntityWithMissingTranslation(entity) {
-    const translation = new Translation(this, new IntrinsicTranslationDefinition(true));
+    const translation = new Translation(this, new IntrinsicTranslationDefinition());
     switch (entity.kind) {
       case 0 /* Variable */:
         return new TranslatedPackageVariableEntity(entity, translation, entity.getName(), this);
@@ -30545,12 +30944,12 @@ var AnalyzedTranslationPackage = class _AnalyzedTranslationPackage {
     }
   }
   createTranslatedTypeMemberEntityWithMissingTranslation(entity, translatedContainingEntity) {
-    const translation = new Translation(this, new IntrinsicTranslationDefinition(true));
+    const translation = new Translation(this, new IntrinsicTranslationDefinition());
     switch (entity.kind) {
       case 0 /* Variable */:
         return new TranslatedFieldEntity(entity, translation, entity.getName(), this, translatedContainingEntity);
       case 1 /* Function */:
-        return new TranslatedMethodEntity(
+        return new SourceTranslatedMethodEntity(
           this.analyzer,
           entity,
           translation,
@@ -30560,7 +30959,7 @@ var AnalyzedTranslationPackage = class _AnalyzedTranslationPackage {
           void 0
         );
       case 5 /* Indexer */:
-        return new TranslatedIndexerEntity(entity, translation, this, translatedContainingEntity, void 0);
+        return new SourceTranslatedIndexerEntity(entity, translation, this, translatedContainingEntity, void 0);
       case 7 /* Constructor */:
         return new SourceTranslatedConstructorEntity(entity, translation, this, translatedContainingEntity, void 0);
       case 6 /* DereferenceOperator */:
@@ -30568,7 +30967,7 @@ var AnalyzedTranslationPackage = class _AnalyzedTranslationPackage {
       case 8 /* Destructor */:
         return new TranslatedDestructorEntity(entity, translation, this, translatedContainingEntity);
       case 9 /* Operator */:
-        return new TranslatedOperatorEntity(
+        return new SourceTranslatedOperatorEntity(
           this.analyzer,
           entity,
           translation,
@@ -30682,7 +31081,7 @@ var AnalyzedTranslationPackage = class _AnalyzedTranslationPackage {
   }
   getTypeTranslationTargets(node, originalMembers, diagnostics) {
     const name = this.analyzer.createNameFromIdentifier(node.sourceName);
-    let targets = originalMembers.getNamedMembersByName(name).filter((m) => m.kind === 2 /* Type */ && m.typeEntityKind !== 0 /* Function */);
+    let targets = originalMembers.getNamedMembersByName(name).filter((m) => m.kind === 2 /* Type */);
     let areSuitable = true;
     if (targets.length === 0) {
       diagnostics.addDiagnostic(this.analyzer.createNodeDiagnostic(
@@ -30690,6 +31089,12 @@ var AnalyzedTranslationPackage = class _AnalyzedTranslationPackage {
         node.sourceName,
         [name]
       ));
+    } else if (targets.every((t) => t.kind === 2 /* Type */ && t.typeEntityKind === 0 /* Function */)) {
+      diagnostics.addDiagnostic(this.analyzer.createNodeDiagnostic(
+        391 /* TranslationOfFunctionTypeMustIncludeParameterList */,
+        node.sourceName
+      ));
+      areSuitable = false;
     } else {
       const suitableTargets = targets.filter((t) => this.areTypeParameterEntitiesEqualToTranslationTypeParameters(
         t.getTypeParameters(),
@@ -30993,19 +31398,122 @@ var AnalyzedTranslationPackage = class _AnalyzedTranslationPackage {
     }
     const translatedConstructor = new UnfinishedIntrinsicTranslatedConstructorEntity(
       entity,
-      new Translation(this, new IntrinsicTranslationDefinition(false)),
+      new Translation(this, new IntrinsicTranslationDefinition()),
       this,
       translatedContainingEntity
     );
     const parameters = entity.getParameters().map((p) => {
       const nameWithTranslation = translatedNameByParameter.get(p);
       const name = nameWithTranslation?.name ?? p.getName();
-      const translation = nameWithTranslation?.translation ?? new Translation(this, new IntrinsicTranslationDefinition(true));
+      const translation = nameWithTranslation?.translation ?? new Translation(this, new IntrinsicTranslationDefinition());
       return new TranslatedParameterEntity(p, translation, name, this, translatedConstructor.unfinishedValue);
     });
     return translatedConstructor.finish(parameters);
   }
-  *enumerateTranslationsDeclarations() {
+  tryCreateAutomaticTranslationOfDerivedTypeMember(entity, translatedContainingEntity) {
+    switch (entity.kind) {
+      case 0 /* Variable */: {
+        const overriddenMember = entity.getOverriddenMembers()[0];
+        if (overriddenMember === void 0) {
+          return void 0;
+        }
+        const localizedOverriddenMember = this.localizationContext.getLocalizedFieldEntity(overriddenMember.getEntity());
+        return new TranslatedFieldEntity(
+          entity,
+          new Translation(this, new IntrinsicTranslationDefinition()),
+          localizedOverriddenMember.getName(),
+          this,
+          translatedContainingEntity
+        );
+      }
+      case 1 /* Function */: {
+        const overriddenMember = entity.getOverriddenMembers()[0];
+        if (overriddenMember === void 0) {
+          return void 0;
+        }
+        const localizedOverriddenMember = this.localizationContext.getLocalizedMethodEntity(
+          overriddenMember.getEntity()
+        );
+        const translatedMember = new UnfinishedIntrinsicTranslatedMethodEntity(
+          this.analyzer,
+          entity,
+          new Translation(this, new IntrinsicTranslationDefinition()),
+          localizedOverriddenMember.getName(),
+          this,
+          translatedContainingEntity
+        );
+        const typeParameters = Query.zipLeft(entity.getTypeParameters(), localizedOverriddenMember.getTypeParameters(), (p, bp) => new TranslatedTypeParameterEntity(
+          p,
+          new Translation(this, new IntrinsicTranslationDefinition()),
+          bp?.getName() ?? p.getName(),
+          this,
+          translatedMember.unfinishedValue
+        )).toArray();
+        const parameters = Query.zipLeft(entity.getParameters(), localizedOverriddenMember.getParameters(), (p, bp) => new TranslatedParameterEntity(
+          p,
+          new Translation(this, new IntrinsicTranslationDefinition()),
+          bp?.getName() ?? p.getName(),
+          this,
+          translatedMember.unfinishedValue
+        )).toArray();
+        return translatedMember.finish(typeParameters, parameters);
+      }
+      case 5 /* Indexer */: {
+        const overriddenMember = entity.getOverriddenMembers()[0];
+        if (overriddenMember === void 0) {
+          return void 0;
+        }
+        const localizedOverriddenMember = this.localizationContext.getLocalizedIndexerEntity(
+          overriddenMember.getEntity()
+        );
+        const translatedMember = new UnfinishedIntrinsicTranslatedIndexerEntity(
+          entity,
+          new Translation(this, new IntrinsicTranslationDefinition()),
+          this,
+          translatedContainingEntity
+        );
+        const parameters = Query.zipLeft(entity.getParameters(), localizedOverriddenMember.getParameters(), (p, bp) => new TranslatedParameterEntity(
+          p,
+          new Translation(this, new IntrinsicTranslationDefinition()),
+          bp?.getName() ?? p.getName(),
+          this,
+          translatedMember.unfinishedValue
+        )).toArray();
+        return translatedMember.finish(parameters);
+      }
+      case 9 /* Operator */: {
+        const overriddenMember = entity.getOverriddenMembers()[0];
+        if (overriddenMember === void 0) {
+          return void 0;
+        }
+        const localizedOverriddenMember = this.localizationContext.getLocalizedOperatorEntity(
+          overriddenMember.getEntity()
+        );
+        const translatedMember = new UnfinishedIntrinsicTranslatedOperatorEntity(
+          this.analyzer,
+          entity,
+          new Translation(this, new IntrinsicTranslationDefinition()),
+          this,
+          translatedContainingEntity
+        );
+        const parameters = Query.zipLeft(entity.getParameters(), localizedOverriddenMember.getParameters(), (p, bp) => new TranslatedParameterEntity(
+          p,
+          new Translation(this, new IntrinsicTranslationDefinition()),
+          bp?.getName() ?? p.getName(),
+          this,
+          translatedMember.unfinishedValue
+        )).toArray();
+        return translatedMember.finish(parameters);
+      }
+      case 7 /* Constructor */:
+      case 8 /* Destructor */:
+      case 6 /* DereferenceOperator */:
+        return void 0;
+      default:
+        Debug.never(entity);
+    }
+  }
+  *translationsDeclarations() {
     for (const sourceFile of this.package_.sourceFiles) {
       for (const declaration of flattenPackageMemberDeclarationList(sourceFile.getSyntaxNode().declarationList)) {
         if (declaration.kind === 123 /* TranslationsDeclaration */) {
@@ -31158,35 +31666,44 @@ var ReferencedPackagesCollector = class {
   }
   visitTypeEntityMembers(members) {
     for (const member of members.getAll()) {
-      switch (member.kind) {
-        case 0 /* Variable */:
-          this.visitType(member.getType());
-          break;
-        case 1 /* Function */:
-          this.visitTypeParameterEntities(member.getTypeParameters());
-          this.visitParameterEntities(member.getParameters());
-          this.visitType(member.getReturnType());
-          break;
-        case 5 /* Indexer */:
-          this.visitParameterEntities(member.getParameters());
-          this.visitType(member.getType());
-          break;
-        case 6 /* DereferenceOperator */:
-          this.visitType(member.getType());
-          break;
-        case 7 /* Constructor */:
-          this.visitParameterEntities(member.getParameters());
-          break;
-        case 8 /* Destructor */:
-          this.visitParameterEntities(member.getParameters());
-          break;
-        case 9 /* Operator */:
-          this.visitParameterEntities(member.getParameters());
-          this.visitType(member.getReturnType());
-          break;
-        default:
-          Debug.never(member);
-      }
+      this.visitTypeMemberEntity(member);
+    }
+  }
+  visitTypeMemberEntity(entity) {
+    switch (entity.kind) {
+      case 0 /* Variable */:
+        this.visitType(entity.getType());
+        break;
+      case 1 /* Function */:
+        this.visitTypeParameterEntities(entity.getTypeParameters());
+        this.visitParameterEntities(entity.getParameters());
+        this.visitType(entity.getReturnType());
+        break;
+      case 5 /* Indexer */:
+        this.visitParameterEntities(entity.getParameters());
+        this.visitType(entity.getType());
+        break;
+      case 6 /* DereferenceOperator */:
+        this.visitType(entity.getType());
+        break;
+      case 7 /* Constructor */:
+        this.visitParameterEntities(entity.getParameters());
+        break;
+      case 8 /* Destructor */:
+        this.visitParameterEntities(entity.getParameters());
+        break;
+      case 9 /* Operator */:
+        this.visitParameterEntities(entity.getParameters());
+        this.visitType(entity.getReturnType());
+        break;
+      default:
+        Debug.never(entity);
+    }
+    this.visitOverriddenTypeMembers(TypeMemberEntity.getOverriddenMembers(entity));
+  }
+  visitOverriddenTypeMembers(members) {
+    for (const member of members) {
+      this.recordEntityUsage(member.getEntity());
     }
   }
   visitType(type) {
@@ -31793,11 +32310,13 @@ var TypeArgumentInferrer = class {
       const targetFunctionType = this.analyzer.getUnambiguousTargetFunctionType(targetType);
       if (targetFunctionType !== void 0 && this.tryFixTypeParametersContainedByTypesOfFunctionParameters(targetFunctionType)) {
         const substitutedFunctionType = targetFunctionType.applySubstitutions(this.createSubstitutions());
-        const literalType = this.analyzer.type.ofRegularOrBlockFunctionLiteral(
+        const literalType = this.analyzer.type.ofExpression(
           node,
           this.analysisOptions.withTargetType(substitutedFunctionType)
         );
-        this.inferFromTypes(literalType.getReturnType(), targetFunctionType.getReturnType(), priority);
+        if (literalType.kind === "function") {
+          this.inferFromTypes(literalType.getReturnType(), targetFunctionType.getReturnType(), priority);
+        }
       }
     } else if (node.kind === 69 /* AutotypeCallExpression */) {
     } else if (node.kind === 59 /* ArrayLiteral */) {
@@ -34189,98 +34708,104 @@ var DeclarationsUsageCounter = class {
     this.analyzer = analyzer;
     this.sourceFile = sourceFile;
   }
-  count(cancellationToken = void 0) {
+  count(taskController) {
     return __async(this, null, function* () {
-      yield traverseTreeWithCancellationToken(this.sourceFile, cancellationToken, 50, false, (node) => {
-        if (node.kind === 89 /* IdentifierExpression */) {
-          const meaning = this.analyzer.resolveIdentifierExpression(node).meaning;
-          let entity;
-          let accessKind;
-          switch (meaning.kind) {
-            case "variable-access":
-              entity = meaning.variable.getEntity();
-              accessKind = meaning.accessKind;
-              break;
-            case "function-access":
-              entity = meaning.singleFunction?.getEntity();
-              break;
-            case "operator-access":
-              entity = meaning.singleOperator?.getEntity();
-              break;
-            case "package-name-segment-access":
-              break;
-            case "package-alias-access":
-              entity = meaning.packageAlias;
-              break;
-            case "type-access":
-              entity = meaning.singleSuitableType?.getEntity();
-              break;
-            case "constructor-access":
-              entity = meaning.callExpressionMeaning.typeEntity;
-              break;
-            case "mixed-ambiguous-access":
-            case "unresolved":
-              break;
-            default:
-              Debug.never(meaning);
-          }
-          if (entity !== void 0) {
-            this.recordUsage(entity, accessKind);
-          }
-        } else if (node.kind === 76 /* MemberAccessExpression */) {
-          const meaning = this.analyzer.resolveMemberAccessExpression(node).meaning;
-          let entity;
-          let accessKind;
-          switch (meaning.kind) {
-            case "package-variable-access":
-              entity = meaning.variable;
-              accessKind = meaning.accessKind;
-              break;
-            case "package-function-access":
-              entity = meaning.singleFunction?.getEntity();
-              break;
-            case "package-type-access":
-              entity = meaning.singleSuitableType?.getEntity();
-              break;
-            case "constructor-access":
-              entity = meaning.callExpressionMeaning.typeEntity;
-              break;
-            case "package-name-segment-access":
-              break;
-            case "static-field-access":
-              entity = meaning.field.getEntity();
-              accessKind = meaning.accessKind;
-              break;
-            case "static-method-access":
-              entity = meaning.singleFunction?.getEntity();
-              break;
-            case "instance-field-access":
-              entity = meaning.field.getEntity();
-              accessKind = meaning.accessKind;
-              break;
-            case "instance-method-access":
-              entity = meaning.singleFunction?.getEntity();
-              break;
-            case "operator-access":
-              entity = meaning.singleOperator?.getEntity();
-              break;
-            case "unresolved":
-            case "mixed-ambiguous-access":
-              break;
-            default:
-              Debug.never(meaning);
-          }
-          if (entity !== void 0) {
-            this.recordUsage(entity, accessKind);
-          }
-        } else if (node.kind === 10 /* NamedTypeSpecifier */) {
-          const resolved = this.analyzer.resolveNamedTypeSpecifier(node);
-          const entity = resolved.type?.getEntity();
-          if (entity !== void 0) {
-            this.recordUsage(entity, void 0);
+      yield traverseTree(
+        this.sourceFile,
+        false,
+        taskController,
+        (node) => {
+          if (node.kind === 89 /* IdentifierExpression */) {
+            const meaning = this.analyzer.resolveIdentifierExpression(node).meaning;
+            let entity;
+            let accessKind;
+            switch (meaning.kind) {
+              case "variable-access":
+                entity = meaning.variable.getEntity();
+                accessKind = meaning.accessKind;
+                break;
+              case "function-access":
+                entity = meaning.singleFunction?.getEntity();
+                break;
+              case "operator-access":
+                entity = meaning.singleOperator?.getEntity();
+                break;
+              case "package-name-segment-access":
+                break;
+              case "package-alias-access":
+                entity = meaning.packageAlias;
+                break;
+              case "type-access":
+                entity = meaning.singleSuitableType?.getEntity();
+                break;
+              case "constructor-access":
+                entity = meaning.callExpressionMeaning.typeEntity;
+                break;
+              case "mixed-ambiguous-access":
+              case "unresolved":
+                break;
+              default:
+                Debug.never(meaning);
+            }
+            if (entity !== void 0) {
+              this.recordUsage(entity, accessKind);
+            }
+          } else if (node.kind === 76 /* MemberAccessExpression */) {
+            const meaning = this.analyzer.resolveMemberAccessExpression(node).meaning;
+            let entity;
+            let accessKind;
+            switch (meaning.kind) {
+              case "package-variable-access":
+                entity = meaning.variable;
+                accessKind = meaning.accessKind;
+                break;
+              case "package-function-access":
+                entity = meaning.singleFunction?.getEntity();
+                break;
+              case "package-type-access":
+                entity = meaning.singleSuitableType?.getEntity();
+                break;
+              case "constructor-access":
+                entity = meaning.callExpressionMeaning.typeEntity;
+                break;
+              case "package-name-segment-access":
+                break;
+              case "static-field-access":
+                entity = meaning.field.getEntity();
+                accessKind = meaning.accessKind;
+                break;
+              case "static-method-access":
+                entity = meaning.singleFunction?.getEntity();
+                break;
+              case "instance-field-access":
+                entity = meaning.field.getEntity();
+                accessKind = meaning.accessKind;
+                break;
+              case "instance-method-access":
+                entity = meaning.singleFunction?.getEntity();
+                break;
+              case "operator-access":
+                entity = meaning.singleOperator?.getEntity();
+                break;
+              case "unresolved":
+              case "mixed-ambiguous-access":
+                break;
+              default:
+                Debug.never(meaning);
+            }
+            if (entity !== void 0) {
+              this.recordUsage(entity, accessKind);
+            }
+          } else if (node.kind === 10 /* NamedTypeSpecifier */) {
+            const resolved = this.analyzer.resolveNamedTypeSpecifier(node);
+            const entity = resolved.type?.getEntity();
+            if (entity !== void 0) {
+              this.recordUsage(entity, void 0);
+            }
           }
+          return void 0;
         }
-      });
+      );
       return new DeclarationsUsageMap(this.usageInfoByEntity);
     });
   }
@@ -37602,301 +38127,6 @@ var SourcePackageMemberConflictsValidator = class {
   }
 };
 
-// source/analysis/TypeNarrower.ts
-var TypeNarrower = class _TypeNarrower {
-  constructor(analyzer, reference, locale, initialType, controlFlowNode) {
-    this.typeByNode = /* @__PURE__ */ new Map();
-    this.isVariableAssignedInLoopCheckResults = /* @__PURE__ */ new Map();
-    this.analyzer = analyzer;
-    this.reference = reference;
-    this.locale = locale;
-    this.initialType = initialType;
-    this.controlFlowNode = controlFlowNode;
-  }
-  static getTypeOfExpression(analyzer, referenceExpression2, initialType, controlFlowNode) {
-    const reference = getReferenceAtNarrowableExpression(analyzer, referenceExpression2);
-    if (reference === void 0) {
-      return initialType;
-    }
-    const typeNarrower = new _TypeNarrower(analyzer, reference, referenceExpression2.locale, initialType, controlFlowNode);
-    return typeNarrower.getType();
-  }
-  getType() {
-    return this.getTypeAtControlFlowNode(this.controlFlowNode);
-  }
-  getTypeAtControlFlowNode(node) {
-    let result = this.typeByNode.get(node);
-    if (result === void 0) {
-      switch (node.kind) {
-        case "start":
-        case "unreachable":
-          result = this.initialType;
-          break;
-        case "condition":
-          result = this.getTypeAtCondition(node);
-          break;
-        case "assignment":
-          result = this.getTypeAtAssignment(node);
-          break;
-        case "local-variable-declaration":
-          result = this.getTypeAtLocalVariableDeclaration(node);
-          break;
-        case "split":
-          result = this.getTypeAtSplit(node);
-          break;
-        case "loop":
-          result = this.getTypeAtLoop(node);
-          break;
-        default:
-          Debug.never(node);
-      }
-      this.typeByNode.set(node, result);
-    }
-    return result;
-  }
-  getTypeAtCondition(node) {
-    const typeAtPredecessor = this.getTypeAtControlFlowNode(node.predecessor);
-    switch (node.syntaxNode.kind) {
-      case 64 /* BinaryExpression */: {
-        const left = unwrapParenthesizedExpressions(node.syntaxNode.left);
-        const right = unwrapParenthesizedExpressions(node.syntaxNode.right);
-        const operator = node.syntaxNode.operator;
-        if (operator.kind === 0 /* Token */ && (operator.tokenKind === 30 /* EqualsEquals */ || operator.tokenKind === 33 /* ExclamationEquals */)) {
-          if (this.isSameReferenceAsNarrowedExpression(left) && NodeTypeUtils.isNullLiteral(right) || this.isSameReferenceAsNarrowedExpression(right) && NodeTypeUtils.isNullLiteral(left)) {
-            const isEqual = node.isTrue ? operator.tokenKind === 30 /* EqualsEquals */ : !(operator.tokenKind === 30 /* EqualsEquals */);
-            return this.getTypeAtComparisonWithNull(typeAtPredecessor, isEqual);
-          }
-        }
-        return typeAtPredecessor;
-      }
-      case 72 /* IsExpression */: {
-        if (this.isSameReferenceAsNarrowedExpression(node.syntaxNode.expression)) {
-          return this.getTypeAtIsExpression(typeAtPredecessor, node.syntaxNode, node.isTrue);
-        }
-        return typeAtPredecessor;
-      }
-      default:
-        Debug.never(node.syntaxNode);
-    }
-  }
-  getTypeAtAssignment(node) {
-    if (node.syntaxNode.operator.tokenKind !== 58 /* Equals */) {
-      return this.getTypeAtControlFlowNode(node.predecessor);
-    }
-    const reference = getReferenceAtExpressionIfNarrowable(this.analyzer, node.syntaxNode.left);
-    if (reference !== void 0) {
-      if (reference.equals(this.reference)) {
-        const rightType = this.analyzer.type.ofExpression(node.syntaxNode.right);
-        return this.getTypeAtAssignmentOrDeclaration(rightType, node.predecessor, false);
-      } else if (this.reference.contains(reference)) {
-        return this.initialType;
-      }
-    }
-    return this.getTypeAtControlFlowNode(node.predecessor);
-  }
-  getTypeAtLocalVariableDeclaration(node) {
-    const reference = getNarrowableReferenceAtLocalVariableDeclaration(this.analyzer, node.syntaxNode);
-    if (reference.equals(this.reference)) {
-      if (node.syntaxNode.initializer !== void 0) {
-        const initializerType = this.analyzer.type.ofExpression(node.syntaxNode.initializer);
-        return this.getTypeAtAssignmentOrDeclaration(initializerType, node.predecessor, true);
-      } else {
-        return this.initialType;
-      }
-    } else {
-      return this.getTypeAtControlFlowNode(node.predecessor);
-    }
-  }
-  getTypeAtSplit(node) {
-    const types = new Array();
-    for (const predecessor of node.predecessors) {
-      const typeAtPredecessor = this.getTypeAtControlFlowNode(predecessor);
-      this.addTypeIfUnique(types, typeAtPredecessor);
-    }
-    return this.analyzer.typeFactory.getUnionType(types, true);
-  }
-  getTypeAtLoop(node) {
-    if (this.checkIfVariableIsAssignedInLoop(node)) {
-      return this.initialType;
-    } else {
-      return this.getTypeAtControlFlowNode(node.predecessor);
-    }
-  }
-  getTypeAtAssignmentWithImplicitConversion(rightType) {
-    let result;
-    if (this.initialType.kind === "union" && rightType.kind !== "union") {
-      const constituentTypes = this.initialType.originalTypes.filter((t) => this.analyzer.isTypeAssignableTo(rightType, t));
-      result = this.analyzer.typeFactory.getUnionType(constituentTypes);
-    } else if (!this.analyzer.isNullAssignableToType(rightType)) {
-      result = this.analyzer.excludeNullFromType(this.initialType);
-    } else {
-      result = this.initialType;
-    }
-    return result;
-  }
-  getTypeAtComparisonWithNull(type, isEqual) {
-    if (isEqual) {
-      return this.analyzer.includeNullToType(type, this.locale);
-    } else {
-      return this.analyzer.excludeNullFromType(type);
-    }
-  }
-  getTypeAtIsExpression(typeAtPredecessor, node, isTrue) {
-    const checkedType = this.analyzer.type.ofTypeSpecifier(node.typeSpecifier);
-    if (isTrue) {
-      return this.analyzer.typeFactory.getIntersectionType([typeAtPredecessor, checkedType], true);
-    } else {
-      return this.analyzer.excludeTypeFromUnion(typeAtPredecessor, checkedType);
-    }
-  }
-  getTypeAtAssignmentOrDeclaration(rightType, predecessor, isDeclaration) {
-    const typeAssignabilityFlags = this.analyzer.getTypeAssignabilityFlags(rightType, this.initialType);
-    if ((typeAssignabilityFlags & 1 /* NotAssignable */) !== 0) {
-      return this.initialType;
-    }
-    if ((typeAssignabilityFlags & 16 /* ImplicitConversion */) !== 0) {
-      return this.getTypeAtAssignmentWithImplicitConversion(rightType);
-    }
-    if (rightType.isNullType) {
-      return isDeclaration ? this.initialType : this.analyzer.includeNullToType(this.getTypeAtControlFlowNode(predecessor), this.locale);
-    }
-    return rightType;
-  }
-  addTypeIfUnique(types, type) {
-    if (type.kind === "union") {
-      for (const constituentType of type.originalTypes) {
-        this.addTypeIfUnique(types, constituentType);
-      }
-    } else {
-      if (!types.some((t) => t.equals(type))) {
-        types.push(type);
-      }
-    }
-  }
-  checkIfVariableIsAssignedInLoop(node) {
-    let result = this.isVariableAssignedInLoopCheckResults.get(node);
-    if (result === void 0) {
-      result = node.loopingPredecessors.some((p) => this.checkIfVariableIsAssignedAtNode(p, node));
-      this.isVariableAssignedInLoopCheckResults.set(node, result);
-    }
-    return result;
-  }
-  checkIfVariableIsAssignedAtNode(node, loopNode) {
-    if (node === loopNode) {
-      return false;
-    }
-    if (node.kind === "loop") {
-      return this.checkIfVariableIsAssignedInLoop(node);
-    }
-    let result = this.isVariableAssignedInLoopCheckResults.get(node);
-    if (result === void 0) {
-      switch (node.kind) {
-        case "start":
-        case "unreachable":
-          result = false;
-          break;
-        case "condition":
-          result = this.checkIfVariableIsAssignedAtNode(node.predecessor, loopNode);
-          break;
-        case "split":
-          result = node.predecessors.some((p) => this.checkIfVariableIsAssignedAtNode(p, loopNode));
-          break;
-        case "assignment": {
-          const left = unwrapExpressionForNarrowableReferenceCheck(node.syntaxNode.left);
-          if (isNarrowableReferenceExpression(left) && (this.reference.equalsExpression(left) || this.reference.containsExpression(left))) {
-            result = true;
-          } else {
-            result = this.checkIfVariableIsAssignedAtNode(node.predecessor, loopNode);
-          }
-          break;
-        }
-        case "local-variable-declaration": {
-          if (this.reference.kind === "local-variable" && getNarrowableReferenceAtLocalVariableDeclaration(this.analyzer, node.syntaxNode).equals(this.reference)) {
-            result = true;
-          } else {
-            result = this.checkIfVariableIsAssignedAtNode(node.predecessor, loopNode);
-          }
-          break;
-        }
-        default:
-          Debug.never(node);
-      }
-      this.isVariableAssignedInLoopCheckResults.set(node, result);
-    }
-    return result;
-  }
-  isSameReferenceAsNarrowedExpression(referenceExpression2) {
-    const reference = getReferenceAtExpressionIfNarrowable(this.analyzer, referenceExpression2);
-    return reference !== void 0 && reference.equals(this.reference);
-  }
-};
-
-// source/analysis/ReturnTypeInferrer.ts
-var ReturnTypeInferrer = class {
-  constructor(analyzer, block, resultVariable) {
-    this.analyzer = analyzer;
-    this.block = block;
-    this.resultVariable = resultVariable;
-  }
-  infer() {
-    let result;
-    if (this.block.expressionOrStatementList.kind !== 93 /* StatementList */) {
-      result = this.analyzer.type.ofExpression(this.block.expressionOrStatementList);
-    } else {
-      const { isResultVariableUsed, returnedTypes } = this.checkResultVariableIsUsedAndCollectReturnedTypes();
-      if (isResultVariableUsed) {
-        returnedTypes.push(this.getTypeOfResultVariableAtTheEndOfSubprogram());
-      }
-      if (returnedTypes.length === 0) {
-        result = this.analyzer.getLocalizedStandardTypes(this.block.locale).nullType;
-      } else {
-        result = this.analyzer.typeFactory.getUnionType(returnedTypes, true);
-      }
-    }
-    return result;
-  }
-  checkResultVariableIsUsedAndCollectReturnedTypes() {
-    let isResultVariableUsed = false;
-    const returnedTypes = new Array();
-    const visitor = (child) => {
-      if (!isResultVariableUsed && child.kind === 89 /* IdentifierExpression */) {
-        const meaning = this.analyzer.resolveIdentifierExpressionFirstStage(child).meaning;
-        if (meaning.kind === "variable-access" && meaning.variable.getEntity().getOriginalEntity() === this.resultVariable.getOriginalEntity()) {
-          isResultVariableUsed = true;
-        }
-      } else if (child.kind === 116 /* ReturnStatement */ && child.expression !== void 0) {
-        returnedTypes.push(this.analyzer.type.ofExpression(child.expression));
-      }
-      switch (child.kind) {
-        case 15 /* AnonymousTypeSpecifier */:
-        case 56 /* NestedFunctionDeclaration */:
-        case 65 /* FunctionLiteral */:
-        case 66 /* FunctionBlockLiteral */:
-          return;
-        default:
-          visitChildren(child, false, visitor);
-      }
-    };
-    visitChildren(this.block, false, visitor);
-    return { isResultVariableUsed, returnedTypes };
-  }
-  getTypeOfResultVariableAtTheEndOfSubprogram() {
-    const sourceFile = TreeQuery.getSourceFile(this.block, this.analyzer);
-    const controlFlowNodeEndingSubprogram = this.analyzer.getControlFlowGraph(sourceFile).controlFlowNodesEndingSubprogram.get(this.block.parent);
-    if (controlFlowNodeEndingSubprogram === void 0) {
-      return this.analyzer.originalStandardTypes.unresolved;
-    }
-    const typeNarrower = new TypeNarrower(
-      this.analyzer,
-      new NarrowableReference.LocalVariable(this.analyzer, this.resultVariable),
-      sourceFile.package.locale,
-      this.resultVariable.getType(),
-      controlFlowNodeEndingSubprogram
-    );
-    return typeNarrower.getType();
-  }
-};
-
 // source/analysis/SourceFileMembers.ts
 var SourceFileMembers = class _SourceFileMembers {
   constructor(analyzer, namedMembers, typeExtensions) {
@@ -38291,6 +38521,58 @@ var ResolvedQualifier_function = class {
   }
 };
 
+// source/analysis/TextIdentity.ts
+var TextIdentity = class {
+  static keyFromTextFragments(fragments) {
+    return fragments.join("_");
+  }
+  static keyFromTextToken(token) {
+    return unescapeText(withoutQuotes(token.value));
+  }
+  static keyFromLocalizableTextLiteral(node) {
+    let result;
+    if (node.code !== void 0) {
+      result = parseIntegerLiteral(node.code.value);
+    } else {
+      result = this.keyFromTextToken(node.text);
+    }
+    return result;
+  }
+  static keyFromLocalizableTextTemplateLiteral(node) {
+    let result;
+    if (node.code !== void 0) {
+      result = parseIntegerLiteral(node.code.value);
+    } else {
+      const fragments = [unescapeText(withoutTemplateQuotes(node.head.value))];
+      node.spanList.spans.forEach((x) => fragments.push(unescapeText(withoutTemplateQuotes(x.text.value))));
+      result = fragments.join("_");
+    }
+    return result;
+  }
+  static keyFromTextTranslationSource(node) {
+    let result;
+    if (node.code !== void 0) {
+      result = parseIntegerLiteral(node.code.value);
+    } else {
+      switch (node.kind) {
+        case 142 /* TranslationTextLiteral */: {
+          result = this.keyFromTextToken(node.text);
+          break;
+        }
+        case 143 /* TranslationTextTemplate */: {
+          const fragments = [unescapeText(withoutTemplateQuotes(node.head.value))];
+          node.spanList.spans.forEach((x) => fragments.push(unescapeText(withoutTemplateQuotes(x.text.value))));
+          result = fragments.join("_");
+          break;
+        }
+        default:
+          Debug.never(node);
+      }
+    }
+    return result;
+  }
+};
+
 // source/analysis/DisplayableEntity.ts
 var DisplayableEntity = class {
   constructor(analyzer, entity, locale, dialect, contextualSourceFile) {
@@ -38646,6 +38928,235 @@ var ImplicitImplementationUtils = class {
   }
 };
 
+// source/analysis/TypeNarrower.ts
+var TypeNarrower = class _TypeNarrower {
+  constructor(analyzer, reference, locale, initialType, controlFlowNode) {
+    this.typeByNode = /* @__PURE__ */ new Map();
+    this.isVariableAssignedInLoopCheckResults = /* @__PURE__ */ new Map();
+    this.analyzer = analyzer;
+    this.reference = reference;
+    this.locale = locale;
+    this.initialType = initialType;
+    this.controlFlowNode = controlFlowNode;
+  }
+  static getTypeOfExpression(analyzer, referenceExpression2, initialType, controlFlowNode) {
+    const reference = getReferenceAtNarrowableExpression(analyzer, referenceExpression2);
+    if (reference === void 0) {
+      return initialType;
+    }
+    const typeNarrower = new _TypeNarrower(analyzer, reference, referenceExpression2.locale, initialType, controlFlowNode);
+    return typeNarrower.getType();
+  }
+  getType() {
+    return this.getTypeAtControlFlowNode(this.controlFlowNode);
+  }
+  getTypeAtControlFlowNode(node) {
+    let result = this.typeByNode.get(node);
+    if (result === void 0) {
+      switch (node.kind) {
+        case "start":
+        case "unreachable":
+          result = this.initialType;
+          break;
+        case "condition":
+          result = this.getTypeAtCondition(node);
+          break;
+        case "assignment":
+          result = this.getTypeAtAssignment(node);
+          break;
+        case "local-variable-declaration":
+          result = this.getTypeAtLocalVariableDeclaration(node);
+          break;
+        case "split":
+          result = this.getTypeAtSplit(node);
+          break;
+        case "loop":
+          result = this.getTypeAtLoop(node);
+          break;
+        default:
+          Debug.never(node);
+      }
+      this.typeByNode.set(node, result);
+    }
+    return result;
+  }
+  getTypeAtCondition(node) {
+    const typeAtPredecessor = this.getTypeAtControlFlowNode(node.predecessor);
+    switch (node.syntaxNode.kind) {
+      case 64 /* BinaryExpression */: {
+        const left = unwrapParenthesizedExpressions(node.syntaxNode.left);
+        const right = unwrapParenthesizedExpressions(node.syntaxNode.right);
+        const operator = node.syntaxNode.operator;
+        if (operator.kind === 0 /* Token */ && (operator.tokenKind === 30 /* EqualsEquals */ || operator.tokenKind === 33 /* ExclamationEquals */)) {
+          if (this.isSameReferenceAsNarrowedExpression(left) && NodeTypeUtils.isNullLiteral(right) || this.isSameReferenceAsNarrowedExpression(right) && NodeTypeUtils.isNullLiteral(left)) {
+            const isEqual = node.isTrue ? operator.tokenKind === 30 /* EqualsEquals */ : !(operator.tokenKind === 30 /* EqualsEquals */);
+            return this.getTypeAtComparisonWithNull(typeAtPredecessor, isEqual);
+          }
+        }
+        return typeAtPredecessor;
+      }
+      case 72 /* IsExpression */: {
+        if (this.isSameReferenceAsNarrowedExpression(node.syntaxNode.expression)) {
+          return this.getTypeAtIsExpression(typeAtPredecessor, node.syntaxNode, node.isTrue);
+        }
+        return typeAtPredecessor;
+      }
+      default:
+        Debug.never(node.syntaxNode);
+    }
+  }
+  getTypeAtAssignment(node) {
+    if (node.syntaxNode.operator.tokenKind !== 58 /* Equals */) {
+      return this.getTypeAtControlFlowNode(node.predecessor);
+    }
+    const reference = getReferenceAtExpressionIfNarrowable(this.analyzer, node.syntaxNode.left);
+    if (reference !== void 0) {
+      if (reference.equals(this.reference)) {
+        const rightType = this.analyzer.type.ofExpression(node.syntaxNode.right);
+        return this.getTypeAtAssignmentOrDeclaration(rightType, node.predecessor, false);
+      } else if (this.reference.contains(reference)) {
+        return this.initialType;
+      }
+    }
+    return this.getTypeAtControlFlowNode(node.predecessor);
+  }
+  getTypeAtLocalVariableDeclaration(node) {
+    const reference = getNarrowableReferenceAtLocalVariableDeclaration(this.analyzer, node.syntaxNode);
+    if (reference.equals(this.reference)) {
+      if (node.syntaxNode.initializer !== void 0) {
+        const initializerType = this.analyzer.type.ofExpression(node.syntaxNode.initializer);
+        return this.getTypeAtAssignmentOrDeclaration(initializerType, node.predecessor, true);
+      } else {
+        return this.initialType;
+      }
+    } else {
+      return this.getTypeAtControlFlowNode(node.predecessor);
+    }
+  }
+  getTypeAtSplit(node) {
+    const types = new Array();
+    for (const predecessor of node.predecessors) {
+      const typeAtPredecessor = this.getTypeAtControlFlowNode(predecessor);
+      this.addTypeIfUnique(types, typeAtPredecessor);
+    }
+    return this.analyzer.typeFactory.getUnionType(types, true);
+  }
+  getTypeAtLoop(node) {
+    if (this.checkIfVariableIsAssignedInLoop(node)) {
+      return this.initialType;
+    } else {
+      return this.getTypeAtControlFlowNode(node.predecessor);
+    }
+  }
+  getTypeAtAssignmentWithImplicitConversion(rightType) {
+    let result;
+    if (this.initialType.kind === "union" && rightType.kind !== "union") {
+      const constituentTypes = this.initialType.originalTypes.filter((t) => this.analyzer.isTypeAssignableTo(rightType, t));
+      result = this.analyzer.typeFactory.getUnionType(constituentTypes);
+    } else if (!this.analyzer.isNullAssignableToType(rightType)) {
+      result = this.analyzer.excludeNullFromType(this.initialType);
+    } else {
+      result = this.initialType;
+    }
+    return result;
+  }
+  getTypeAtComparisonWithNull(type, isEqual) {
+    if (isEqual) {
+      return this.analyzer.includeNullToType(type, this.locale);
+    } else {
+      return this.analyzer.excludeNullFromType(type);
+    }
+  }
+  getTypeAtIsExpression(typeAtPredecessor, node, isTrue) {
+    const checkedType = this.analyzer.type.ofTypeSpecifier(node.typeSpecifier);
+    if (isTrue) {
+      return this.analyzer.typeFactory.getIntersectionType([typeAtPredecessor, checkedType], true);
+    } else {
+      return this.analyzer.excludeTypeFromUnion(typeAtPredecessor, checkedType);
+    }
+  }
+  getTypeAtAssignmentOrDeclaration(rightType, predecessor, isDeclaration) {
+    const typeAssignabilityFlags = this.analyzer.getTypeAssignabilityFlags(rightType, this.initialType);
+    if ((typeAssignabilityFlags & 1 /* NotAssignable */) !== 0) {
+      return this.initialType;
+    }
+    if ((typeAssignabilityFlags & 16 /* ImplicitConversion */) !== 0) {
+      return this.getTypeAtAssignmentWithImplicitConversion(rightType);
+    }
+    if (rightType.isNullType) {
+      return isDeclaration ? this.initialType : this.analyzer.includeNullToType(this.getTypeAtControlFlowNode(predecessor), this.locale);
+    }
+    return rightType;
+  }
+  addTypeIfUnique(types, type) {
+    if (type.kind === "union") {
+      for (const constituentType of type.originalTypes) {
+        this.addTypeIfUnique(types, constituentType);
+      }
+    } else {
+      if (!types.some((t) => t.equals(type))) {
+        types.push(type);
+      }
+    }
+  }
+  checkIfVariableIsAssignedInLoop(node) {
+    let result = this.isVariableAssignedInLoopCheckResults.get(node);
+    if (result === void 0) {
+      result = node.loopingPredecessors.some((p) => this.checkIfVariableIsAssignedAtNode(p, node));
+      this.isVariableAssignedInLoopCheckResults.set(node, result);
+    }
+    return result;
+  }
+  checkIfVariableIsAssignedAtNode(node, loopNode) {
+    if (node === loopNode) {
+      return false;
+    }
+    if (node.kind === "loop") {
+      return this.checkIfVariableIsAssignedInLoop(node);
+    }
+    let result = this.isVariableAssignedInLoopCheckResults.get(node);
+    if (result === void 0) {
+      switch (node.kind) {
+        case "start":
+        case "unreachable":
+          result = false;
+          break;
+        case "condition":
+          result = this.checkIfVariableIsAssignedAtNode(node.predecessor, loopNode);
+          break;
+        case "split":
+          result = node.predecessors.some((p) => this.checkIfVariableIsAssignedAtNode(p, loopNode));
+          break;
+        case "assignment": {
+          const left = unwrapExpressionForNarrowableReferenceCheck(node.syntaxNode.left);
+          if (isNarrowableReferenceExpression(left) && (this.reference.equalsExpression(left) || this.reference.containsExpression(left))) {
+            result = true;
+          } else {
+            result = this.checkIfVariableIsAssignedAtNode(node.predecessor, loopNode);
+          }
+          break;
+        }
+        case "local-variable-declaration": {
+          if (this.reference.kind === "local-variable" && getNarrowableReferenceAtLocalVariableDeclaration(this.analyzer, node.syntaxNode).equals(this.reference)) {
+            result = true;
+          } else {
+            result = this.checkIfVariableIsAssignedAtNode(node.predecessor, loopNode);
+          }
+          break;
+        }
+        default:
+          Debug.never(node);
+      }
+      this.isVariableAssignedInLoopCheckResults.set(node, result);
+    }
+    return result;
+  }
+  isSameReferenceAsNarrowedExpression(referenceExpression2) {
+    const reference = getReferenceAtExpressionIfNarrowable(this.analyzer, referenceExpression2);
+    return reference !== void 0 && reference.equals(this.reference);
+  }
+};
+
 // source/analysis/UserDefinableBinaryOperatorResolver.ts
 var UserDefinableBinaryOperatorResolver = class {
   constructor(analyzer, left, right, operatorKind, operatorNodeForDiagnostic) {
@@ -39080,7 +39591,7 @@ var SemanticContextBase = class _SemanticContextBase {
   }
   getTypesOrContainersWithTypes() {
     const hidingMatcher = this.asContext.getHidingMatcher();
-    return Query.from(this.enumerateSemanticContexts()).map((c) => c.getOwnTypesOrContainersWithTypes(hidingMatcher)).scan(new Array(), (seen, declarations) => {
+    return Query.from(this.semanticContexts()).map((c) => c.getOwnTypesOrContainersWithTypes(hidingMatcher)).scan(new Array(), (seen, declarations) => {
       const result = Query.from(declarations).filter((d) => seen.every((sd) => !sd.getName().considerEqual(d.getName()))).toArray();
       seen.push(...result);
       return result;
@@ -39088,7 +39599,7 @@ var SemanticContextBase = class _SemanticContextBase {
   }
   getTypesOrContainersWithTypesByName(name) {
     const hidingMatcher = this.asContext.getHidingMatcher();
-    for (const context of this.enumerateSemanticContexts()) {
+    for (const context of this.semanticContexts()) {
       const result = context.getOwnTypesOrContainersWithTypesByName(name, hidingMatcher);
       if (result.length > 0) {
         return result;
@@ -39157,7 +39668,7 @@ var SemanticContextBase = class _SemanticContextBase {
   getPrimaryTextTranslationEntityByTextKey(key) {
     return this.getSourceFileContext().getPrimaryTextTranslationEntityByTextKey(key);
   }
-  *enumerateSemanticContexts() {
+  *semanticContexts() {
     let context = this.asContext;
     while (context !== void 0) {
       yield context;
@@ -39362,27 +39873,20 @@ var SubprogramInfo;
       this.node = node;
     }
     getReturnType() {
-      return this.getSignatureType().getReturnType();
+      return this.getEntity().getReturnType();
     }
     // Безымянные операция не могут содержать команды "выдать" - ограничение C#.
     isGenerator() {
       return false;
     }
     allowsAsyncCalls() {
-      return this.getSignatureType().isAsync();
+      return this.getEntity().isAsync();
     }
     getNode() {
       return this.node;
     }
-    getSignatureType() {
-      switch (this.node.kind) {
-        case 66 /* FunctionBlockLiteral */:
-          return this.analyzer.type.ofFunctionBlockLiteral(this.node);
-        case 65 /* FunctionLiteral */:
-          return this.analyzer.type.ofFunctionLiteral(this.node);
-        default:
-          Debug.never(this.node);
-      }
+    getEntity() {
+      return this.analyzer.entity.ofRegularOrBlockFunctionLiteral(this.node);
     }
   }
   SubprogramInfo6.FunctionLiteral = FunctionLiteral3;
@@ -40808,13 +41312,13 @@ var FunctionBlockLiteralParameterListSemanticContext = class extends SubprogramP
     return false;
   }
   getParameterEntities() {
-    return this.analyzer.getFunctionBlockLiteralParameters(this.node);
+    return this.analyzer.entity.ofFunctionBlockLiteral(this.node).getParameters();
   }
   getSpecialVariableKinds() {
     return [0 /* Result */];
   }
   createMemberEntities() {
-    return this.analyzer.getFunctionBlockLiteralParameters(this.node);
+    return this.analyzer.entity.ofFunctionBlockLiteral(this.node).getParameters();
   }
   createMemberEntitiesForTypeLookup() {
     return [];
@@ -41332,58 +41836,6 @@ var ParametersOfFunctionTypeSemanticContext = class extends SemanticContextValid
   }
 };
 
-// source/analysis/TextIdentity.ts
-var TextIdentity = class {
-  static keyFromTextFragments(fragments) {
-    return fragments.join("_");
-  }
-  static keyFromTextToken(token) {
-    return unescapeText(withoutQuotes(token.value));
-  }
-  static keyFromLocalizableTextLiteral(node) {
-    let result;
-    if (node.code !== void 0) {
-      result = parseIntegerLiteral(node.code.value);
-    } else {
-      result = this.keyFromTextToken(node.text);
-    }
-    return result;
-  }
-  static keyFromLocalizableTextTemplateLiteral(node) {
-    let result;
-    if (node.code !== void 0) {
-      result = parseIntegerLiteral(node.code.value);
-    } else {
-      const fragments = [unescapeText(withoutTemplateQuotes(node.head.value))];
-      node.spanList.spans.forEach((x) => fragments.push(unescapeText(withoutTemplateQuotes(x.text.value))));
-      result = fragments.join("_");
-    }
-    return result;
-  }
-  static keyFromTextTranslationSource(node) {
-    let result;
-    if (node.code !== void 0) {
-      result = parseIntegerLiteral(node.code.value);
-    } else {
-      switch (node.kind) {
-        case 142 /* TranslationTextLiteral */: {
-          result = this.keyFromTextToken(node.text);
-          break;
-        }
-        case 143 /* TranslationTextTemplate */: {
-          const fragments = [unescapeText(withoutTemplateQuotes(node.head.value))];
-          node.spanList.spans.forEach((x) => fragments.push(unescapeText(withoutTemplateQuotes(x.text.value))));
-          result = fragments.join("_");
-          break;
-        }
-        default:
-          Debug.never(node);
-      }
-    }
-    return result;
-  }
-};
-
 // source/analysis/Analyzer.ts
 var Analyzer12 = class {
   constructor(compilation, tsInteropInputs) {
@@ -41404,7 +41856,6 @@ var Analyzer12 = class {
     this.prefixUnaryExpressionOperatorResolutionResults = /* @__PURE__ */ new Map();
     this.binaryExpressionUserDefinableOperatorResolutionResults = /* @__PURE__ */ new Map();
     this.assignmentStatementOperatorResolutionResults = /* @__PURE__ */ new Map();
-    this.parametersOfFunctionBlockLiterals = /* @__PURE__ */ new Map();
     this.extendedTypes = /* @__PURE__ */ new Map();
     this.analyzedTranslationPackages = /* @__PURE__ */ new Map();
     this.analyzedTextTranslationPackages = /* @__PURE__ */ new Map();
@@ -41481,7 +41932,7 @@ var Analyzer12 = class {
           Debug.assert(type.kind === "structured");
           implementedEnumerableAspect = type;
         } else {
-          implementedEnumerableAspect = Query.from(this.enumerateAspects(type)).first((t) => t.getEntity().getOriginalEntity() === enumerableEntity);
+          implementedEnumerableAspect = Query.from(this.allAspectsOfType(type)).first((t) => t.getEntity().getOriginalEntity() === enumerableEntity);
         }
         if (implementedEnumerableAspect !== void 0) {
           const parameter = enumerableEntity.getTypeParameters()[0];
@@ -41627,12 +42078,27 @@ var Analyzer12 = class {
   checkBlockCallsAsyncMethods(node) {
     let result = false;
     const visitor = (node2) => {
+      if (result) {
+        return;
+      }
       switch (node2.kind) {
         case 68 /* CallExpression */: {
           const meaning = this.resolveCallExpression(node2).meaning;
-          if (meaning.kind === "function-call" && meaning.singleFunction?.getEntity().isAsync() === true) {
-            result = true;
-          } else {
+          switch (meaning.kind) {
+            case "function-call":
+              result = meaning.singleFunction?.getEntity().isAsync() === true;
+              break;
+            case "object-function-call":
+              result = meaning.type.isAsync();
+              break;
+            case "operator-call":
+            case "unresolved":
+            case "constructor-call":
+              break;
+            default:
+              Debug.never(meaning);
+          }
+          if (!result) {
             visitChildren(node2, false, visitor);
           }
           break;
@@ -41768,7 +42234,7 @@ var Analyzer12 = class {
     }
     return result;
   }
-  *enumeratePackageImports(packageImportDirectives) {
+  *getPackageImportsOfDirective(packageImportDirectives) {
     for (const d of packageImportDirectives) {
       switch (d.kind) {
         case 6 /* PackageGroupImportDirective */:
@@ -42273,7 +42739,7 @@ var Analyzer12 = class {
     }
     return result;
   }
-  *enumerateAspects(type) {
+  *allAspectsOfType(type) {
     type = unaliasType(type);
     if (type.kind === "structured") {
       const enumeratedAspects = /* @__PURE__ */ new Set();
@@ -42298,7 +42764,7 @@ var Analyzer12 = class {
     if (type.kind !== "structured") {
       return false;
     }
-    return Query.any(this.enumerateAspects(type), (a) => a.getEntity().getOriginalEntity() === aspectEntity.getOriginalEntity());
+    return Query.any(this.allAspectsOfType(type), (a) => a.getEntity().getOriginalEntity() === aspectEntity.getOriginalEntity());
   }
   resolvePrefixUnaryExpressionUserDefinableOperator(node) {
     let result = this.prefixUnaryExpressionOperatorResolutionResults.get(node);
@@ -42580,26 +43046,6 @@ var Analyzer12 = class {
   getDefaultTypeParameterConstraint(locale) {
     return this.includeNullToType(this.getLocalizedStandardTypes(locale).refObject, locale);
   }
-  getFunctionBlockLiteralParameters(node) {
-    let result = this.parametersOfFunctionBlockLiterals.get(node);
-    if (result === void 0) {
-      const type = this.type.ofFunctionBlockLiteral(node);
-      result = this.parametersOfFunctionBlockLiterals.get(node);
-      if (result === void 0) {
-        const packageEntity2 = TreeQuery.getPackageEntity(node, this);
-        result = type.getParameters().map((p) => new IntrinsicParameterEntity(
-          p.getEntity().getName(),
-          p.getType(),
-          packageEntity2,
-          p.isOptional(),
-          p.isVariadic(),
-          new ImplicitFunctionBlockParameterSpecialVariableEntityInfo(p, node)
-        ));
-        this.parametersOfFunctionBlockLiterals.set(node, result);
-      }
-    }
-    return result;
-  }
   getExtendedType(node) {
     let result = this.extendedTypes.get(node);
     if (result === void 0) {
@@ -42841,39 +43287,39 @@ var Analyzer12 = class {
       return void 0;
     }
   }
-  collectDeclarationsUsageOfPackages(targetPlatform, cancellationToken = void 0) {
+  collectDeclarationsUsageOfPackages(targetPlatform, taskController) {
     return __async(this, null, function* () {
       const result = /* @__PURE__ */ new Map();
       const packageGraph = new SourcePackageDependencyGraph(this);
-      for (const pkg2 of packageGraph.enumeratePackages(targetPlatform)) {
+      for (const pkg2 of packageGraph.packagesForTargetPlatform(targetPlatform)) {
         for (const sourceFile of pkg2.sourceFiles) {
           const sourceFileNode = sourceFile.getSyntaxNode();
-          const usageCountResult = yield this.getDeclarationsUsageOfSourceFile(sourceFileNode, cancellationToken);
+          const usageCountResult = yield this.getDeclarationsUsageOfSourceFile(sourceFileNode, taskController);
           result.set(sourceFileNode, usageCountResult);
         }
       }
       return result;
     });
   }
-  getDeclarationsUsageOfSourceFile(sourceFile, cancellationToken) {
+  getDeclarationsUsageOfSourceFile(sourceFile, taskController) {
     return __async(this, null, function* () {
       let result = this.namedDeclarationsUsageCountResults.get(sourceFile);
       if (result === void 0) {
         const counter = new DeclarationsUsageCounter(this, sourceFile);
-        result = yield counter.count(cancellationToken);
+        result = yield counter.count(taskController);
         this.namedDeclarationsUsageCountResults.set(sourceFile, result);
       }
       return result;
     });
   }
-  getPackageAndStaticVariablesInitializationDiagnostics(pkg2, cancellationToken) {
+  getPackageAndStaticVariablesInitializationDiagnostics(pkg2, taskController) {
     return __async(this, null, function* () {
       let result = this.packageAndStaticVariablesInitializationDiagnostics.get(pkg2);
       if (result === void 0) {
         const usageCountResults = new Array();
         for (const sourceFile of pkg2.sourceFiles) {
           const sourceFileNode = sourceFile.getSyntaxNode();
-          const usageCountResult = yield this.getDeclarationsUsageOfSourceFile(sourceFileNode, cancellationToken);
+          const usageCountResult = yield this.getDeclarationsUsageOfSourceFile(sourceFileNode, taskController);
           usageCountResults.push(usageCountResult);
         }
         const diagnostics = new AccumulatingDiagnosticAcceptor();
@@ -43243,11 +43689,12 @@ var Analyzer12 = class {
       };
     });
   }
-  getSourceFileDiagnosticsComputedLazily(sourceFile) {
-    return this.diagnosticsComputedLazily.filter((d) => d.location?.file === sourceFile);
-  }
-  getDiagnosticsWithoutLocationComputedLazily() {
-    return this.diagnosticsComputedLazily.filter((d) => d.location === void 0);
+  accumulateSourceFileDiagnosticsComputedLazily(sourceFile, diagnostics) {
+    for (const diagnostic of this.diagnosticsComputedLazily) {
+      if (diagnostic.location?.file === sourceFile) {
+        diagnostics.addDiagnostic(diagnostic);
+      }
+    }
   }
   validateSourcePackageMemberConflicts(pkg2) {
     let result = this.sourcePackageMemberConflictsDiagnostics.get(pkg2);
@@ -43539,7 +43986,18 @@ var Analyzer12 = class {
         if (definition.kind !== 0 /* Source */) {
           return void 0;
         }
-        return this.getNodeDiagnosticLocation(definition.node.name);
+        switch (definition.node.kind) {
+          case 25 /* PackageFunctionDeclaration */:
+          case 50 /* MethodDeclaration */:
+          case 56 /* NestedFunctionDeclaration */:
+            return this.getNodeDiagnosticLocation(definition.node.name);
+          case 65 /* FunctionLiteral */:
+            return this.getNodeDiagnosticLocation(definition.node.functionKeyword);
+          case 66 /* FunctionBlockLiteral */:
+            return this.getNodeDiagnosticLocation(definition.node.block.openBraceToken);
+          default:
+            Debug.never(definition.node);
+        }
       }
       case 2 /* Type */: {
         const definition = entity.getDefinition();
@@ -44012,16 +44470,6 @@ var Type4 = class {
   ofAccessedOperator(operator) {
     return operator.getSignatureType();
   }
-  ofRegularOrBlockFunctionLiteral(node, analysisOptions) {
-    switch (node.kind) {
-      case 65 /* FunctionLiteral */:
-        return this.ofFunctionLiteral(node, analysisOptions);
-      case 66 /* FunctionBlockLiteral */:
-        return this.ofFunctionBlockLiteral(node, analysisOptions);
-      default:
-        Debug.never(node);
-    }
-  }
   ofFunctionBlockLiteral(node, analysisOptions) {
     let result;
     const allowCachingAndInferring = analysisOptions?.allowCaching !== false;
@@ -44029,16 +44477,7 @@ var Type4 = class {
       result = this.functionLiteralTypes.get(node);
     }
     if (result === void 0) {
-      const targetType = this.analyzer.getTargetTypeOfExpression(node, analysisOptions);
-      const targetFunctionType = this.analyzer.getUnambiguousTargetFunctionType(targetType);
-      const allowReportingDiagnostics = analysisOptions?.isResolvingOverload === true;
-      result = this.createFunctionBlockLiteralType(
-        node,
-        targetFunctionType,
-        void 0,
-        allowCachingAndInferring,
-        allowReportingDiagnostics
-      );
+      result = this.ofRegularOrBlockFunctionLiteral(node, analysisOptions);
       if (allowCachingAndInferring) {
         this.functionLiteralTypes.set(node, result);
       }
@@ -44052,22 +44491,71 @@ var Type4 = class {
       result = this.functionLiteralTypes.get(node);
     }
     if (result === void 0) {
-      const targetType = this.analyzer.getTargetTypeOfExpression(node, analysisOptions);
-      const targetFunctionType = this.analyzer.getUnambiguousTargetFunctionType(targetType);
-      const allowReportingDiagnostics = analysisOptions?.isResolvingOverload === true;
-      result = this.createFunctionLiteralType(
-        node,
-        targetFunctionType,
-        void 0,
-        allowCachingAndInferring,
-        allowReportingDiagnostics
-      );
+      result = this.ofRegularOrBlockFunctionLiteral(node, analysisOptions);
       if (allowCachingAndInferring) {
         this.functionLiteralTypes.set(node, result);
       }
     }
     return result;
   }
+  ofRegularOrBlockFunctionLiteral(node, analysisOptions) {
+    let entity;
+    switch (node.kind) {
+      case 65 /* FunctionLiteral */:
+        entity = this.analyzer.entity.ofFunctionLiteralInternal(node);
+        break;
+      case 66 /* FunctionBlockLiteral */:
+        entity = this.analyzer.entity.ofFunctionBlockLiteralInternal(node);
+        break;
+      default:
+        Debug.never(node);
+    }
+    if (entity.isInferringReturnType || entity.isInferringReturnType) {
+      const diagnostic = this.analyzer.createNodeDiagnostic(
+        303 /* RecursionOccurredWhileCalculatingTheTypeOfTheExpression */,
+        node
+      );
+      this.analyzer.addDiagnosticComputedLazily(diagnostic);
+      return this.analyzer.originalStandardTypes.unresolved;
+    }
+    const targetType = this.analyzer.getTargetTypeOfExpression(node, analysisOptions);
+    const targetFunctionType = this.analyzer.getUnambiguousTargetFunctionType(targetType);
+    const allowCachingAndInferring = analysisOptions?.allowCaching !== false;
+    let result;
+    if (allowCachingAndInferring) {
+      entity.setTargetFunctionType(targetFunctionType);
+      result = this.createFunctionTypeOfFunctionEntity(entity);
+    } else if (!entity.dependsOnTargetType()) {
+      result = this.createFunctionTypeOfFunctionEntity(entity);
+    } else {
+      const allowReportingDiagnostics = analysisOptions?.isResolvingOverload === true;
+      if (allowReportingDiagnostics) {
+        this.reportReturnTypeCanNotBeInferredDiagnostic(node);
+      }
+      result = this.analyzer.originalStandardTypes.unresolved;
+    }
+    return result;
+  }
+  createFunctionTypeOfFunctionEntity(entity) {
+    const unfinishedFunctionTypeEntity = new UnfinishedIntrinsicAnonymousFunctionTypeEntity(
+      this.analyzer,
+      entity.getReturnType(),
+      entity.isAsync(),
+      entity.getContainingPackage(),
+      void 0,
+      void 0
+    );
+    const parameters = entity.getParameters().map((p) => new IntrinsicParameterEntity(
+      p.getName(),
+      p.getType(),
+      unfinishedFunctionTypeEntity.unfinishedValue,
+      p.isOptional(),
+      p.isVariadic(),
+      void 0
+    ));
+    const functionTypeEntity = unfinishedFunctionTypeEntity.finish(emptyTypeParameterEntities, parameters);
+    return this.analyzer.typeFactory.getFunctionType(functionTypeEntity, Substitutions.empty());
+  }
   ofArrayLiteral(node, analysisOptions) {
     const targetType = this.analyzer.getTargetTypeOfExpression(node, analysisOptions);
     const targetArrayType = this.analyzer.getUnambiguousTargetArrayType(targetType);
@@ -44506,142 +44994,6 @@ var Type4 = class {
   ofInvalidTypeSpecifier(_node) {
     return this.analyzer.originalStandardTypes.unresolved;
   }
-  createFunctionLiteralType(node, targetType, returnTypeOverride, allowInferringReturnType, allowReportingDiagnostics) {
-    const isAsync = node.asyncKeyword !== void 0 || targetType?.isAsync() === true;
-    let returnType;
-    if (returnTypeOverride !== void 0) {
-      returnType = returnTypeOverride;
-    } else if (node.returnTypeAnnotation !== void 0) {
-      returnType = this.analyzer.type.ofTypeSpecifier(node.returnTypeAnnotation.typeSpecifier);
-    } else if (allowInferringReturnType) {
-      returnType = this.inferAndCacheReturnTypeOfRegularOrBlockFunctionLiteral(node, targetType);
-    } else {
-      if (allowReportingDiagnostics) {
-        this.reportReturnTypeCanNotBeInferredDiagnostic(node);
-      }
-      returnType = this.analyzer.getLocalizedStandardTypes(node.locale).nullType;
-    }
-    const semanticContext = this.analyzer.semanticContext.containing(node);
-    const unfinishedEntity = new UnfinishedIntrinsicAnonymousFunctionTypeEntity(
-      this.analyzer,
-      returnType,
-      isAsync,
-      semanticContext.getContainingPackage(),
-      void 0,
-      EntityContext.fromSemanticContext(semanticContext)
-    );
-    const targetTypeParameters = targetType?.getParameters();
-    const parameters = node.parameterClause.parameterList.parameters.map((p, i) => {
-      const name = this.analyzer.createNameFromIdentifier(p.name);
-      let type;
-      if (p.typeAnnotation !== void 0) {
-        type = this.analyzer.type.ofTypeSpecifier(p.typeAnnotation.typeSpecifier);
-      } else if (targetTypeParameters !== void 0 && i < targetTypeParameters.length) {
-        type = targetTypeParameters[i].getType();
-      } else {
-        type = this.analyzer.originalStandardTypes.unresolved;
-      }
-      return new IntrinsicParameterEntity(
-        name,
-        type,
-        unfinishedEntity.unfinishedValue,
-        p.defaultValue !== void 0,
-        false,
-        void 0
-      );
-    }).toArray();
-    const entity = unfinishedEntity.finish([], parameters);
-    return this.analyzer.typeFactory.getFunctionType(entity, Substitutions.empty());
-  }
-  createFunctionBlockLiteralType(node, targetType, returnTypeOverride, allowInferringReturnType, allowReportingDiagnostics) {
-    let returnType;
-    if (returnTypeOverride !== void 0) {
-      returnType = returnTypeOverride;
-    } else if (node.block.expressionOrStatementList.kind !== 93 /* StatementList */ && targetType !== void 0 && targetType.getReturnType().isNullType) {
-      returnType = targetType.getReturnType();
-    } else if (allowInferringReturnType) {
-      returnType = this.inferAndCacheReturnTypeOfRegularOrBlockFunctionLiteral(node, targetType);
-    } else {
-      if (allowReportingDiagnostics) {
-        this.reportReturnTypeCanNotBeInferredDiagnostic(node);
-      }
-      returnType = this.analyzer.getLocalizedStandardTypes(node.locale).nullType;
-    }
-    const semanticContext = this.analyzer.semanticContext.containing(node);
-    const unfinishedEntity = new UnfinishedIntrinsicAnonymousFunctionTypeEntity(
-      this.analyzer,
-      returnType,
-      false,
-      semanticContext.getContainingPackage(),
-      void 0,
-      EntityContext.fromSemanticContext(semanticContext)
-    );
-    const parameters = targetType?.getParameters().map((p) => new IntrinsicParameterEntity(
-      p.getName(),
-      p.getType(),
-      unfinishedEntity.unfinishedValue,
-      p.isOptional(),
-      p.isVariadic(),
-      void 0
-    )) ?? [];
-    const entity = unfinishedEntity.finish([], parameters);
-    return this.analyzer.typeFactory.getFunctionType(entity, Substitutions.empty());
-  }
-  inferAndCacheReturnTypeOfRegularOrBlockFunctionLiteral(node, targetFunctionType) {
-    const cachedType = this.functionLiteralTypes.get(node);
-    if (cachedType !== void 0) {
-      return cachedType.getReturnType();
-    }
-    let typeForReturnTypeInference;
-    const locale = node.locale;
-    const standardTypes = this.analyzer.getLocalizedStandardTypes(locale);
-    const returnTypeDuringInference = this.analyzer.includeNullToType(standardTypes.refObject, locale);
-    if (node.kind === 65 /* FunctionLiteral */) {
-      typeForReturnTypeInference = this.createFunctionLiteralType(
-        node,
-        targetFunctionType,
-        returnTypeDuringInference,
-        false,
-        false
-      );
-    } else {
-      typeForReturnTypeInference = this.createFunctionBlockLiteralType(
-        node,
-        targetFunctionType,
-        returnTypeDuringInference,
-        false,
-        false
-      );
-    }
-    this.functionLiteralTypes.set(node, typeForReturnTypeInference);
-    const resultVariable = node.kind === 65 /* FunctionLiteral */ ? this.analyzer.resultLocalVariableEntity.ofFunctionLiteral(node) : this.analyzer.resultLocalVariableEntity.ofFunctionBlockLiteral(node);
-    const inferrer = new ReturnTypeInferrer(this.analyzer, node.block, resultVariable);
-    const returnType = inferrer.infer();
-    const typeWithInferredReturnType = this.replaceReturnTypeOfFunctionType(typeForReturnTypeInference, returnType);
-    this.functionLiteralTypes.set(node, typeWithInferredReturnType);
-    return returnType;
-  }
-  replaceReturnTypeOfFunctionType(type, returnType) {
-    const templateTypeEntity = type.getEntity();
-    const unfinishedEntity = new UnfinishedIntrinsicAnonymousFunctionTypeEntity(
-      this.analyzer,
-      returnType,
-      templateTypeEntity.isAsync(),
-      templateTypeEntity.getContainingPackage(),
-      void 0,
-      templateTypeEntity.getContext()
-    );
-    const parameters = type.getParameters().map((p) => new IntrinsicParameterEntity(
-      p.getName(),
-      p.getType(),
-      unfinishedEntity.unfinishedValue,
-      p.isOptional(),
-      p.isVariadic(),
-      p.getEntity().isSpecial()
-    ));
-    const entity = unfinishedEntity.finish([], parameters);
-    return this.analyzer.typeFactory.getFunctionType(entity, Substitutions.empty());
-  }
   reportReturnTypeCanNotBeInferredDiagnostic(node) {
     if (!this.nodesForWhichReturnTypeInferenceDiagnosticHasBeenReported.has(node)) {
       const nodeForDiagnostic = node.kind === 65 /* FunctionLiteral */ ? node.functionKeyword : node.block.openBraceToken;
@@ -45008,7 +45360,7 @@ var ReturnType = class {
     return this.analyzer.entity.ofAnonymousFunctionTypeDeclaration(node).getReturnType();
   }
   ofFunctionBlockLiteral(node) {
-    return this.analyzer.type.ofFunctionBlockLiteral(node).getReturnType();
+    return this.analyzer.entity.ofFunctionBlockLiteral(node).getReturnType();
   }
   ofPackageFunctionDeclaration(node) {
     return this.analyzer.entity.ofPackageFunctionDeclaration(node).getReturnType();
@@ -45020,7 +45372,7 @@ var ReturnType = class {
     return this.analyzer.entity.ofNestedFunctionDeclaration(node).getReturnType();
   }
   ofFunctionLiteral(node) {
-    return this.analyzer.type.ofFunctionLiteral(node).getReturnType();
+    return this.analyzer.entity.ofFunctionLiteral(node).getReturnType();
   }
   ofMethodDeclaration(node) {
     return this.analyzer.entity.ofMethodDeclaration(node).getReturnType();
@@ -45086,6 +45438,8 @@ var Entity4 = class {
     this.packageAliasEntities = /* @__PURE__ */ new Map();
     this.translationTextTemplateParameterEntities = /* @__PURE__ */ new Map();
     this.textTranslationDeclarationEntities = /* @__PURE__ */ new Map();
+    this.functionLiteralEntities = /* @__PURE__ */ new Map();
+    this.functionBlockLiteralEntities = /* @__PURE__ */ new Map();
   }
   ofPackage(pkg2) {
     let result = this.packageEntities.get(pkg2);
@@ -45181,8 +45535,7 @@ var Entity4 = class {
     if (result === void 0) {
       const owner = node.parent.parent.parent;
       if (owner.kind === 65 /* FunctionLiteral */) {
-        result = new FunctionLiteralParameterDeclarationEntity(this.analyzer, node, owner);
-        this.parameterEntities.set(node, result);
+        result = this.ofFunctionLiteralParameterDeclarationInternal(node, owner);
       } else if (owner.kind === 45 /* IndexedElementGetterDeclaration */ || owner.kind === 46 /* IndexedElementSetterDeclaration */) {
         const memberBlock = TypeMemberQuery.getOutermostMemberBlock(owner);
         this.createIndexerAndParameterEntities(memberBlock);
@@ -45529,6 +45882,47 @@ var Entity4 = class {
     }
     return result;
   }
+  ofFunctionLiteral(node) {
+    return this.ofFunctionLiteralInternal(node);
+  }
+  ofFunctionBlockLiteral(node) {
+    return this.ofFunctionBlockLiteralInternal(node);
+  }
+  ofRegularOrBlockFunctionLiteral(node) {
+    switch (node.kind) {
+      case 65 /* FunctionLiteral */:
+        return this.ofFunctionLiteral(node);
+      case 66 /* FunctionBlockLiteral */:
+        return this.ofFunctionBlockLiteral(node);
+      default:
+        Debug.never(node);
+    }
+  }
+  ofFunctionLiteralInternal(node) {
+    let result = this.functionLiteralEntities.get(node);
+    if (result === void 0) {
+      result = new FunctionLiteralEntity(this.analyzer, node);
+      this.functionLiteralEntities.set(node, result);
+    }
+    return result;
+  }
+  ofFunctionBlockLiteralInternal(node) {
+    let result = this.functionBlockLiteralEntities.get(node);
+    if (result === void 0) {
+      result = new FunctionBlockLiteralEntity(this.analyzer, node);
+      this.functionBlockLiteralEntities.set(node, result);
+    }
+    return result;
+  }
+  ofFunctionLiteralParameterDeclarationInternal(node, literal) {
+    let result = this.parameterEntities.get(node);
+    if (result === void 0) {
+      result = new FunctionLiteralParameterDeclarationEntity(this.analyzer, node, literal);
+      this.parameterEntities.set(node, result);
+    }
+    Debug.assert(result instanceof FunctionLiteralParameterDeclarationEntity);
+    return result;
+  }
   getContainingPackageLoadedFromDts(node) {
     const pkg2 = TreeQuery.getSourcePackage(node, this.analyzer);
     if (pkg2.kind === "program" && pkg2.configuration.targetPlatform?.kind === "javascript" && pkg2.configuration.targetPlatform.interfacePackageImplementation?.loadFromDts === true) {
@@ -45935,7 +46329,7 @@ var SourceFileMembersMap = class {
     if (result === void 0) {
       const namedMembers = new Array();
       const typeExtensionEntities = new Array();
-      const packageImports = this.analyzer.enumeratePackageImports(
+      const packageImports = this.analyzer.getPackageImportsOfDirective(
         node.packageImportDirectiveList.packageImportDirectives
       );
       for (const packageImport of packageImports) {
@@ -46132,7 +46526,7 @@ var OverriddenMember = class {
     const shadowedMembers = new Array();
     if (this.entityCanOverrideOrShadow(member.getEntity())) {
       let overridingMemberType;
-      for (const lookup of this.enumerateTypeMemberLookups(member.getEntity(), contextualNode)) {
+      for (const lookup of this.typeMemberLookups(member.getEntity(), contextualNode)) {
         const overriddenOrShadowedMembers = overriddenOrShadowedMemberFinder(member, lookup);
         for (const overriddenOrShadowedMember of overriddenOrShadowedMembers) {
           if (!isMemberOfCorrectKind(overriddenOrShadowedMember)) {
@@ -46212,14 +46606,14 @@ var OverriddenMember = class {
       indexerFromBaseType
     );
   }
-  *enumerateTypeMemberLookups(entity, contextualNode) {
+  *typeMemberLookups(entity, contextualNode) {
     const containingEntity = entity.getContainingEntity();
     if (containingEntity.kind !== 2 /* Type */) {
       return;
     }
     const semanticContext = this.analyzer.semanticContext.containing(contextualNode);
     const hidingMatcher = semanticContext.getHidingMatcher();
-    for (const type of this.enumerateTypesForOverriddenMemberLookup(containingEntity)) {
+    for (const type of this.typesForOverriddenMemberLookup(containingEntity)) {
       yield BoundTypeMemberLookup.ofType(
         this.analyzer,
         type,
@@ -46230,7 +46624,7 @@ var OverriddenMember = class {
       );
     }
   }
-  *enumerateTypesForOverriddenMemberLookup(entity) {
+  *typesForOverriddenMemberLookup(entity) {
     switch (entity.typeEntityKind) {
       case 1 /* Structured */: {
         const baseObjectType = entity.getBaseObjectType().cycleFree;
@@ -47244,7 +47638,7 @@ var PackageImports = class {
       const diagnostics = new Array();
       const packageImportInfoByPackageImport = /* @__PURE__ */ new Map();
       const packagesImportedWithoutAlias = /* @__PURE__ */ new Set();
-      const packageImports = this.analyzer.enumeratePackageImports(sourceFile.getSyntaxNode().packageImportDirectiveList.packageImportDirectives);
+      const packageImports = this.analyzer.getPackageImportsOfDirective(sourceFile.getSyntaxNode().packageImportDirectiveList.packageImportDirectives);
       for (const packageImport of packageImports) {
         let isAliasedImport;
         if (packageImport.alias !== void 0) {
@@ -47721,7 +48115,7 @@ var SignatureComparer = class {
     this.stubParameterTypes = new Array();
   }
   areEqualFunctionEntities(function1, function2, options) {
-    if ((options & 1 /* CompareNames */) !== 0 && !function1.getName().considerEqual(function2.getName(), false)) {
+    if ((options & 1 /* CompareNames */) !== 0 && !function1.getNaming().considerEqual(function2.getNaming(), false)) {
       return false;
     }
     const parameters1 = function1.getParameters();
@@ -49468,8 +49862,8 @@ var TypeMemberConflictsValidator = class {
   }
 };
 
-// source/analysis/DiagnosticCollector.ts
-var DiagnosticCollector = class _DiagnosticCollector {
+// source/analysis/SourceFileAnalyzer.ts
+var SourceFileAnalyzer = class {
   constructor(analyzer, sourceFile) {
     this.translationPackage_ = new Cached();
     this.textTranslationPackage_ = new Cached();
@@ -49481,9 +49875,6 @@ var DiagnosticCollector = class _DiagnosticCollector {
     this.diagnosticArgumentFactory = analyzer.semanticContext.ofSourceFile(sourceFile.getSyntaxNode()).getDiagnosticArgumentFactory();
     this.modifierValidator = new ModifierValidator(analyzer, this.diagnosticAcceptor);
   }
-  static {
-    this.CancellationTokenThrottleTime = 50;
-  }
   get translationPackage() {
     return this.translationPackage_.getOrInsertWith(() => {
       if (this.sourceFile.package.kind === "translation") {
@@ -49506,44 +49897,48 @@ var DiagnosticCollector = class _DiagnosticCollector {
   get standardTypes() {
     return this.standardTypes_.getOrInsertWith(() => this.analyzer.getLocalizedStandardTypes(this.sourceFile.package.locale));
   }
-  collect(cancellationToken = void 0) {
+  analyze(taskController) {
     return __async(this, null, function* () {
       this.addDiagnostics(this.sourceFile.parse().diagnostics.map((d) => new Diagnostic(d.data, new DiagnosticLocation(d.range, this.sourceFile))));
       PerformanceMeasurement.markStart(1 /* Analyzing */);
       const sourceFileNode = this.sourceFile.getSyntaxNode();
       this.namedDeclarationsUsageMap = yield this.analyzer.getDeclarationsUsageOfSourceFile(
         sourceFileNode,
-        cancellationToken
+        taskController
       );
       if (!this.isInterfacePackageFile) {
-        const variableInitializationDiagnostics = yield this.analyzer.getPackageAndStaticVariablesInitializationDiagnostics(this.sourceFile.package, cancellationToken);
+        const variableInitializationDiagnostics = yield this.analyzer.getPackageAndStaticVariablesInitializationDiagnostics(this.sourceFile.package, taskController);
         this.addDiagnosticsLocatedInAnalyzedFile(variableInitializationDiagnostics);
       }
       this.modifierValidator.validateTopLevelPackageMembers(sourceFileNode.declarationList);
-      this.translationPackage?.accumulateDiagnosticsForSourceFile(this.sourceFile, this.diagnosticAcceptor);
       if (this.sourceFile.package.kind === "program") {
-        const memberConflictDiagnostics = this.analyzer.validateSourcePackageMemberConflicts(this.sourceFile.package).filter((d) => d.location?.file === this.sourceFile);
-        this.addDiagnostics(memberConflictDiagnostics);
+        this.addDiagnosticsLocatedInAnalyzedFile(
+          this.analyzer.validateSourcePackageMemberConflicts(this.sourceFile.package)
+        );
+      }
+      if (this.translationPackage !== void 0) {
+        this.translationPackage.ensureAllLazyDiagnosticsReportedForSourceFile(this.sourceFile);
+        this.translationPackage.accumulateDiagnosticForSourceFile(this.sourceFile, this.diagnosticAcceptor);
       }
       this.analyzer.getSourceFileMembers(sourceFileNode).validateNameConflicts(this.diagnosticAcceptor);
       const packageImportInfos = this.analyzer.packageImports.analyzeExplicitPackageImports(this.sourceFile);
       this.addDiagnostics(packageImportInfos.diagnostics);
-      yield traverseTreeWithCancellationToken(
+      yield traverseTree(
         sourceFileNode,
-        cancellationToken,
-        _DiagnosticCollector.CancellationTokenThrottleTime,
         false,
-        (node, controller) => this.collectNodeDiagnostics(node, controller)
+        taskController,
+        (node, controller) => {
+          return this.analyzeNode(node, controller);
+        }
       );
       const unreachableCodeDiagnostics = this.analyzer.getControlFlowGraph(this.sourceFile).unreachableCodeDiagnostics;
       this.addDiagnostics(unreachableCodeDiagnostics);
-      const diagnosticsComputedLazily = this.analyzer.getSourceFileDiagnosticsComputedLazily(this.sourceFile);
-      this.addDiagnostics(diagnosticsComputedLazily);
+      this.analyzer.accumulateSourceFileDiagnosticsComputedLazily(this.sourceFile, this.diagnosticAcceptor);
       PerformanceMeasurement.markEnd();
       return this.diagnostics;
     });
   }
-  collectNodeDiagnostics(node, traversalController) {
+  analyzeNode(node, controller) {
     switch (node.kind) {
       case 89 /* IdentifierExpression */: {
         this.checkIdentifierExpression(node);
@@ -49639,7 +50034,7 @@ var DiagnosticCollector = class _DiagnosticCollector {
             252 /* TranslationsCanOnlyBeDeclaredInTranslationPackage */,
             node.translationsKeyword
           ));
-          traversalController.stopChildrenTraverse();
+          controller.skipChildrenTraverse();
         } else if (this.sourceFile.package.kind === "translation") {
           if (this.translationPackage === void 0) {
             this.addDiagnostic(this.analyzer.createNodeDiagnostic(
@@ -49647,7 +50042,7 @@ var DiagnosticCollector = class _DiagnosticCollector {
               node.translationsKeyword,
               [this.sourceFile.package.configuration.targetPackageName.toString()]
             ));
-            traversalController.stopChildrenTraverse();
+            controller.skipChildrenTraverse();
           }
         } else if (this.sourceFile.package.kind === "text-translation") {
           const textTranslationPackage = this.textTranslationPackage;
@@ -49657,7 +50052,7 @@ var DiagnosticCollector = class _DiagnosticCollector {
               node.translationsKeyword,
               [this.sourceFile.package.configuration.targetPackageName.toString()]
             ));
-            traversalController.stopChildrenTraverse();
+            controller.skipChildrenTraverse();
           } else {
             if (textTranslationPackage.isPrimary()) {
               const targetPackage = textTranslationPackage.getTargetPackage();
@@ -49666,7 +50061,7 @@ var DiagnosticCollector = class _DiagnosticCollector {
                 (p) => p.isPrimary() && p !== textTranslationPackage
               )) {
                 this.addDiagnostic(this.analyzer.createNodeDiagnostic(
-                  391 /* OnlyOneTextTranslationPackageShouldBeMarkedAsPrimary */,
+                  392 /* OnlyOneTextTranslationPackageShouldBeMarkedAsPrimary */,
                   node.translationsKeyword,
                   []
                 ));
@@ -50197,6 +50592,7 @@ var DiagnosticCollector = class _DiagnosticCollector {
         break;
       }
     }
+    return void 0;
   }
   checkTypeParameterList(node) {
     const typeParameterDeclarations = node.typeParameters.toArray();
@@ -51732,11 +52128,11 @@ var SourcePackageDependencyGraph = class {
    * Перечислить все пакеты и их зависимости, включая транзитивные, начиная от корневых пакетов.
    * @param platformKind Связывать многоплатформенные пакеты с реализацией для заданной платформы.
    */
-  *enumeratePackages(platformKind) {
+  *packagesForTargetPlatform(platformKind) {
     const enumeratedPackages = /* @__PURE__ */ new Set();
     for (const rootPackage of this.rootPackages) {
       const node = this.getNodeForPackage(rootPackage);
-      yield* __yieldStar(this.enumerateNodeAndDependenciesRecursively(node, platformKind, enumeratedPackages));
+      yield* __yieldStar(this.nodeAndDependenciesRecursively(node, platformKind, enumeratedPackages));
     }
     for (const pkg2 of this.analyzer.enumerateAnalyzedTextTranslationPackages()) {
       yield pkg2.getDefinition();
@@ -51795,12 +52191,12 @@ var SourcePackageDependencyGraph = class {
     }
     return result;
   }
-  *enumerateNodeAndDependenciesRecursively(node, platformKind, enumeratedPackages) {
+  *nodeAndDependenciesRecursively(node, platformKind, enumeratedPackages) {
     if (!enumeratedPackages.has(node.pkg)) {
       yield node.pkg;
       enumeratedPackages.add(node.pkg);
       for (const link of node.links) {
-        yield* __yieldStar(this.enumerateNodeAndDependenciesRecursively(link.node, platformKind, enumeratedPackages));
+        yield* __yieldStar(this.nodeAndDependenciesRecursively(link.node, platformKind, enumeratedPackages));
         for (const translationPackage of link.translationPackages) {
           const sourceTranslationPackage = translationPackage.getDefinition();
           if (!enumeratedPackages.has(sourceTranslationPackage)) {
@@ -51810,7 +52206,7 @@ var SourcePackageDependencyGraph = class {
         }
         const implementationPackageNode = link.implementationPackageByPlatformKind.get(platformKind);
         if (implementationPackageNode !== void 0) {
-          yield* __yieldStar(this.enumerateNodeAndDependenciesRecursively(
+          yield* __yieldStar(this.nodeAndDependenciesRecursively(
             implementationPackageNode,
             platformKind,
             enumeratedPackages
@@ -52358,6 +52754,72 @@ DestructorDeclarationEntity = __decorateClass([
   entityToStringDecorator
 ], DestructorDeclarationEntity);
 
+// source/analysis/ReturnTypeInferrer.ts
+var ReturnTypeInferrer = class {
+  constructor(analyzer, block, resultVariable) {
+    this.analyzer = analyzer;
+    this.block = block;
+    this.resultVariable = resultVariable;
+  }
+  infer() {
+    let result;
+    if (this.block.expressionOrStatementList.kind !== 93 /* StatementList */) {
+      result = this.analyzer.type.ofExpression(this.block.expressionOrStatementList);
+    } else {
+      const { isResultVariableUsed, returnedTypes } = this.checkResultVariableIsUsedAndCollectReturnedTypes();
+      if (isResultVariableUsed) {
+        returnedTypes.push(this.getTypeOfResultVariableAtTheEndOfSubprogram());
+      }
+      if (returnedTypes.length === 0) {
+        result = this.analyzer.getLocalizedStandardTypes(this.block.locale).nullType;
+      } else {
+        result = this.analyzer.typeFactory.getUnionType(returnedTypes, true);
+      }
+    }
+    return result;
+  }
+  checkResultVariableIsUsedAndCollectReturnedTypes() {
+    let isResultVariableUsed = false;
+    const returnedTypes = new Array();
+    const visitor = (child) => {
+      if (!isResultVariableUsed && child.kind === 89 /* IdentifierExpression */) {
+        const meaning = this.analyzer.resolveIdentifierExpressionFirstStage(child).meaning;
+        if (meaning.kind === "variable-access" && meaning.variable.getEntity().getOriginalEntity() === this.resultVariable.getOriginalEntity()) {
+          isResultVariableUsed = true;
+        }
+      } else if (child.kind === 116 /* ReturnStatement */ && child.expression !== void 0) {
+        returnedTypes.push(this.analyzer.type.ofExpression(child.expression));
+      }
+      switch (child.kind) {
+        case 15 /* AnonymousTypeSpecifier */:
+        case 56 /* NestedFunctionDeclaration */:
+        case 65 /* FunctionLiteral */:
+        case 66 /* FunctionBlockLiteral */:
+          return;
+        default:
+          visitChildren(child, false, visitor);
+      }
+    };
+    visitChildren(this.block, false, visitor);
+    return { isResultVariableUsed, returnedTypes };
+  }
+  getTypeOfResultVariableAtTheEndOfSubprogram() {
+    const sourceFile = TreeQuery.getSourceFile(this.block, this.analyzer);
+    const controlFlowNodeEndingSubprogram = this.analyzer.getControlFlowGraph(sourceFile).controlFlowNodesEndingSubprogram.get(this.block.parent);
+    if (controlFlowNodeEndingSubprogram === void 0) {
+      return this.analyzer.originalStandardTypes.unresolved;
+    }
+    const typeNarrower = new TypeNarrower(
+      this.analyzer,
+      new NarrowableReference.LocalVariable(this.analyzer, this.resultVariable),
+      sourceFile.package.locale,
+      this.resultVariable.getType(),
+      controlFlowNodeEndingSubprogram
+    );
+    return typeNarrower.getType();
+  }
+};
+
 // source/entities/source/SourceFunctionEntity.ts
 var PackageFunctionDeclarationEntity = class {
   constructor(analyzer, node) {
@@ -52381,6 +52843,9 @@ var PackageFunctionDeclarationEntity = class {
   getName() {
     return this.name;
   }
+  getNaming() {
+    return new EntityNaming_named(this.name);
+  }
   getContainingPackage() {
     return TreeQuery.getPackageEntity(this.node, this.analyzer);
   }
@@ -52449,6 +52914,9 @@ var MethodDeclarationEntity = class {
   getName() {
     return this.name;
   }
+  getNaming() {
+    return new EntityNaming_named(this.name);
+  }
   getTypeParameters() {
     return this.typeParameters.getOrInsertWith(() => this.node.typeParameterClause?.typeParameterList.typeParameters.map((t) => this.analyzer.entity.ofTypeParameterDeclaration(t)).toArray() ?? emptyTypeParameterEntities);
   }
@@ -52533,6 +53001,9 @@ var NestedFunctionDeclarationEntity = class {
   getName() {
     return this.name;
   }
+  getNaming() {
+    return new EntityNaming_named(this.name);
+  }
   getContainingPackage() {
     return TreeQuery.getPackageEntity(this.node, this.analyzer);
   }
@@ -52579,6 +53050,281 @@ var NestedFunctionDeclarationEntity = class {
 NestedFunctionDeclarationEntity = __decorateClass([
   entityToStringDecorator
 ], NestedFunctionDeclarationEntity);
+var FunctionLiteralEntity = class {
+  constructor(analyzer, node) {
+    this.analyzer = analyzer;
+    this.node = node;
+    this.kind = 1 /* Function */;
+    this.subkind = "anonymous";
+    this.isTargetTypeSet = false;
+    this.parameters = new Cached();
+    this.isInferringReturnType_ = false;
+    this.areParameterTypesSet = node.parameterClause.parameterList.parameters.all((p) => p.typeAnnotation !== void 0);
+  }
+  get isInferringReturnType() {
+    return this.isInferringReturnType_;
+  }
+  get isInferringIsAsync() {
+    return false;
+  }
+  setTargetFunctionType(type) {
+    if (!this.isTargetTypeSet) {
+      this.targetType = type;
+      this.isTargetTypeSet = true;
+      this.setParameterTypes(this.targetType);
+    } else {
+      Debug.assert(
+        this.targetType === void 0 && type === void 0 || this.targetType !== void 0 && type !== void 0 && this.targetType.equals(type),
+        "\u0414\u043B\u044F \u0431\u0435\u0437\u044B\u043C\u044F\u043D\u043D\u043E\u0439 \u0444\u0443\u043D\u043A\u0446\u0438\u0438 \u0443\u0436\u0435 \u0431\u044B\u043B \u0443\u0441\u0442\u0430\u043D\u043E\u0432\u043B\u0435\u043D \u0434\u0440\u0443\u0433\u043E\u0439 \u0446\u0435\u043B\u0435\u0432\u043E\u0439 \u0442\u0438\u043F."
+      );
+    }
+  }
+  dependsOnTargetType() {
+    return this.node.returnTypeAnnotation === void 0 || this.node.parameterClause.parameterList.parameters.any((p) => p.typeAnnotation === void 0);
+  }
+  getNaming() {
+    return new EntityNaming_anonymous();
+  }
+  getContainingPackage() {
+    return TreeQuery.getPackageEntity(this.node, this.analyzer);
+  }
+  getTypeParameters() {
+    return emptyTypeParameterEntities;
+  }
+  getParameters() {
+    return this.parameters.getOrInsertWith(() => this.node.parameterClause.parameterList.parameters.map((p) => this.analyzer.entity.ofFunctionLiteralParameterDeclarationInternal(p, this.node)).toArray());
+  }
+  getReturnType() {
+    if (this.returnType === void 0) {
+      if (this.node.returnTypeAnnotation !== void 0) {
+        this.returnType = this.analyzer.type.ofTypeSpecifier(this.node.returnTypeAnnotation.typeSpecifier);
+      } else {
+        this.ensureTargetTypeIsSet();
+        if (this.returnType === void 0) {
+          if (this.targetType !== void 0 && this.node.block.expressionOrStatementList.kind !== 93 /* StatementList */ && this.targetType.getReturnType().isNullType) {
+            this.returnType = this.analyzer.getLocalizedStandardTypes(this.node.locale).nullType;
+          } else {
+            this.ensureParameterTypesAreSet();
+            this.returnType = this.analyzer.includeNullToType(
+              this.analyzer.getLocalizedStandardTypes(this.node.locale).refObject,
+              this.node.locale
+            );
+            const returnTypeInferrer = new ReturnTypeInferrer(
+              this.analyzer,
+              this.node.block,
+              this.analyzer.resultLocalVariableEntity.ofFunctionLiteral(this.node)
+            );
+            this.isInferringReturnType_ = true;
+            this.returnType = returnTypeInferrer.infer();
+            this.isInferringReturnType_ = false;
+          }
+        }
+      }
+    }
+    return this.returnType;
+  }
+  getDefinition() {
+    return { kind: 0 /* Source */, node: this.node };
+  }
+  isAsync() {
+    return this.node.asyncKeyword !== void 0;
+  }
+  isHidden() {
+    return void 0;
+  }
+  getTags() {
+    return emptyTags;
+  }
+  getTypeParametersArity() {
+    return this.getTypeParameters().length;
+  }
+  getSubstitutionApplicationMode() {
+    return 1 /* SubstituteOwnSubstitutionsAndMerge */;
+  }
+  getTranslation() {
+    return void 0;
+  }
+  getLocale() {
+    return this.node.locale;
+  }
+  getDialect() {
+    return this.node.dialect;
+  }
+  getOriginalEntity() {
+    return this;
+  }
+  ensureParameterTypesAreSet() {
+    if (!this.areParameterTypesSet) {
+      this.ensureTargetTypeIsSet();
+      if (!this.areParameterTypesSet) {
+        this.setParameterTypes(this.targetType);
+      }
+    }
+  }
+  ensureTargetTypeIsSet() {
+    if (!this.isTargetTypeSet) {
+      const targetType = this.analyzer.getTargetTypeOfExpression(this.node);
+      if (!this.isTargetTypeSet) {
+        const targetFunctionType = this.analyzer.getUnambiguousTargetFunctionType(targetType);
+        this.targetType = targetFunctionType;
+        this.isTargetTypeSet = true;
+      }
+    }
+  }
+  setParameterTypes(targetType) {
+    const parametersOfTargetType = targetType?.getParameters();
+    let i = 0;
+    for (const parameterEntity2 of this.getParameters()) {
+      const type = parametersOfTargetType?.[i]?.getType() ?? this.analyzer.originalStandardTypes.unresolved;
+      parameterEntity2.setTypeIfHasNoTypeSpecifier(type);
+      i++;
+    }
+  }
+};
+FunctionLiteralEntity = __decorateClass([
+  entityToStringDecorator
+], FunctionLiteralEntity);
+var FunctionBlockLiteralEntity = class {
+  constructor(analyzer, node) {
+    this.analyzer = analyzer;
+    this.node = node;
+    this.kind = 1 /* Function */;
+    this.subkind = "anonymous";
+    this.isTargetTypeSet = false;
+    this.isInferringReturnType_ = false;
+    this.isInferringIsAsync_ = false;
+  }
+  get isInferringReturnType() {
+    return this.isInferringReturnType_;
+  }
+  get isInferringIsAsync() {
+    return this.isInferringIsAsync_;
+  }
+  setTargetFunctionType(type) {
+    if (!this.isTargetTypeSet) {
+      this.targetType = type;
+      this.isTargetTypeSet = true;
+      this.parameters = this.createParameters(this.targetType);
+    } else {
+      Debug.assert(
+        this.targetType === void 0 && type === void 0 || this.targetType !== void 0 && type !== void 0 && this.targetType.equals(type),
+        "\u0414\u043B\u044F \u0431\u0435\u0437\u044B\u043C\u044F\u043D\u043D\u043E\u0439 \u0444\u0443\u043D\u043A\u0446\u0438\u0438 \u0443\u0436\u0435 \u0431\u044B\u043B \u0443\u0441\u0442\u0430\u043D\u043E\u0432\u043B\u0435\u043D \u0434\u0440\u0443\u0433\u043E\u0439 \u0446\u0435\u043B\u0435\u0432\u043E\u0439 \u0442\u0438\u043F."
+      );
+    }
+  }
+  dependsOnTargetType() {
+    return true;
+  }
+  getNaming() {
+    return new EntityNaming_anonymous();
+  }
+  getContainingPackage() {
+    return TreeQuery.getPackageEntity(this.node, this.analyzer);
+  }
+  getTypeParameters() {
+    return emptyTypeParameterEntities;
+  }
+  getParameters() {
+    this.ensureParametersAreCreated();
+    Debug.assertNotNull(this.parameters);
+    return this.parameters;
+  }
+  getReturnType() {
+    if (this.returnType === void 0) {
+      this.ensureTargetTypeIsSet();
+      if (this.returnType === void 0) {
+        if (this.targetType !== void 0 && this.node.block.expressionOrStatementList.kind !== 93 /* StatementList */ && this.targetType.getReturnType().isNullType) {
+          this.returnType = this.analyzer.getLocalizedStandardTypes(this.node.locale).nullType;
+        } else {
+          this.ensureParametersAreCreated();
+          this.returnType = this.analyzer.includeNullToType(
+            this.analyzer.getLocalizedStandardTypes(this.node.locale).refObject,
+            this.node.locale
+          );
+          const returnTypeInferrer = new ReturnTypeInferrer(
+            this.analyzer,
+            this.node.block,
+            this.analyzer.resultLocalVariableEntity.ofFunctionBlockLiteral(this.node)
+          );
+          this.isInferringReturnType_ = true;
+          this.returnType = returnTypeInferrer.infer();
+          this.isInferringReturnType_ = false;
+        }
+      }
+    }
+    return this.returnType;
+  }
+  getDefinition() {
+    return { kind: 0 /* Source */, node: this.node };
+  }
+  isAsync() {
+    if (this.isAsync_ === void 0) {
+      this.ensureParametersAreCreated();
+      if (this.isAsync_ === void 0) {
+        this.isAsync_ = true;
+        this.isInferringIsAsync_ = true;
+        this.isAsync_ = this.analyzer.checkBlockCallsAsyncMethods(this.node.block);
+        this.isInferringIsAsync_ = false;
+      }
+    }
+    return this.isAsync_;
+  }
+  isHidden() {
+    return void 0;
+  }
+  getTags() {
+    return emptyTags;
+  }
+  getTypeParametersArity() {
+    return this.getTypeParameters().length;
+  }
+  getSubstitutionApplicationMode() {
+    return 1 /* SubstituteOwnSubstitutionsAndMerge */;
+  }
+  getTranslation() {
+    return void 0;
+  }
+  getLocale() {
+    return this.node.locale;
+  }
+  getDialect() {
+    return this.node.dialect;
+  }
+  getOriginalEntity() {
+    return this;
+  }
+  ensureParametersAreCreated() {
+    if (this.parameters === void 0) {
+      this.ensureTargetTypeIsSet();
+      if (this.parameters === void 0) {
+        this.parameters = this.createParameters(this.targetType);
+      }
+    }
+  }
+  ensureTargetTypeIsSet() {
+    if (!this.isTargetTypeSet) {
+      const targetType = this.analyzer.getTargetTypeOfExpression(this.node);
+      if (!this.isTargetTypeSet) {
+        const targetFunctionType = this.analyzer.getUnambiguousTargetFunctionType(targetType);
+        this.targetType = targetFunctionType;
+        this.isTargetTypeSet = true;
+      }
+    }
+  }
+  createParameters(targetType) {
+    return targetType?.getParameters().map((p) => new IntrinsicParameterEntity(
+      p.getEntity().getName(),
+      p.getType(),
+      this.getContainingPackage(),
+      p.isOptional(),
+      p.isVariadic(),
+      new ImplicitFunctionBlockParameterSpecialVariableEntityInfo(p, this.node)
+    )) ?? [];
+  }
+};
+FunctionBlockLiteralEntity = __decorateClass([
+  entityToStringDecorator
+], FunctionBlockLiteralEntity);
 
 // source/entities/source/SourceFunctionTypeEntity.ts
 var PackageFunctionTypeDeclarationEntity = class {
@@ -55106,7 +55852,7 @@ var ParameterDeclarationEntity = class {
       case 51 /* OperatorDeclaration */:
         return this.analyzer.entity.ofOperatorDeclaration(containingDeclaration);
       case 65 /* FunctionLiteral */:
-        return TreeQuery.getPackageEntity(this.node, this.analyzer);
+        return this.analyzer.entity.ofFunctionLiteral(containingDeclaration);
       default:
         Debug.never(containingDeclaration);
     }
@@ -55260,21 +56006,29 @@ var FunctionLiteralParameterDeclarationEntity = class {
     this.functionLiteral = functionLiteral2;
     this.kind = 0 /* Variable */;
     this.subkind = "parameter";
-    this.type = new Cached();
     this.parameterIndex = functionLiteral2.parameterClause.parameterList.parameters.indexOf(node);
     Debug.assert(this.parameterIndex >= 0);
     this.name = analyzer.createNameFromIdentifier(node.name);
   }
+  setTypeIfHasNoTypeSpecifier(type) {
+    if (this.node.typeAnnotation === void 0) {
+      this.type = type;
+    }
+  }
   getName() {
     return this.name;
   }
   getType() {
-    return this.type.getOrInsertWith(() => {
-      const literalType = this.analyzer.type.ofExpression(this.functionLiteral);
-      Debug.assert(literalType.kind === "function");
-      const parameterType = literalType.getParameters().at(this.parameterIndex)?.getType();
-      return parameterType ?? this.analyzer.originalStandardTypes.unresolved;
-    });
+    if (this.type === void 0) {
+      if (this.node.typeAnnotation !== void 0) {
+        this.type = this.analyzer.type.ofTypeSpecifier(this.node.typeAnnotation.typeSpecifier);
+      } else {
+        this.getContainingFunctionLiteralEntity().ensureParameterTypesAreSet();
+        Debug.assertNotNull(this.type);
+        Debug.cast(this.type);
+      }
+    }
+    return this.type;
   }
   getDefinition() {
     return { kind: 0 /* Source */, value: { kind: "single", node: this.node } };
@@ -55298,7 +56052,7 @@ var FunctionLiteralParameterDeclarationEntity = class {
     return this.analyzer.tags.ofNodeWithTags(this.node);
   }
   getContainingEntity() {
-    return TreeQuery.getPackageEntity(this.node, this.analyzer);
+    return this.getContainingFunctionLiteralEntity();
   }
   getContainingPackage() {
     return TreeQuery.getPackageEntity(this.node, this.analyzer);
@@ -55321,6 +56075,9 @@ var FunctionLiteralParameterDeclarationEntity = class {
   getOriginalEntity() {
     return this;
   }
+  getContainingFunctionLiteralEntity() {
+    return this.analyzer.entity.ofFunctionLiteralInternal(this.functionLiteral);
+  }
 };
 FunctionLiteralParameterDeclarationEntity = __decorateClass([
   entityToStringDecorator
@@ -58105,7 +58862,7 @@ var EmitterContext = class {
   isAspectTypeEntity(entity) {
     return entity.typeOrExtensionKind === 0 /* StructuredType */ && entity.details.structuredTypeKind === 2 /* Aspect */;
   }
-  *enumerateAllOverriddenMembers(entity) {
+  *allOverriddenMembers(entity) {
     if (entity.details.overriddenMembers.length === 0) {
       return;
     }
@@ -58366,12 +59123,12 @@ var EntityFinder = class _EntityFinder {
   findPackageFunctionEntity(keyText) {
     const key = this.parsePackageFunctionEntityKey(keyText);
     const originalEntity = this.findOriginalPackageFunctionEntityByParsedKey(key, keyText);
-    return this.ectx.entityMap.getFunctionEntity(originalEntity);
+    return this.ectx.entityMap.getNamedFunctionEntity(originalEntity);
   }
   findMethodEntity(keyText) {
     const key = this.parseMethodEntityKey(keyText);
     const originalEntity = this.findOriginalMethodEntityByParsedKey(key, keyText);
-    return this.ectx.entityMap.getFunctionEntity(originalEntity);
+    return this.ectx.entityMap.getNamedFunctionEntity(originalEntity);
   }
   findConstructorEntity(keyText) {
     const key = this.parseConstructorEntityKey(keyText);
@@ -58636,7 +59393,7 @@ var EntityMap = class _EntityMap {
     }
     return result;
   }
-  getFunctionEntity(entity) {
+  getNamedFunctionEntity(entity) {
     entity = entity.getOriginalEntity();
     let result = this.functions.get(entity);
     if (result === void 0) {
@@ -58647,7 +59404,7 @@ var EntityMap = class _EntityMap {
         linkedEntity = this.analyzer.linkedEntity.ofMethod(entity, this.targetPlatform);
       }
       if (linkedEntity !== void 0) {
-        result = this.getFunctionEntity(linkedEntity);
+        result = this.getNamedFunctionEntity(linkedEntity);
         this.functions.set(entity, result);
       } else {
         result = new MappedFunctionEntity(entity, 0 /* RegularFunction */);
@@ -58665,11 +59422,11 @@ var EntityMap = class _EntityMap {
           result.details.isStatic = entity.isStatic();
           result.details.isAbstract = TypeMemberEntity.isAbstract(entity);
           result.details.isBasic = TypeMemberEntity.isBasic(entity);
-          result.details.overriddenMembers = entity.getOverriddenMembers().map((m) => this.getFunctionEntity(m.getEntity()));
+          result.details.overriddenMembers = entity.getOverriddenMembers().map((m) => this.getNamedFunctionEntity(m.getEntity()));
           if (result.ifTypeMemberThenContainingType.typeOrExtensionKind === 1 /* AliasType */ && entity.markedBasic()) {
             const realBasicMethod = this.analyzer.getBasicMethodOfOriginalTypeForBasicMethodOfAliasType(entity);
             if (realBasicMethod !== void 0) {
-              result.details.ifBasicAliasTypeMethodThenRealMethod = this.getFunctionEntity(realBasicMethod);
+              result.details.ifBasicAliasTypeMethodThenRealMethod = this.getNamedFunctionEntity(realBasicMethod);
             }
           }
           if (result.containingPackage.details.isJavaScriptPackage !== void 0 && this.analyzer.isEnumeratorMethodSignature(entity)) {
@@ -59159,7 +59916,7 @@ var EntityMap = class _EntityMap {
           result.push(this.getVariableEntity(member));
           break;
         case 1 /* Function */:
-          result.push(this.getFunctionEntity(member));
+          result.push(this.getNamedFunctionEntity(member));
           break;
         default:
           Debug.never(member);
@@ -59261,8 +60018,8 @@ var EntityMap = class _EntityMap {
           _EntityMap.implicitImplementationMemberKindsMismatchErrorMessage
         );
         return {
-          abstractMember: this.getFunctionEntity(abstractMemberEntity),
-          implementingMember: this.getFunctionEntity(implementingMemberEntity)
+          abstractMember: this.getNamedFunctionEntity(abstractMemberEntity),
+          implementingMember: this.getNamedFunctionEntity(implementingMemberEntity)
         };
       }
       case 9 /* Operator */: {
@@ -61970,7 +62727,7 @@ var GeneralLoweringContext = class {
     return this.inlineJsFunction_.getOrInsertWith(() => this.ectx.entityFinder.findPackageFunctionEntity(WellKnownDeclarationKeys.inlineJsFunction));
   }
   get enumeratorMethod() {
-    return this.enumeratorMethod_.getOrInsertWith(() => this.ectx.entityMap.getFunctionEntity(this.ectx.analyzer.originalWellKnownDeclarations.enumeratorMethod));
+    return this.enumeratorMethod_.getOrInsertWith(() => this.ectx.entityMap.getNamedFunctionEntity(this.ectx.analyzer.originalWellKnownDeclarations.enumeratorMethod));
   }
   get errorConstructor() {
     return this.errorConstructor_.getOrInsertWith(() => this.ectx.entityFinder.findConstructorEntity(WellKnownDeclarationKeys.errorConstructor));
@@ -62002,7 +62759,7 @@ var GeneralLoweringContext = class {
   get translatorLanguageField() {
     return this.translatorLanguageField_.getOrInsertWith(() => this.ectx.entityFinder.findFieldEntity(WellKnownDeclarationKeys.translatorLanguageField));
   }
-  *enumerateDeclarations() {
+  *declarationsOfAllPackages() {
     for (const pkg2 of this.packages) {
       yield* __yieldStar(pkg2.ir.declarations);
     }
@@ -62366,7 +63123,7 @@ var ImplicitImplementationLowering = class {
     this.ctx = ctx;
   }
   lower() {
-    for (const declaration of this.ctx.enumerateDeclarations()) {
+    for (const declaration of this.ctx.declarationsOfAllPackages()) {
       if (declaration.kind === 23 /* PackageTypeDeclaration */) {
         const implicitImplementations = declaration.entity.details.implicitlyImplementedAbstractMembersByImplementingMember;
         if (implicitImplementations.size > 0) {
@@ -62765,7 +63522,7 @@ var AspectsLowering = class {
       return void 0;
     }
     const result = new Array();
-    for (const overriddenMember of this.ctx.ectx.enumerateAllOverriddenMembers(entity)) {
+    for (const overriddenMember of this.ctx.ectx.allOverriddenMembers(entity)) {
       if (overriddenMember.ifTypeMemberThenContainingType !== void 0 && this.ctx.ectx.isAspectTypeEntity(overriddenMember.ifTypeMemberThenContainingType)) {
         result.push(overriddenMember);
       }
@@ -62983,7 +63740,7 @@ var AliasTypeAndExtensionLowering = class {
     this.ctx = ctx;
   }
   lower() {
-    for (const declaration of this.ctx.enumerateDeclarations()) {
+    for (const declaration of this.ctx.declarationsOfAllPackages()) {
       if (!(declaration.kind === 23 /* PackageTypeDeclaration */ && (declaration.entity.typeOrExtensionKind === 1 /* AliasType */ || declaration.entity.typeOrExtensionKind === 5 /* TypeExtension */))) {
         continue;
       }
@@ -63313,7 +64070,7 @@ var PlainObjectConstructorsLowering = class {
     this.ctx = ctx;
   }
   lower() {
-    for (const declaration of this.ctx.enumerateDeclarations()) {
+    for (const declaration of this.ctx.declarationsOfAllPackages()) {
       if (!(declaration.kind === 23 /* PackageTypeDeclaration */ && declaration.entity.typeOrExtensionKind === 0 /* StructuredType */ && declaration.entity.details.structuredTypeKind === 1 /* PlainObject */)) {
         continue;
       }
@@ -63398,7 +64155,7 @@ var OverloadedConstructorsLowering = class {
   }
   lower() {
     const groupByOriginalConstructor = /* @__PURE__ */ new Map();
-    for (const declaration of this.ctx.enumerateDeclarations()) {
+    for (const declaration of this.ctx.declarationsOfAllPackages()) {
       if (!(declaration.kind === 23 /* PackageTypeDeclaration */ && declaration.entity.typeOrExtensionKind === 0 /* StructuredType */ && declaration.entity.details.structuredTypeKind === 0 /* RefObject */)) {
         continue;
       }
@@ -63636,7 +64393,7 @@ var MiscLowering = class {
     }
   }
   static addMissingCallsOfBaseConstructorsWithoutParameters(ctx) {
-    for (const declaration of ctx.enumerateDeclarations()) {
+    for (const declaration of ctx.declarationsOfAllPackages()) {
       if (!(declaration.kind === 23 /* PackageTypeDeclaration */ && declaration.entity.baseObjectType !== void 0)) {
         continue;
       }
@@ -64115,7 +64872,7 @@ var VariableProxyLowering = class {
   }
   lower() {
     const proxyVariableByOriginal = /* @__PURE__ */ new Map();
-    for (const declaration of this.ctx.enumerateDeclarations()) {
+    for (const declaration of this.ctx.declarationsOfAllPackages()) {
       if (!(declaration.kind === 23 /* PackageTypeDeclaration */ && declaration.entity.typeOrExtensionKind === 0 /* StructuredType */)) {
         continue;
       }
@@ -65723,7 +66480,7 @@ var IrBuilder = class {
       return void 0;
     }
     const originalEntity = this.analyzer.entity.ofPackageFunctionDeclaration(declaration);
-    const entity = this.entityMap.getFunctionEntity(originalEntity);
+    const entity = this.entityMap.getNamedFunctionEntity(originalEntity);
     const parameters = this.buildParameterList(declaration.parameterClause.parameterList);
     const body = this.buildFunctionBlockOfFunction(
       declaration.block,
@@ -66104,7 +66861,7 @@ var IrBuilder = class {
       return void 0;
     }
     const originalEntity = this.analyzer.entity.ofMethodDeclaration(declaration);
-    const entity = this.entityMap.getFunctionEntity(originalEntity);
+    const entity = this.entityMap.getNamedFunctionEntity(originalEntity);
     const decorators = this.buildDecorators(declaration.tagList);
     const parameters = this.buildParameterList(declaration.parameterClause.parameterList);
     const body = this.buildFunctionBlockOfFunction(
@@ -66252,7 +67009,7 @@ var IrBuilder = class {
     if (checkResult.kind === "ok" && checkResult.value.ifTypeDoesNotImplementEnumerableThenEnumeratorMethod !== void 0) {
       const method = checkResult.value.ifTypeDoesNotImplementEnumerableThenEnumeratorMethod;
       ifExpressionIsNotEnumerableThenEnumeratorMethod = accessedFunction(
-        this.entityMap.getFunctionEntity(method.getEntity()),
+        this.entityMap.getNamedFunctionEntity(method.getEntity()),
         this.entityMap.getType(method.getReturnType())
       );
     }
@@ -66305,7 +67062,7 @@ var IrBuilder = class {
       this.analyzer.resultLocalVariableEntity.ofNestedFunctionDeclaration(statement.declaration)
     );
     const originalEntity = this.analyzer.entity.ofNestedFunctionDeclaration(declaration);
-    const entity = this.entityMap.getFunctionEntity(originalEntity);
+    const entity = this.entityMap.getNamedFunctionEntity(originalEntity);
     const isAsync = this.analyzer.entity.ofNestedFunctionDeclaration(declaration).isAsync();
     this.buildAndSaveTypeIfIsAnonymousTypeSpecifier(declaration.returnTypeAnnotation?.typeSpecifier);
     return nestedFunctionDeclarationStatement(
@@ -66665,7 +67422,7 @@ var IrBuilder = class {
         if (expression.expression.kind === 88 /* BaseExpression */) {
           const meaning2 = this.analyzer.resolveBaseExpression(expression.expression).meaning;
           if (meaning2.kind === "overridden-method-access") {
-            const entity = this.entityMap.getFunctionEntity(meaning2.method.getEntity());
+            const entity = this.entityMap.getNamedFunctionEntity(meaning2.method.getEntity());
             const returnType2 = this.entityMap.getType(meaning2.method.getReturnType());
             receiver = methodAccessExpression(
               baseExpression(),
@@ -66846,21 +67603,21 @@ var IrBuilder = class {
       expression.block,
       this.analyzer.resultLocalVariableEntity.ofFunctionLiteral(expression)
     );
-    const type = this.analyzer.type.ofFunctionLiteral(expression);
-    const isAsync = type.isAsync();
-    const returnType = this.entityMap.getType(type.getReturnType());
+    const originalEntity = this.analyzer.entity.ofFunctionLiteral(expression);
+    const isAsync = originalEntity.isAsync();
+    const returnType = this.entityMap.getType(originalEntity.getReturnType());
     this.buildAndSaveTypeIfIsAnonymousTypeSpecifier(expression.returnTypeAnnotation?.typeSpecifier);
     return functionLiteral(parameters, body, isAsync, returnType, this.getSourceLocation(expression));
   }
   buildFunctionBlockLiteral(expression) {
-    const parameters = this.analyzer.getFunctionBlockLiteralParameters(expression).map((p) => parameterDeclaration(this.entityMap.getVariableEntity(p), void 0, false));
+    const originalEntity = this.analyzer.entity.ofFunctionBlockLiteral(expression);
+    const parameters = originalEntity.getParameters().map((p) => parameterDeclaration(this.entityMap.getVariableEntity(p), void 0, false));
     const body = this.buildFunctionBlockOfFunction(
       expression.block,
       this.analyzer.resultLocalVariableEntity.ofFunctionBlockLiteral(expression)
     );
-    const type = this.analyzer.type.ofFunctionBlockLiteral(expression);
-    const isAsync = type.isAsync();
-    const returnType = this.entityMap.getType(type.getReturnType());
+    const isAsync = originalEntity.isAsync();
+    const returnType = this.entityMap.getType(originalEntity.getReturnType());
     return functionLiteral(parameters, body, isAsync, returnType, this.getSourceLocation(expression));
   }
   buildParenthesizedExpression(expression) {
@@ -66919,7 +67676,7 @@ var IrBuilder = class {
           Logger.errorAtNode("Ambiguous method access.", expression);
           return textLiteral("Ambiguous method access.");
         }
-        const entity = this.entityMap.getFunctionEntity(func.getEntity());
+        const entity = this.entityMap.getNamedFunctionEntity(func.getEntity());
         const returnType = this.entityMap.getType(func.getReturnType());
         const isCallee = this.expressionIsCallee(expression);
         return functionAccessExpression(
@@ -66958,7 +67715,7 @@ var IrBuilder = class {
         const typeEntity = this.getEntityFromType(meaning.type);
         const typeAccess = typeAccessExpression(typeEntity);
         const isCallee = this.expressionIsCallee(expression);
-        const entity = this.entityMap.getFunctionEntity(method.getEntity());
+        const entity = this.entityMap.getNamedFunctionEntity(method.getEntity());
         const returnType = this.entityMap.getType(method.getReturnType());
         return methodAccessExpression(
           typeAccess,
@@ -67001,7 +67758,7 @@ var IrBuilder = class {
           const expressionIr = this.buildExpression(expression.expression);
           const isOptionalAccess = expression.expression.kind === 62 /* AssumptionExpression */;
           const isCallee = this.expressionIsCallee(expression);
-          const entity = this.entityMap.getFunctionEntity(originalFunctionEntity);
+          const entity = this.entityMap.getNamedFunctionEntity(originalFunctionEntity);
           const returnType = this.entityMap.getType(method.getReturnType());
           return methodAccessExpression(
             expressionIr,
@@ -67280,7 +68037,7 @@ var IrBuilder = class {
           receiver = this.createExplicitReceiver(originalEntity);
         }
         const isCallee = this.expressionIsCallee(expression);
-        const entity = this.entityMap.getFunctionEntity(originalEntity);
+        const entity = this.entityMap.getNamedFunctionEntity(originalEntity);
         const returnType = this.entityMap.getType(suitableFunction.getReturnType());
         return receiver !== void 0 ? methodAccessExpression(
           receiver,
@@ -67395,7 +68152,7 @@ var IrBuilder = class {
   }
   buildTagAsDecorator(tag, func) {
     const args = tag.argumentList !== void 0 ? this.buildArgumentList(tag.argumentList, func.getEntity().getParameters()) : orderedArguments([], false);
-    const entity = this.entityMap.getFunctionEntity(func.getEntity());
+    const entity = this.entityMap.getNamedFunctionEntity(func.getEntity());
     const returnType = this.entityMap.getType(func.getReturnType());
     const functionCall = functionCallExpression(
       accessedFunction(entity, returnType),
@@ -68977,12 +69734,12 @@ var Emitter = class _Emitter {
   static {
     this.IndexFileName = "index.mjs";
   }
-  emitToFileSystem(outputUri, outputAcceptor, cancellationToken = void 0) {
+  emitToFileSystem(outputUri, outputAcceptor, taskController) {
     return __async(this, null, function* () {
       PerformanceMeasurement.markStart(2 /* Emitting */);
       const declarationsUsageInfo = yield this.analyzer.collectDeclarationsUsageOfPackages(
         this.targetPlatform,
-        cancellationToken
+        taskController
       );
       const emitterPackages = Query.from(this.enumerateEmittingSourcePackages()).map((p) => this.createEmitterPackageFromSource(p, declarationsUsageInfo)).toArray();
       const generalLowering = new GeneralLowering(this.ectx, emitterPackages);
@@ -69017,12 +69774,12 @@ var Emitter = class _Emitter {
       PerformanceMeasurement.markEnd();
     });
   }
-  emitToString(cancellationToken = void 0) {
+  emitToString(taskController) {
     return __async(this, null, function* () {
       PerformanceMeasurement.markStart(2 /* Emitting */);
       const declarationsUsageInfo = yield this.analyzer.collectDeclarationsUsageOfPackages(
         this.targetPlatform,
-        cancellationToken
+        taskController
       );
       const emitterPackages = Query.from(this.enumerateEmittingSourcePackages()).map((p) => this.createEmitterPackageFromSource(p, declarationsUsageInfo)).toArray();
       const generalLowering = new GeneralLowering(this.ectx, emitterPackages);
@@ -69054,7 +69811,7 @@ var Emitter = class _Emitter {
   }
   enumerateEmittingSourcePackages() {
     const packageGraph = new SourcePackageDependencyGraph(this.analyzer);
-    return Query.from(packageGraph.enumeratePackages(this.targetPlatform)).filter((p) => p.kind === "program" && !p.configuration.isInterfacePackage() || p.kind === "text-translation");
+    return Query.from(packageGraph.packagesForTargetPlatform(this.targetPlatform)).filter((p) => p.kind === "program" && !p.configuration.isInterfacePackage() || p.kind === "text-translation");
   }
   createPackageWithMainFunction(packages, mainSourcePackage) {
     const packageEntity2 = packageEntity("Launch", mainSourcePackage.locale, true, false);
@@ -70104,10 +70861,8 @@ export {
   isNonEmptyArray,
   Option,
   Result,
-  ThrottledCancellationToken,
   TreeQuery,
   TypeMemberQuery,
-  traverseTreeWithCancellationToken,
   traverseTree,
   TraversalController,
   Uri,
@@ -70116,7 +70871,8 @@ export {
   setUserLocale,
   WithDiagnostics_ok,
   WithDiagnostics_error,
-  yieldExecution,
+  TaskController,
+  yieldTask,
   Diagnostic,
   DiagnosticLocation,
   DiagnosticAcceptorWithArgumentFactory,
@@ -70195,6 +70951,7 @@ export {
   isNamedTypeMemberEntity,
   isEntityWithTypeParameters,
   isEntityWithParameters,
+  isNamedFunctionEntity,
   EntityContext,
   entityToStringDecorator,
   EntityHidingLevel_type,
@@ -70254,9 +71011,15 @@ export {
   modifierToModifierFlag,
   DereferenceOperatorDeclarationEntity,
   DestructorDeclarationEntity,
+  NodeTypeUtils,
+  visitChildren,
+  visitChildrenRecursively,
+  isNarrowableReferenceExpression,
   PackageFunctionDeclarationEntity,
   MethodDeclarationEntity,
   NestedFunctionDeclarationEntity,
+  FunctionLiteralEntity,
+  FunctionBlockLiteralEntity,
   PackageFunctionTypeDeclarationEntity,
   AnonymousFunctionTypeDeclarationEntity,
   PackageVariableGetterDeclarationEntity,
@@ -70314,7 +71077,6 @@ export {
   TextTranslationDeclarationEntity,
   SourceTypeExtensionEntity,
   SourceTypeParameterEntity,
-  NodeTypeUtils,
   PackageVariableDeclarationEntity,
   ComputedPackageVariableDeclarationEntity,
   FieldDeclarationEntity,
@@ -70355,9 +71117,6 @@ export {
   AccessedFunctionParameter,
   ImportedPackageNameTree,
   PackageMemberLookup,
-  visitChildren,
-  visitChildrenRecursively,
-  isNarrowableReferenceExpression,
   SourceFileMembers,
   semantic_context_exports,
   Analyzer12 as Analyzer,
@@ -70381,7 +71140,7 @@ export {
   ExpressionDenotesOperatorCheckResult,
   DeclaredTypeMemberEntities,
   ExpressionAnalysisOptions2 as ExpressionAnalysisOptions,
-  DiagnosticCollector,
+  SourceFileAnalyzer,
   SourcePackageDependencyGraph,
   WellKnownDeclarationsLoadError,
   LocalizedWellKnownDeclarations,