feat(linter/eslint): implement no-unreachable-loop rule (#23975)

## Summary

- add native `eslint/no-unreachable-loop` support
- support the ESLint `ignore` option for loop statement types
- reuse `no-unreachable`'s effective CFG reachability helper
(`effective_unreachable_blocks`)
- generate oxlint config schema/types and rule metadata

## Why

`no-unreachable-loop` is currently missing from Oxlint's ESLint rule
coverage. The rule catches loops whose body cannot reach a second
iteration, while preserving ESLint-compatible behavior for unreachable
loops and configured ignored loop types.

## Performance

The effective-reachability helper is a whole-CFG traversal. It is only
needed to recognize a loop that is dead code *after* an infinite loop;
the next-iteration search prunes infinite loops on its own. So the
analysis runs on the CFG's base reachability first and builds the
corrected map only when a loop would otherwise be reported *and* is a
static infinite loop — a rare path the common case never hits. This
keeps the rule self-contained and brings the `linter[binder.ts]` and
`linter[kitchen-sink.tsx]` benches from a ~4-5% regression down to
noise.

## AI Assistance

This PR was implemented with AI assistance.

---------

Co-authored-by: Cameron <cameron.clark@hey.com>

Author: todor-a

apps/oxlint/src-js/package/config.generated.ts

@@ -156,6 +156,7 @@ export type NoReturnAssignMode = "always" | "except-parens";
  * Controls how hoisting is handled when checking for shadowing.
  */
 export type HoistOption = "all" | "functions" | "functions-and-types" | "never" | "types";
+export type LoopType = "WhileStatement" | "DoWhileStatement" | "ForStatement" | "ForInStatement" | "ForOfStatement";
 export type NoUnusedVarsConfig = VarsOption | NoUnusedVarsOptions;
 export type VarsOption = "all" | "local";
 export type ArgsOption = "after-used" | "all" | "none";
@@ -1208,6 +1209,7 @@ export interface DummyRuleMap {
   "no-unmodified-loop-condition"?: RuleNoConfig;
   "no-unneeded-ternary"?: RuleNoConfig | [AllowWarnDeny, NoUnneededTernary];
   "no-unreachable"?: RuleNoConfig;
+  "no-unreachable-loop"?: RuleNoConfig | [AllowWarnDeny, NoUnreachableLoopConfig];
   "no-unsafe-finally"?: RuleNoConfig;
   "no-unsafe-negation"?: RuleNoConfig | [AllowWarnDeny, NoUnsafeNegation];
   "no-unsafe-optional-chaining"?: RuleNoConfig | [AllowWarnDeny, NoUnsafeOptionalChaining];
@@ -3592,6 +3594,9 @@ export interface NoUnneededTernary {
    */
   defaultAssignment?: boolean;
 }
+export interface NoUnreachableLoopConfig {
+  ignore?: LoopType[];
+}
 export interface NoUnsafeNegation {
   /**
    * The `enforceForOrderingRelations` option determines whether negation is allowed

crates/oxc_linter/src/generated/rule_runner_impls.rs

@@ -175,6 +175,7 @@ pub(crate) mod eslint {
     pub mod no_unmodified_loop_condition;
     pub mod no_unneeded_ternary;
     pub mod no_unreachable;
+    pub mod no_unreachable_loop;
     pub mod no_unsafe_finally;
     pub mod no_unsafe_negation;
     pub mod no_unsafe_optional_chaining;