oxlint-plugin-react-doctor 0.9.2-dev.c6bdd2d → 0.9.2-dev.d6f02bb

package/dist/index.js

@@ -18012,14 +18012,6 @@ const findRenderPhaseComponentOrHook = (node, scopes) => {
 //#region src/plugin/utils/is-event-handler-attribute.ts
 const isEventHandlerAttribute = (node) => isNodeOfType(node, "JSXAttribute") && isNodeOfType(node.name, "JSXIdentifier") && /^on[A-Z]/.test(node.name.name);
 //#endregion
-//#region src/plugin/utils/is-early-exit-statement.ts
-const isEarlyExitStatement$1 = (statement) => {
-	if (!statement) return false;
-	if (statementAlwaysExits$1(statement)) return true;
-	if (isNodeOfType(statement, "BlockStatement")) return isEarlyExitStatement$1(statement.body.at(-1));
-	return isNodeOfType(statement, "ContinueStatement") || isNodeOfType(statement, "BreakStatement");
-};
-//#endregion
 //#region src/plugin/utils/is-ast-descendant.ts
 /**
 * True when `inner` is `outer` itself or any descendant in the AST
@@ -18238,15 +18230,13 @@ const isSynchronousIteratorCall = (callNode, callbackArgument, scopes) => {
 	}
 	return Boolean(methodName && EAGER_ITERATOR_METHOD_NAMES.has(methodName) && callNode.arguments[0] === callbackArgument && !isProvablyEmptyEagerCollection(callee.object, scopes) && (methodName === "forEach" ? isProvablyEagerForEachCollection(callee.object, scopes) : isProvablyEagerCollection(callee.object, scopes)));
 };
-const isSynchronousIteratorCallbackCall = (callNode, callbackArgument) => {
-	const callee = stripParenExpression(callNode.callee);
-	if (!isNodeOfType(callee, "MemberExpression") || callee.computed || !isNodeOfType(callee.property, "Identifier")) return false;
-	if (isNodeOfType(callee.object, "Identifier") && callee.object.name === "Array" && callee.property.name === "from") return callNode.arguments[1] === callbackArgument;
-	return SYNCHRONOUS_ITERATOR_METHOD_NAMES$2.has(callee.property.name) && callNode.arguments[0] === callbackArgument;
-};
 const isSynchronousIteratorCallback = (functionNode) => {
 	const callNode = functionNode.parent;
-	return Boolean(isNodeOfType(callNode, "CallExpression") && isSynchronousIteratorCallbackCall(callNode, functionNode));
+	if (!isNodeOfType(callNode, "CallExpression")) return false;
+	const callee = stripParenExpression(callNode.callee);
+	if (!isNodeOfType(callee, "MemberExpression") || callee.computed || !isNodeOfType(callee.property, "Identifier")) return false;
+	if (isNodeOfType(callee.object, "Identifier") && callee.object.name === "Array" && callee.property.name === "from") return callNode.arguments[1] === functionNode;
+	return SYNCHRONOUS_ITERATOR_METHOD_NAMES$2.has(callee.property.name) && callNode.arguments[0] === functionNode;
 };
 //#endregion
 //#region src/plugin/utils/is-within-assignment-target.ts
@@ -18366,35 +18356,11 @@ const resolveEventListenerCaptureValueIdentityKey = (expression, context) => {
 	const rightIdentityKey = resolveEventListenerCaptureValueIdentityKey(unwrappedExpression.right, context);
 	return leftIdentityKey && rightIdentityKey ? `${unwrappedExpression.type}:${unwrappedExpression.operator}:${leftIdentityKey}:${rightIdentityKey}` : null;
 };
-const resolveReadOnlyEventListenerOptions = (optionsNode, context) => {
-	const unwrappedOptions = stripParenExpression(optionsNode);
-	if (!isNodeOfType(unwrappedOptions, "Identifier")) return resolveStableValue(unwrappedOptions, context);
-	const optionsSymbol = context.scopes.symbolFor(unwrappedOptions);
-	const initializer = optionsSymbol?.initializer ? stripParenExpression(optionsSymbol.initializer) : null;
-	if (!optionsSymbol || !initializer) return resolveStableValue(unwrappedOptions, context);
-	if (!isNodeOfType(initializer, "ObjectExpression")) {
-		if (isNodeOfType(initializer, "Identifier") || isNodeOfType(initializer, "MemberExpression")) return null;
-		return resolveStableValue(unwrappedOptions, context);
-	}
-	if (optionsSymbol.kind !== "const") return null;
-	return optionsSymbol.references.every((reference) => {
-		if (reference.flag !== "read" || isWithinAssignmentTarget(reference.identifier)) return false;
-		const referenceRoot = findTransparentExpressionRoot(reference.identifier);
-		const callNode = referenceRoot.parent;
-		if (!isNodeOfType(callNode, "CallExpression") || callNode.arguments[2] !== referenceRoot) return false;
-		const callee = stripParenExpression(callNode.callee);
-		if (!isNodeOfType(callee, "MemberExpression")) return false;
-		const methodName = getStaticPropertyKeyName(callee);
-		return methodName === "addEventListener" || methodName === "removeEventListener";
-	}) ? initializer : null;
-};
 const resolveEventListenerCaptureIdentityKey = (optionsNode, context, allowOpaqueOptionsIdentity) => {
-	const stableOptionsNode = optionsNode ? resolveReadOnlyEventListenerOptions(optionsNode, context) : null;
-	if (optionsNode && !stableOptionsNode) return null;
-	const capture = resolveEventListenerCapture(stableOptionsNode, { allowIndeterminateEntries: true });
+	const capture = resolveEventListenerCapture(optionsNode, { allowIndeterminateEntries: true });
 	if (capture !== null) return `capture:${String(capture)}`;
-	if (!stableOptionsNode) return null;
-	const unwrappedOptions = stripParenExpression(stableOptionsNode);
+	if (!optionsNode) return null;
+	const unwrappedOptions = stripParenExpression(optionsNode);
 	if (!isNodeOfType(unwrappedOptions, "ObjectExpression")) {
 		const optionsKey = allowOpaqueOptionsIdentity ? resolveEventListenerCaptureValueIdentityKey(unwrappedOptions, context) : null;
 		return optionsKey ? `options:${optionsKey}` : null;
@@ -18441,8 +18407,12 @@ const doEventListenerCapturesMatch = (registrationOptions, releaseOptions, conte
 	return registrationCaptureKey !== null && registrationCaptureKey === resolveEventListenerCaptureIdentityKey(releaseOptions, context, allowOpaqueOptionsIdentity);
 };
 const findAssignedResourceKey = (resourceNode, context) => {
-	const currentNode = findTransparentExpressionRoot(resourceNode);
-	const parentNode = currentNode.parent;
+	let currentNode = resourceNode;
+	let parentNode = currentNode.parent;
+	while (isNodeOfType(parentNode, "ChainExpression")) {
+		currentNode = parentNode;
+		parentNode = currentNode.parent;
+	}
 	if (isNodeOfType(parentNode, "VariableDeclarator") && parentNode.init === currentNode) return resolveExpressionKey(parentNode.id, context);
 	if (isNodeOfType(parentNode, "AssignmentExpression") && parentNode.right === currentNode) return resolveExpressionKey(parentNode.left, context);
 	return null;
@@ -18713,18 +18683,6 @@ const resolveIteratorCollectionKey = (expression, context) => {
 	}
 	return null;
 };
-const resolveReceiverIteratorCollectionKey = (expression, context) => {
-	if (!expression) return null;
-	const unwrappedExpression = stripParenExpression(expression);
-	if (!isNodeOfType(unwrappedExpression, "Identifier")) return null;
-	const collectionExpression = findForOfStatementForIteratorExpression(unwrappedExpression, context)?.right;
-	if (!collectionExpression) return null;
-	const collectionIdentifier = stripParenExpression(collectionExpression);
-	if (!isNodeOfType(collectionIdentifier, "Identifier") || !isPrivatePlainConstIdentifier(collectionIdentifier, context)) return null;
-	const collectionSymbol = context.scopes.symbolFor(collectionIdentifier);
-	const initializer = collectionSymbol?.initializer ? stripParenExpression(collectionSymbol.initializer) : null;
-	return collectionSymbol && isNodeOfType(initializer, "ArrayExpression") && hasOnlyReplayableCollectionReferences(collectionIdentifier, context, /* @__PURE__ */ new Set()) ? `symbol:${collectionSymbol.id}` : null;
-};
 const isStableLoopReceiver = (expression, context) => {
 	if (!expression) return false;
 	const unwrappedExpression = stripParenExpression(expression);
@@ -19495,28 +19453,6 @@ const isFunctionReturnedFromReactHook = (functionNode, context, requireRefProper
 	});
 };
 const isFunctionUsedAsReactRef = (functionNode, context) => isFunctionForwardedToReactRef(functionNode, context) || isFunctionReturnedFromReactHook(functionNode, context, true);
