tsc-ts 0.1.1 → 0.1.3

package/src/compiler/checker-functions.ts

@@ -114,6 +114,7 @@ import {
 } from './checker-jsdoc.js';
 import { getEffectiveCheckNode, isFunctionLike, nodeIsMissing } from './ast-utilities.js';
 import {
+  endFlowAnalysisStop,
   getFlowTypeOfReferenceAt,
   isConstantReference,
   isReachableFlowNode,
@@ -437,6 +438,10 @@ export function checkFunctionLikeBody(c: Checker, node: Node): void {
     if (returnType !== undefined)
       checkReturnExpression(c, node, unwrapReturnType(c, returnType, functionFlags), body, body, exprType, false);
   }
+  // A body too large for control flow analysis stops narrowing in the rest of that body only
+  // (flowAnalysisDisabled, checker-narrowing.ts); what follows the body starts over. Inferring the
+  // return type above checks the body's return expressions, which can reach the limit.
+  endFlowAnalysisStop(c, body);
 }
 
 /** Checks a generator's or async function's return type annotation. */