-const findCallbackRefReplacementReleaseGuard = (releaseCall, ownerFunction, releaseReceiverKey, registrationReceiverKey, context) => {
-	let descendant = releaseCall;
-	let ancestor = descendant.parent;
-	while (ancestor && ancestor !== ownerFunction) {
-		if (isNodeOfType(ancestor, "IfStatement") && ancestor.consequent === descendant && ancestor.alternate === null) {
-			const test = stripParenExpression(ancestor.test);
-			if (!isNodeOfType(test, "LogicalExpression") || test.operator !== "&&") return null;
-			const operands = [stripParenExpression(test.left), stripParenExpression(test.right)];
-			const hasLiveReceiverTest = operands.some((operand) => doesTestRequireLiveExpressionKey(operand, releaseReceiverKey, context));
-			const hasDifferentReceiverTest = operands.some((operand) => {
-				if (!isNodeOfType(operand, "BinaryExpression") || operand.operator !== "!==" && operand.operator !== "!=") return false;
-				const leftKey = resolveExpressionKey(operand.left, context);
-				const rightKey = resolveExpressionKey(operand.right, context);
-				return leftKey === releaseReceiverKey && rightKey === registrationReceiverKey || rightKey === releaseReceiverKey && leftKey === registrationReceiverKey;
-			});
-			return hasLiveReceiverTest && hasDifferentReceiverTest ? ancestor : null;
-		}
-		descendant = ancestor;
-		ancestor = descendant.parent;
-	}
-	return null;
-};
 const isReactRefListenerReplacementRelease = (releaseCall, usage, context) => {
 	if (!isNodeOfType(usage.node, "CallExpression")) return false;
 	const usageFunction = findEnclosingFunction$1(usage.node);
@@ -19537,7 +19473,7 @@ const isReactRefListenerReplacementRelease = (releaseCall, usage, context) => {
 		if (child !== usageFunctionBody && isFunctionLike$1(child)) return false;
 		if (isNodeOfType(child, "AssignmentExpression") && child.operator === "=" && resolveReactRefSymbol(stripParenExpression(child.left), context.scopes)?.id === releaseRefSymbol.id && resolveExpressionKey(child.right, context) === registrationReceiverKey && releaseStart !== null && (getRangeStart(child) ?? -1) > releaseStart) matchingOwnershipAssignments.push(child);
 	});
-	const releaseAnchor = findLiveExpressionGuardForRelease(releaseCall, usageFunction, releaseReceiverKey, context) ?? findCallbackRefReplacementReleaseGuard(releaseCall, usageFunction, releaseReceiverKey, registrationReceiverKey, context) ?? releaseCall;
+	const releaseAnchor = findLiveExpressionGuardForRelease(releaseCall, usageFunction, releaseReceiverKey, context) ?? releaseCall;
 	const safeOwnershipAssignments = matchingOwnershipAssignments.filter((assignment) => doMatchingNodesCoverEveryPathBeforeUsage(assignment, [releaseAnchor], usageFunction, context));
 	return doNodesCoverEveryPathFromFunctionEntry(usageFunction, [releaseAnchor], context) && doMatchingNodesCoverEveryPathBeforeUsage(usage.node, safeOwnershipAssignments, usageFunction, context);
 };
@@ -19687,21 +19623,14 @@ const doesReleaseCallMatchUsage = (node, usage, context) => {
 	if (usage.kind === "socket") return usage.handleKey !== null && releaseReceiverKey === usage.handleKey && (SOCKET_RELEASE_VERB_NAMES.has(releaseVerbName) || UNIVERSAL_RELEASE_VERB_NAMES.has(releaseVerbName));
 	if (usage.handleKey !== null && releaseReceiverKey === usage.handleKey && (releaseVerbName === "unsubscribe" || releaseVerbName === "unsub" || releaseVerbName === "close" || releaseVerbName === "unwatch" || releaseVerbName === "unlisten" || BOUND_RESOURCE_RELEASE_METHOD_NAMES.has(releaseVerbName))) return true;
 	if (releaseVerbName === "abort" && releaseReceiverKey === getListenerAbortControllerKey(usage, context)) return true;
+	if (usage.registrationVerbName === "addListener" && isNodeOfType(usage.node, "CallExpression") && usage.node.arguments?.length === 1) return isProvenLegacyMediaQueryListMethodCall(usage.node, "addListener", context) && releaseVerbName === "removeListener" && isProvenLegacyMediaQueryListMethodCall(callNode, "removeListener", context) && usage.receiverKey !== null && resolveStableMediaQueryListenerIdentityKey(callee.object, context) === usage.receiverKey && usage.handlerKey !== null && resolveStableMediaQueryListenerIdentityKey(callNode.arguments?.[0], context) === usage.handlerKey;
 	if (releaseVerbName === "abort" && isRetainedAbortControllerRefRelease(callee.object, usage, context)) return true;
-	if (usage.registrationVerbName === "addListener" && releaseVerbName === "removeListener" && isNodeOfType(usage.node, "CallExpression") && usage.node.arguments?.length === 1) {
-		if (callNode.arguments?.length !== 1) return false;
-		const registrationHandler = resolveStableValue(usage.node.arguments[0], context);
-		if (!isProvenLegacyMediaQueryListMethodCall(usage.node, "addListener", context) && !isFunctionLike$1(registrationHandler)) return false;
-	}
 	if (usage.registrationVerbName === "addEventListener" && releaseVerbName === "removeEventListener" && isNodeOfType(usage.node, "CallExpression")) {
 		if (!isNodeOfType(stripParenExpression(usage.node.callee), "MemberExpression")) return false;
 		if (!doEventListenerCapturesMatch(usage.node.arguments?.[2], callNode.arguments?.[2], context, true)) return false;
 	}
 	if (isNodeOfType(usage.node, "CallExpression") && !hasSafeForEachProjectionCleanup(usage.node, callNode, context)) return false;
-	const registrationCallee = isNodeOfType(usage.node, "CallExpression") ? stripParenExpression(usage.node.callee) : null;
-	const registrationReceiverCollectionKey = isNodeOfType(registrationCallee, "MemberExpression") ? resolveReceiverIteratorCollectionKey(registrationCallee.object, context) : null;
-	const releaseReceiverCollectionKeyForPair = resolveReceiverIteratorCollectionKey(callee.object, context);
-	if (!(registrationReceiverCollectionKey !== null && registrationReceiverCollectionKey === releaseReceiverCollectionKeyForPair) && (usage.receiverKey === null || releaseReceiverKey !== usage.receiverKey)) return false;
+	if (usage.receiverKey === null || releaseReceiverKey !== usage.receiverKey) return false;
 	if (usage.registrationVerbName === "subscribe" && (releaseVerbName === "unsubscribe" || releaseVerbName === "unsub") && usage.handleKey !== null && resolveExpressionKey(callNode.arguments?.[0], context) === usage.handleKey) return true;
 	const pairedVerbNames = usage.registrationVerbName ? PAIRED_RELEASE_VERB_NAMES_BY_REGISTRATION_VERB.get(usage.registrationVerbName) : null;
 	if (!pairedVerbNames || !matchesPairedReleaseVerb(releaseVerbName, pairedVerbNames)) return false;
@@ -19738,7 +19667,7 @@ const doesReleaseCallMatchUsage = (node, usage, context) => {
 		const usesUnaryListenerSignatureForCalls = isNodeOfType(usage.node, "CallExpression") && usesUnaryListenerSignature(usage.node, callNode);
 		const releaseHandler = usesUnaryListenerSignatureForCalls ? callNode.arguments?.[0] : callNode.arguments?.[1];
 		if (!releaseHandler) return releaseVerbName === "off";
-		const expectedHandlerKey = usesUnaryListenerSignatureForCalls ? usage.handlerKey ?? usage.eventKey : usage.handlerKey;
+		const expectedHandlerKey = usesUnaryListenerSignatureForCalls ? usage.eventKey : usage.handlerKey;
 		const registrationHandler = isNodeOfType(usage.node, "CallExpression") ? usage.node.arguments?.[usesUnaryListenerSignatureForCalls ? 0 : 1] : null;
 		return expectedHandlerKey !== null && resolveResourceIdentityKey(releaseHandler, context) === expectedHandlerKey || registrationHandler !== null && resolveStableValue(releaseHandler, context) === resolveStableValue(registrationHandler, context);
 	}
@@ -20212,7 +20141,6 @@ const findRetainedFunctionLeak = (retainedFunction, context, options) => {
 	walkAst(body, (child) => {
 		if (leak !== null) return false;
 		if (isFunctionLike$1(child)) return false;
-		if (!isNodeReachableWithinFunction(child, context)) return false;
 		if (isSocketConstruction(child) && !doesResourceResultEscape(child, allowReturnedSocketEscape, false, context)) {
 			const socketUsage = {
 				kind: "socket",
@@ -20465,164 +20393,6 @@ const isInlineRetainedHandlerFunction = (functionNode, context) => {
 	const objectParent = objectExpression.parent;
 	return (isNodeOfType(objectParent, "CallExpression") && objectParent.arguments.some((argument) => argument === objectExpression) || isNodeOfType(objectParent, "JSXExpressionContainer")) && findRenderPhaseComponentOrHook(parentNode, context.scopes) !== null;
 };
-const readInvocationArgumentValue = (expression, context) => {
-	if (!expression) return {
-		isDefinitelyUndefined: true,
-		truthiness: "falsy"
-	};
-	const target = stripParenExpression(expression);
-	if (isNodeOfType(target, "Literal")) return {
-		isDefinitelyUndefined: false,
-		truthiness: target.value ? "truthy" : "falsy"
-	};
-	if (isNodeOfType(target, "Identifier") && target.name === "undefined" && context.scopes.isGlobalReference(target)) return {
-		isDefinitelyUndefined: true,
-		truthiness: "falsy"
-	};
-	if (isNodeOfType(target, "UnaryExpression") && target.operator === "void") return {
-		isDefinitelyUndefined: true,
-		truthiness: "falsy"
-	};
-	if (isNodeOfType(target, "ArrayExpression") || isNodeOfType(target, "ArrowFunctionExpression") || isNodeOfType(target, "ClassExpression") || isNodeOfType(target, "FunctionExpression") || isNodeOfType(target, "NewExpression") || isNodeOfType(target, "ObjectExpression")) return {
-		isDefinitelyUndefined: false,
-		truthiness: "truthy"
-	};
-	return {
-		isDefinitelyUndefined: false,
-		truthiness: "unknown"
-	};
-};
-const readInvocationConditionTruthiness = (expression, parameterValues, context) => {
-	const target = stripParenExpression(expression);
-	const atomicValue = readInvocationArgumentValue(target, context);
-	if (atomicValue.truthiness !== "unknown") return atomicValue.truthiness;
-	if (isNodeOfType(target, "Identifier")) {
-		const symbol = context.scopes.symbolFor(target);
-		return symbol ? parameterValues.get(symbol.id)?.truthiness ?? "unknown" : "unknown";
-	}
-	if (isNodeOfType(target, "UnaryExpression") && target.operator === "!") {
-		const argumentTruthiness = readInvocationConditionTruthiness(target.argument, parameterValues, context);
-		return argumentTruthiness === "truthy" ? "falsy" : argumentTruthiness === "falsy" ? "truthy" : "unknown";
-	}
-	if (isNodeOfType(target, "LogicalExpression")) {
-		const leftTruthiness = readInvocationConditionTruthiness(target.left, parameterValues, context);
-		const rightTruthiness = readInvocationConditionTruthiness(target.right, parameterValues, context);
-		if (target.operator === "&&") {
-			if (leftTruthiness === "falsy" || rightTruthiness === "falsy") return "falsy";
-			return leftTruthiness === "truthy" && rightTruthiness === "truthy" ? "truthy" : "unknown";
-		}
-		if (target.operator === "||") {
-			if (leftTruthiness === "truthy" || rightTruthiness === "truthy") return "truthy";
-			return leftTruthiness === "falsy" && rightTruthiness === "falsy" ? "falsy" : "unknown";
-		}
-		return "unknown";
-	}
-	if (isNodeOfType(target, "ConditionalExpression")) {
-		const testTruthiness = readInvocationConditionTruthiness(target.test, parameterValues, context);
-		if (testTruthiness === "truthy") return readInvocationConditionTruthiness(target.consequent, parameterValues, context);
-		if (testTruthiness === "falsy") return readInvocationConditionTruthiness(target.alternate, parameterValues, context);
-		const consequentTruthiness = readInvocationConditionTruthiness(target.consequent, parameterValues, context);
-		return consequentTruthiness === readInvocationConditionTruthiness(target.alternate, parameterValues, context) ? consequentTruthiness : "unknown";
-	}
-	if (isNodeOfType(target, "CallExpression") && isNodeOfType(target.callee, "Identifier") && target.callee.name === "Boolean" && context.scopes.isGlobalReference(target.callee) && target.arguments[0] && isAstNode(target.arguments[0])) return readInvocationConditionTruthiness(target.arguments[0], parameterValues, context);
-	return "unknown";
-};
-const getInvocationParameterValues = (retainedFunction, invocation, leakNode, context) => {
-	const parameterValues = /* @__PURE__ */ new Map();
-	if (!isFunctionLike$1(retainedFunction) || !invocation.isDirect) return parameterValues;
-	for (const [parameterIndex, parameter] of retainedFunction.params.entries()) {
-		const argument = invocation.call.arguments[parameterIndex];
-		const argumentExpression = argument && isAstNode(argument) ? argument : null;
-		let parameterIdentifier = null;
-		let parameterValue = readInvocationArgumentValue(argumentExpression, context);
-		if (isNodeOfType(parameter, "Identifier")) parameterIdentifier = parameter;
-		else if (isNodeOfType(parameter, "AssignmentPattern") && isNodeOfType(parameter.left, "Identifier")) {
-			parameterIdentifier = parameter.left;
-			if (parameterValue.isDefinitelyUndefined) parameterValue = readInvocationArgumentValue(parameter.right, context);
-		} else if (isNodeOfType(parameter, "RestElement") && isNodeOfType(parameter.argument, "Identifier")) {
-			parameterIdentifier = parameter.argument;
-			parameterValue = {
-				isDefinitelyUndefined: false,
-				truthiness: "truthy"
-			};
-		}
-		if (!parameterIdentifier) continue;
-		const parameterSymbol = context.scopes.symbolFor(parameterIdentifier);
-		if (!parameterSymbol) continue;
-		const isWrittenBeforeLeak = parameterSymbol.references.some((reference) => reference.flag !== "read" && reference.identifier.range[0] < leakNode.range[0]);
-		parameterValues.set(parameterSymbol.id, isWrittenBeforeLeak ? {
-			isDefinitelyUndefined: false,
-			truthiness: "unknown"
-		} : parameterValue);
-	}
-	return parameterValues;
-};
-const isLeakPathDisabledForInvocation = (retainedFunction, leakNode, invocation, context) => {
-	if (!invocation.isDirect) return false;
-	const parameterValues = getInvocationParameterValues(retainedFunction, invocation, leakNode, context);
-	let child = leakNode;
-	let ancestor = leakNode.parent ?? null;
-	while (ancestor && ancestor !== retainedFunction) {
-		if (isNodeOfType(ancestor, "BlockStatement")) {
-			const childIndex = ancestor.body.findIndex((statement) => statement === child);
-			for (const precedingStatement of ancestor.body.slice(0, childIndex)) {
-				if (!isNodeOfType(precedingStatement, "IfStatement") || precedingStatement.alternate || !isEarlyExitStatement$1(precedingStatement.consequent)) continue;
-				if (readInvocationConditionTruthiness(precedingStatement.test, parameterValues, context) === "truthy") return true;
-			}
-		}
-		let requiredTruthiness = null;
-		let condition = null;
-		if (isNodeOfType(ancestor, "IfStatement")) {
-			condition = ancestor.test;
-			requiredTruthiness = ancestor.consequent === child ? "truthy" : "falsy";
-		} else if (isNodeOfType(ancestor, "ConditionalExpression")) {
-			condition = ancestor.test;
-			requiredTruthiness = ancestor.consequent === child ? "truthy" : "falsy";
-		} else if (isNodeOfType(ancestor, "LogicalExpression") && ancestor.right === child && ancestor.operator !== "??") {
-			condition = ancestor.left;
-			requiredTruthiness = ancestor.operator === "&&" ? "truthy" : "falsy";
-		} else if ((isNodeOfType(ancestor, "WhileStatement") || isNodeOfType(ancestor, "DoWhileStatement")) && ancestor.body === child) {
-			condition = ancestor.test;
-			requiredTruthiness = "truthy";
-		} else if (isNodeOfType(ancestor, "ForStatement") && ancestor.body === child && ancestor.test) {
-			condition = ancestor.test;
-			requiredTruthiness = "truthy";
-		}
-		if (condition && requiredTruthiness) {
-			const conditionTruthiness = readInvocationConditionTruthiness(condition, parameterValues, context);
-			if (conditionTruthiness !== "unknown" && conditionTruthiness !== requiredTruthiness) return true;
-		}
-		child = ancestor;
-		ancestor = ancestor.parent ?? null;
-	}
-	return false;
-};
-const getEffectRetainedInvocations = (retainedFunction, context) => {
-	if (!isFunctionLike$1(retainedFunction)) return [];
-	const componentFunction = findEnclosingFunction$1(retainedFunction);
-	if (!componentFunction || !isFunctionLike$1(componentFunction)) return [];
-	const invocations = [];
-	walkAst(componentFunction.body, (child) => {
-		if (!isNodeOfType(child, "CallExpression") || findEnclosingFunction$1(child) !== componentFunction || !isReactHookCall(child, CLEANUP_EFFECT_HOOK_NAMES, context.scopes)) return;
-		const effectCallback = getEffectCallback(child);
-		if (!effectCallback || !isFunctionLike$1(effectCallback)) return;
-		walkAst(effectCallback.body, (effectChild) => {
-			if (effectChild !== effectCallback.body && isFunctionLike$1(effectChild)) return false;
-			if (!isNodeOfType(effectChild, "CallExpression") || !isNodeReachableWithinFunction(effectChild, context)) return;
-			const isDirectInvocation = resolveRefOwnedCleanupFunction(effectChild.callee, context) === retainedFunction;
-			const isSynchronousIteratorInvocation = effectChild.arguments.some((argument) => isAstNode(argument) && resolveRefOwnedCleanupFunction(argument, context) === retainedFunction && isSynchronousIteratorCallbackCall(effectChild, argument));
-			if (isDirectInvocation) invocations.push({
-				call: effectChild,
-				isDirect: true
-			});
-			if (isSynchronousIteratorInvocation) invocations.push({
-				call: effectChild,
-				isDirect: false
-			});
-		});
-	});
-	return invocations;
-};
 const effectNeedsCleanup = defineRule({
 	id: "effect-needs-cleanup",
 	title: "Effect subscription or timer never cleaned up",
@@ -20633,19 +20403,13 @@ const effectNeedsCleanup = defineRule({
 		const reportRetainedLeak = (retainedFunction) => {
 			const refEffectUsage = getReactRefEffectUsage(retainedFunction, context);
 			if (!refEffectUsage && !isPotentiallyReachableFunction(retainedFunction, context)) return;
-			const effectInvocations = getEffectRetainedInvocations(retainedFunction, context);
-			const isEffectInvoked = effectInvocations.length > 0;
 			const leak = findRetainedFunctionLeak(retainedFunction, context, refEffectUsage ? {
 				allowReturnedResourceEscape: refEffectUsage.doesEffectOwnEveryResult,
 				allowReturnedTimerEscape: false,
 				includeOneShotTimers: true,
 				requireCallableReturnedResource: true
-			} : isEffectInvoked ? {
-				allowReturnedTimerEscape: false,
-				includeOneShotTimers: true
 			} : void 0);
 			if (!leak) return;
-			if (isEffectInvoked && leak.resourceName === "setTimeout" && (!isNodeReachableWithinFunction(leak.node, context) || isFunctionLike$1(retainedFunction) && retainedFunction.params.length > 0 && !context.cfg.isUnconditionalFromEntry(leak.node) && effectInvocations.every((invocation) => isLeakPathDisabledForInvocation(retainedFunction, leak.node, invocation, context)))) return;
 			const resourceNoun = RESOURCE_NOUN_BY_KIND[leak.kind];
 			context.report({
 				node: leak.node,
@@ -45616,6 +45380,14 @@ const noAriaInvalidWithoutDescription = defineRule({
 	} })
 });
 //#endregion
+//#region src/plugin/utils/is-early-exit-statement.ts
+const isEarlyExitStatement$1 = (statement) => {
+	if (!statement) return false;
+	if (statementAlwaysExits$1(statement)) return true;
+	if (isNodeOfType(statement, "BlockStatement")) return isEarlyExitStatement$1(statement.body.at(-1));
+	return isNodeOfType(statement, "ContinueStatement") || isNodeOfType(statement, "BreakStatement");
+};
+//#endregion
 //#region src/plugin/utils/unwrap-negative-guard-form.ts
 const unwrapNegativeGuardForm = (test) => {
 	const expression = stripParenExpression(test);
@@ -75011,29 +74783,6 @@ const doesPredicateTruthRequireMatch = (matchCall, predicateFunction) => {
 	}
 	return !isNegated && predicateFunction.body === child;
 };
-const doesPredicateReturnNormalizedMatch = (matchCall, predicateFunction) => {
-	if (!isFunctionLike$1(predicateFunction) || !isNodeOfType(predicateFunction.body, "BlockStatement") || predicateFunction.body.body.length !== 2 || !isNodeOfType(predicateFunction.body.body[0], "VariableDeclaration")) return false;
-	const returnStatement = predicateFunction.body.body[1];
-	if (!isNodeOfType(returnStatement, "ReturnStatement") || !returnStatement.argument) return false;
-	let negationCount = 0;
-	let expression = matchCall;
-	let parent = expression.parent ?? null;
-	while (parent && parent !== returnStatement) {
-		if (isNodeOfType(parent, "UnaryExpression") && parent.operator === "!") {
-			negationCount += 1;
-			expression = parent;
-			parent = parent.parent ?? null;
-			continue;
-		}
-		if (TRANSPARENT_EXPRESSION_WRAPPER_TYPES.has(parent.type) || isNodeOfType(parent, "ChainExpression")) {
-			expression = parent;
-			parent = parent.parent ?? null;
-			continue;
-		}
-		return false;
-	}
-	return parent === returnStatement && returnStatement.argument === expression && negationCount % 2 === 0;
-};
 const isStringTypeofGuardForPath = (test, expectedPath) => {
 	const target = stripParenExpression(test);
 	if (!isNodeOfType(target, "BinaryExpression") || target.operator !== "===") return false;
@@ -75074,26 +74823,6 @@ const pathUsesOptionalAccess = (node) => {
 		current = current.object;
 	}
 };
-const getNormalizedClassNameRoot = (expression) => {
-	const conditional = stripParenExpression(expression);
-	if (!isNodeOfType(conditional, "ConditionalExpression")) return null;
-	const consequent = stripParenExpression(conditional.consequent);
-	const rootIdentifier = getRootIdentifier(consequent);
-	if (!rootIdentifier || receiverPathKey(consequent) !== `${rootIdentifier.name}.className`) return null;
-	const test = stripParenExpression(conditional.test);
-	if (!isNodeOfType(test, "BinaryExpression") || test.operator !== "===") return null;
-	const testOperands = [test.left, test.right].map((operand) => stripParenExpression(operand));
-	const typeofOperand = testOperands.find((operand) => isNodeOfType(operand, "UnaryExpression"));
-	const stringOperand = testOperands.find((operand) => isNodeOfType(operand, "Literal"));
-	if (!typeofOperand || !isNodeOfType(typeofOperand, "UnaryExpression") || typeofOperand.operator !== "typeof" || receiverPathKey(typeofOperand.argument) !== `${rootIdentifier.name}.className` || !stringOperand || !isNodeOfType(stringOperand, "Literal") || stringOperand.value !== "string") return null;
-	const alternate = stripParenExpression(conditional.alternate);
-	if (!isNodeOfType(alternate, "LogicalExpression") || alternate.operator !== "??") return null;
-	const fallback = stripParenExpression(alternate.right);
-	const attributeCall = stripParenExpression(alternate.left);
-	if (!isNodeOfType(fallback, "Literal") || fallback.value !== "" || !isNodeOfType(attributeCall, "CallExpression") || !isNodeOfType(attributeCall.callee, "MemberExpression") || getStaticPropertyName(attributeCall.callee) !== "getAttribute" || receiverPathKey(attributeCall.callee.object) !== rootIdentifier.name) return null;
-	const attributeName = attributeCall.arguments[0] ? stripParenExpression(attributeCall.arguments[0]) : null;
-	return attributeName && isNodeOfType(attributeName, "Literal") && attributeName.value === "class" ? rootIdentifier : null;
-};
 const isMatchProvenByFindUpUntilPredicate = (assertion, matchReceiver, assertedPattern, context) => {
 	const resultIdentifier = getRootIdentifier(matchReceiver);
 	const resultPath = receiverPathKey(matchReceiver);
@@ -75102,17 +74831,11 @@ const isMatchProvenByFindUpUntilPredicate = (assertion, matchReceiver, assertedP
 	if (!isDirectFinderMatchReturn(assertion) && !isOptionalResultPath) return false;
 	const resultSymbol = context.scopes.symbolFor(resultIdentifier);
 	const initializer = resultSymbol?.initializer ? stripParenExpression(resultSymbol.initializer) : null;
-	if (resultSymbol?.kind !== "const" || !initializer) return false;
-	const finderCall = isNodeOfType(initializer, "CallExpression") ? initializer : isNodeOfType(initializer, "ConditionalExpression") ? (() => {
-		const alternate = stripParenExpression(initializer.alternate);
-		const consequent = stripParenExpression(initializer.consequent);
-		return (isNodeOfType(alternate, "Literal") && alternate.value === null || isNodeOfType(alternate, "Identifier") && alternate.name === "undefined" && context.scopes.isGlobalReference(alternate)) && isNodeOfType(consequent, "CallExpression") ? consequent : null;
-	})() : null;
-	if (!finderCall || !isNodeOfType(finderCall, "CallExpression")) return false;
+	if (resultSymbol?.kind !== "const" || !initializer || !isNodeOfType(initializer, "CallExpression")) return false;
 	if (!isOptionalResultPath && !isImmediatelyGuardedFinderResult(assertion, resultSymbol, resultPath, context)) return false;
-	const finderCallee = stripParenExpression(finderCall.callee);
+	const finderCallee = stripParenExpression(initializer.callee);
 	if (!isNodeOfType(finderCallee, "Identifier") || !(context.scopes.symbolFor(finderCallee)?.kind === "import" && getImportedNameFromModule(assertion, finderCallee.name, CLOUDSCAPE_DOM_MODULE) === "findUpUntil" || finderCallee.name === "findUpUntil" && context.scopes.isGlobalReference(finderCallee))) return false;
-	const predicateArgument = finderCall.arguments[1];
+	const predicateArgument = initializer.arguments[1];
 	if (!predicateArgument) return false;
 	const predicateFunction = resolveExactLocalFunction(predicateArgument, context.scopes);
 	if (!predicateFunction || !isFunctionLike$1(predicateFunction)) return false;
@@ -75136,43 +74859,6 @@ const isMatchProvenByFindUpUntilPredicate = (assertion, matchReceiver, assertedP
 	});
 	return didProveMatch;
 };
-const isMatchProvenByNormalizedFindUpUntilPredicate = (assertion, matchReceiver, assertedPattern, context) => {
-	const normalizedReceiver = stripParenExpression(matchReceiver);
-	if (!isNodeOfType(normalizedReceiver, "Identifier")) return false;
-	const normalizedReceiverSymbol = context.scopes.symbolFor(normalizedReceiver);
-	const normalizedReceiverInitializer = normalizedReceiverSymbol?.initializer ? stripParenExpression(normalizedReceiverSymbol.initializer) : null;
-	const resultIdentifier = normalizedReceiverInitializer ? getNormalizedClassNameRoot(normalizedReceiverInitializer) : null;
-	if (normalizedReceiverSymbol?.kind !== "const" || normalizedReceiverSymbol.references.some((reference) => reference.flag !== "read") || !resultIdentifier) return false;
-	const resultSymbol = context.scopes.symbolFor(resultIdentifier);
-	const finderCall = resultSymbol?.initializer ? stripParenExpression(resultSymbol.initializer) : null;
-	if (resultSymbol?.kind !== "const" || resultSymbol.references.some((reference) => reference.flag !== "read") || !finderCall || !isNodeOfType(finderCall, "CallExpression")) return false;
-	const finderCallee = stripParenExpression(finderCall.callee);
-	if (!isNodeOfType(finderCallee, "Identifier") || context.scopes.symbolFor(finderCallee)?.kind !== "import" || getImportedNameFromModule(assertion, finderCallee.name, CLOUDSCAPE_DOM_MODULE) !== "findUpUntil") return false;
-	if (!isPresenceProvenBeforeNode(assertion, (test) => {
-		const expression = stripParenExpression(test);
-		return isNodeOfType(expression, "Identifier") && context.scopes.symbolFor(expression)?.id === resultSymbol.id;
-	})) return false;
-	const predicateArgument = finderCall.arguments[1];
-	const predicateFunction = predicateArgument ? resolveExactLocalFunction(predicateArgument, context.scopes) : null;
-	if (!predicateFunction || !isFunctionLike$1(predicateFunction) || predicateFunction.async || predicateFunction.generator) return false;
-	const predicateParameter = predicateFunction.params[0];
-	if (!isNodeOfType(predicateParameter, "Identifier")) return false;
-	let didProveNormalizedMatch = false;
-	walkAst(predicateFunction.body, (child) => {
-		if (didProveNormalizedMatch || isFunctionLike$1(child)) return false;
-		if (!isNodeOfType(child, "CallExpression") || !isNodeOfType(child.callee, "MemberExpression") || getStaticPropertyName(child.callee) !== "match" || !child.arguments[0] || !areRegexPatternsEquivalent(child.arguments[0], assertedPattern, context) || !doesPredicateTruthRequireMatch(child, predicateFunction) && !doesPredicateReturnNormalizedMatch(child, predicateFunction)) return;
-		const predicateReceiver = stripParenExpression(child.callee.object);
-		if (!isNodeOfType(predicateReceiver, "Identifier")) return;
-		const predicateReceiverSymbol = context.scopes.symbolFor(predicateReceiver);
-		const predicateReceiverInitializer = predicateReceiverSymbol?.initializer ? stripParenExpression(predicateReceiverSymbol.initializer) : null;
-		const predicateRoot = predicateReceiverInitializer ? getNormalizedClassNameRoot(predicateReceiverInitializer) : null;
-		if (predicateReceiverSymbol?.kind === "const" && predicateReceiverSymbol.references.every((reference) => reference.flag === "read") && predicateRoot?.name === predicateParameter.name) {
-			didProveNormalizedMatch = true;
-			return false;
-		}
-	});
-	return didProveNormalizedMatch;
-};
 const scopeProvesFindMatch = (assertion, findReceiver, findPredicate, context) => {
 	if (!isStablePredicate(findPredicate, context)) return false;
 	return isPresenceProvenBeforeNode(assertion, (test) => testPositivelyContainsCall(test, (call) => {
@@ -75273,123 +74959,6 @@ const isEnsureThenFind = (assertion, findReceiver, findPredicate) => {
 	}
 	return false;
 };
-const getReceiverRootIdentifier = (node) => {
-	let target = stripParenExpression(node);
-	while (isNodeOfType(target, "MemberExpression")) target = stripParenExpression(target.object);
-	return isNodeOfType(target, "Identifier") ? target : null;
-};
-const getReceiverStatePath = (node) => {
-	const target = stripParenExpression(node);
-	if (isNodeOfType(target, "Identifier")) return target.name;
-	if (!isNodeOfType(target, "MemberExpression")) return null;
-	const objectPath = getReceiverStatePath(target.object);
-	if (!objectPath) return null;
-	return `${objectPath}.${getStaticPropertyName(target) ?? "*"}`;
-};
-const doesReceiverStateChangeBeforeAssertion = (ownerFunction, receiver, startOffset, assertion, context) => {
-	const receiverRoot = getReceiverRootIdentifier(receiver);
-	const receiverSymbol = receiverRoot ? context.scopes.symbolFor(receiverRoot) : null;
-	const receiverPath = getReceiverStatePath(receiver);
-	if (!receiverRoot || !receiverSymbol || !receiverPath) return true;
-	const receiverAliasPaths = new Map([[receiverSymbol.id, receiverRoot.name]]);
-	let didAddAlias = true;
-	while (didAddAlias) {
-		didAddAlias = false;
-		walkAst(ownerFunction, (child) => {
-			if (child !== ownerFunction && isFunctionLike$1(child)) return false;
-			if (!isNodeOfType(child, "VariableDeclarator") || !isNodeOfType(child.id, "Identifier") || !child.init) return;
-			const initializer = stripParenExpression(child.init);
-			if (!isNodeOfType(initializer, "Identifier") && !isNodeOfType(initializer, "MemberExpression")) return;
-			const initializerRoot = getReceiverRootIdentifier(initializer);
-			const initializerSymbol = initializerRoot ? context.scopes.symbolFor(initializerRoot) : null;
-			const initializerBasePath = initializerSymbol ? receiverAliasPaths.get(initializerSymbol.id) : null;
-			const initializerPath = getReceiverStatePath(initializer);
-			if (!initializerRoot || !initializerBasePath || !initializerPath) return;
-			const aliasSymbol = context.scopes.symbolFor(child.id);
-			if (aliasSymbol && !receiverAliasPaths.has(aliasSymbol.id)) {
-				const initializerSuffix = initializerPath.slice(initializerRoot.name.length);
-				receiverAliasPaths.set(aliasSymbol.id, `${initializerBasePath}${initializerSuffix}`);
-				didAddAlias = true;
-			}
-		});
-	}
-	let didChangeReceiverState = false;
-	walkAst(ownerFunction, (child) => {
-		if (didChangeReceiverState) return false;
-		if (child !== ownerFunction && isFunctionLike$1(child)) return false;
-		if (child.range[0] <= startOffset || child.range[0] >= assertion.range[0]) return;
-		if (isNodeOfType(child, "CallExpression")) {
-			didChangeReceiverState = true;
-			return false;
-		}
-		const mutationTarget = isNodeOfType(child, "AssignmentExpression") || isNodeOfType(child, "UpdateExpression") || isNodeOfType(child, "UnaryExpression") && child.operator === "delete" ? stripParenExpression(isNodeOfType(child, "AssignmentExpression") ? child.left : child.argument) : null;
-		const mutationRoot = mutationTarget ? getReceiverRootIdentifier(mutationTarget) : null;
-		const mutationSymbol = mutationRoot ? context.scopes.symbolFor(mutationRoot) : null;
-		const mutationBasePath = mutationSymbol ? receiverAliasPaths.get(mutationSymbol.id) : null;
-		const mutationPath = mutationTarget ? getReceiverStatePath(mutationTarget) : null;
-		if (mutationRoot && mutationBasePath && mutationPath) {
-			const canonicalMutationPath = `${mutationBasePath}${mutationPath.slice(mutationRoot.name.length)}`;
-			if (canonicalMutationPath !== receiverPath && !canonicalMutationPath.startsWith(`${receiverPath}.`) && !receiverPath.startsWith(`${canonicalMutationPath}.`)) return;
-			didChangeReceiverState = true;
-			return false;
-		}
-	});
-	return didChangeReceiverState;
-};
-const isFindProvenByGuardedMaximum = (assertion, findReceiver, findPredicate, context) => {
-	const findLookup = findEqualityLookupParts(findPredicate);
-	const maximumIdentifier = findLookup ? stripParenExpression(findLookup.comparedValue) : null;
-	if (!findLookup || !maximumIdentifier || !isNodeOfType(maximumIdentifier, "Identifier")) return false;
-	const maximumSymbol = context.scopes.symbolFor(maximumIdentifier);
-	const maximumInitializer = maximumSymbol?.initializer ? stripParenExpression(maximumSymbol.initializer) : null;
-	if (maximumSymbol?.kind !== "const" || maximumSymbol.references.some((reference) => reference.flag !== "read") || !maximumInitializer || !isNodeOfType(maximumInitializer, "CallExpression") || !isNodeOfType(maximumInitializer.callee, "MemberExpression") || getStaticPropertyName(maximumInitializer.callee) !== "reduce") return false;
-	const filterCall = stripParenExpression(maximumInitializer.callee.object);
-	if (!isNodeOfType(filterCall, "CallExpression") || !isNodeOfType(filterCall.callee, "MemberExpression") || getStaticPropertyName(filterCall.callee) !== "filter" || !areNodesLooselyEqual(filterCall.callee.object, findReceiver)) return false;
-	const filterPredicate = filterCall.arguments[0] ? stripParenExpression(filterCall.arguments[0]) : null;
-	if (!filterPredicate || !isStablePredicate(filterPredicate, context)) return false;
-	const reducerArgument = maximumInitializer.arguments[0] ? stripParenExpression(maximumInitializer.arguments[0]) : null;
-	const reducerFunction = reducerArgument ? resolveExactLocalFunction(reducerArgument, context.scopes) : null;
-	const initialValue = maximumInitializer.arguments[1] ? stripParenExpression(maximumInitializer.arguments[1]) : null;
-	if (!reducerFunction || !isFunctionLike$1(reducerFunction) || reducerFunction.async || reducerFunction.generator || !initialValue || !isNodeOfType(initialValue, "Literal") || typeof initialValue.value !== "number") return false;
-	const accumulatorParameter = reducerFunction.params[0];
-	const itemParameter = reducerFunction.params[1];
-	const reducerBody = singleExpressionPredicateBody(reducerFunction);
-	if (!isNodeOfType(accumulatorParameter, "Identifier") || !isNodeOfType(itemParameter, "Identifier") || !reducerBody || !isNodeOfType(reducerBody, "CallExpression") || !isNodeOfType(reducerBody.callee, "MemberExpression") || getStaticPropertyName(reducerBody.callee) !== "max") return false;
-	const mathReceiver = stripParenExpression(reducerBody.callee.object);
-	if (!isNodeOfType(mathReceiver, "Identifier") || mathReceiver.name !== "Math" || !context.scopes.isGlobalReference(mathReceiver) || reducerBody.arguments.length !== 2) return false;
-	const accumulatorArgument = reducerBody.arguments.find((argument) => {
-		const expression = stripParenExpression(argument);
-		return isNodeOfType(expression, "Identifier") && expression.name === accumulatorParameter.name;
-	});
-	const itemMemberArgument = reducerBody.arguments.find((argument) => {
-		const expression = stripParenExpression(argument);
-		const rootIdentifier = getRootIdentifier(expression);
-		return isNodeOfType(expression, "MemberExpression") && rootIdentifier?.name === itemParameter.name && receiverPathKey(expression)?.slice(itemParameter.name.length + 1) === findLookup.propertyName;
-	});
-	if (!accumulatorArgument || !itemMemberArgument) return false;
-	if (!receiverPathKey(findReceiver)) return false;
-	let ownerFunction = assertion.parent ?? null;
-	while (ownerFunction && !isFunctionLike$1(ownerFunction)) ownerFunction = ownerFunction.parent ?? null;
-	if (!ownerFunction || !isFunctionLike$1(ownerFunction)) return false;
-	const maximumEnd = maximumInitializer.range[1];
-	if (doesReceiverStateChangeBeforeAssertion(ownerFunction.body, findReceiver, maximumEnd, assertion, context)) return false;
-	return isPresenceProvenBeforeNode(assertion, (test) => {
-		const comparison = stripParenExpression(test);
-		if (!isNodeOfType(comparison, "BinaryExpression")) return false;
-		return [[
-			comparison.left,
-			comparison.right,
-			comparison.operator
-		], [
-			comparison.right,
-			comparison.left,
-			comparison.operator === "<" ? ">" : comparison.operator === ">" ? "<" : comparison.operator
-		]].some(([candidateMaximum, candidateInitial, operator]) => {
-			const candidateMaximumIdentifier = stripParenExpression(candidateMaximum);
-			return operator === ">" && isNodeOfType(candidateMaximumIdentifier, "Identifier") && context.scopes.symbolFor(candidateMaximumIdentifier)?.id === maximumSymbol.id && areNodesLooselyEqual(stripParenExpression(candidateInitial), initialValue);
-		});
-	});
-};
 const isDefinitelyNonNullishMapValue = (value) => {
 	if (!value) return false;
 	const expression = stripParenExpression(value);
@@ -75413,15 +74982,15 @@ const unwrapFalseBooleanGuard = (test) => {
 };
 const isEnsureThenMapGet = (assertion, receiver, lookupKey, context) => {
 	const stableLookupKey = stripParenExpression(lookupKey);
-	const lookupKeyRoot = isNodeOfType(stableLookupKey, "MemberExpression") ? getRootIdentifier(stableLookupKey) : null;
-	const lookupKeySymbol = isNodeOfType(stableLookupKey, "Identifier") ? context.scopes.symbolFor(stableLookupKey) : lookupKeyRoot ? context.scopes.symbolFor(lookupKeyRoot) : null;
-	if (!isNodeOfType(stableLookupKey, "Identifier") && !isNodeOfType(stableLookupKey, "Literal") && (!isNodeOfType(stableLookupKey, "MemberExpression") || !lookupKeyRoot || lookupKeySymbol?.kind !== "const")) return false;
+	if (!isNodeOfType(stableLookupKey, "Identifier") && !isNodeOfType(stableLookupKey, "Literal")) return false;
 	const receiverSymbol = context.scopes.symbolFor(receiver);
 	if (!receiverSymbol) return false;
 	const receiverMatches = (candidate) => {
 		const target = stripParenExpression(candidate);
 		return isNodeOfType(target, "Identifier") && context.scopes.symbolFor(target)?.id === receiverSymbol.id;
 	};
+	const lookupKeyExpression = stripParenExpression(lookupKey);
+	const lookupKeySymbol = isNodeOfType(lookupKeyExpression, "Identifier") ? context.scopes.symbolFor(lookupKeyExpression) : null;
 	let child = assertion;
 	let ancestor = assertion.parent ?? null;
 	while (ancestor && !isFunctionLike$1(ancestor)) {
@@ -75441,7 +75010,7 @@ const isEnsureThenMapGet = (assertion, receiver, lookupKey, context) => {
 				const populationCall = populationCalls[0];
 				if (!populationCall) continue;
 				const populationCallStart = populationCall.range[0];
-				if (Boolean(lookupKeySymbol?.references.some((reference) => reference.flag !== "read" && reference.identifier.range[0] > populationCallStart && reference.identifier.range[0] < assertion.range[0])) || Boolean(lookupKeySymbol && isNodeOfType(stableLookupKey, "MemberExpression") && subtreeWritesSymbol(ancestor, new Set([lookupKeySymbol.id]), context, void 0, assertion))) continue;
+				if (Boolean(lookupKeySymbol?.references.some((reference) => reference.flag !== "read" && reference.identifier.range[0] > populationCallStart && reference.identifier.range[0] < assertion.range[0]))) continue;
 				if (receiverSymbol.references.some((reference) => reference.flag !== "read" && reference.identifier.range[0] > populationCallStart && reference.identifier.range[0] < assertion.range[0])) continue;
 				if (!indexedRelevantCalls(ancestor).some((laterCall) => {
 					if (laterCall.range[0] <= populationCallStart || laterCall.range[0] >= assertion.range[0] || !isNodeOfType(laterCall.callee, "MemberExpression") || !receiverMatches(laterCall.callee.object)) return false;
@@ -75551,7 +75120,6 @@ const noNonNullAssertionOnMaybeUndefinedResult = defineRule({
 				const findReceiver = callee.object;
 				if (predicate && isExhaustiveLiteralTupleMapping(findReceiver, predicate, context)) return;
 				if (predicate && scopeProvesFindMatch(node, findReceiver, predicate, context)) return;
-				if (predicate && isFindProvenByGuardedMaximum(node, findReceiver, predicate, context)) return;
 				if (predicate && isEnsureThenFind(node, findReceiver, predicate)) return;
 			}
 			if (methodName === "match") {
@@ -75561,7 +75129,6 @@ const noNonNullAssertionOnMaybeUndefinedResult = defineRule({
 				const regexKey = pattern ? regexComparableKey(pattern, context) : null;
 				if (pattern && isGuardedAnchoredCharacterMatch(node, matchReceiver, pattern)) return;
 				if (pattern && regexKey && isMatchProvenByFindUpUntilPredicate(node, matchReceiver, pattern, context)) return;
-				if (pattern && regexKey && isMatchProvenByNormalizedFindUpUntilPredicate(node, matchReceiver, pattern, context)) return;
 				if (regexKey && scopeProvesMatchTested(node, regexKey, matchReceiver, context)) return;
 			}
 			if (methodName === "get") {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "oxlint-plugin-react-doctor",
-  "version": "0.9.2-dev.c6bdd2d",
+  "version": "0.9.2-dev.d6f02bb",
   "description": "React Doctor rules for oxlint.",
   "keywords": [
     "accessibility",