perf(linter): skip running node-specific rule if file contains no relevant nodes (#14457)

Finally making use of the optimizations enabled by #13137. We can use the AST type bitset for each file to skip rules that only care about specific node types if the file has none of those node types.

Author: camchenry

crates/oxc_linter/src/lib.rs

@@ -173,7 +173,7 @@ impl Linter {
             .is_some_and(|ext| LINT_PARTIAL_LOADER_EXTENSIONS.contains(&ext));
 
         loop {
-            let rules = rules
+            let mut rules = rules
                 .iter()
                 .filter(|(rule, _)| rule.should_run(&ctx_host) && !rule.is_tsgolint_rule())
                 .map(|(rule, severity)| (rule, Rc::clone(&ctx_host).spawn(rule, *severity)))
@@ -184,7 +184,21 @@ impl Linter {
             let should_run_on_jest_node =
                 ctx_host.plugins().has_test() && ctx_host.frameworks().is_test();
 
-            let execute_rules = |with_runtime_optimization: bool| {
+            let mut execute_rules = |with_runtime_optimization: bool| {
+                // If only the `run` function is implemented, we can skip running the file entirely if the current
+                // file does not contain any of the relevant AST node types.
+                if with_runtime_optimization {
+                    rules.retain(|(rule, _)| {
+                        let run_info = rule.run_info();
+                        if run_info == RuleRunFunctionsImplemented::Run
+                            && let Some(ast_types) = rule.types_info()
+                        {
+                            semantic.nodes().contains_any(ast_types)
+                        } else {
+                            true
+                        }
+                    });
+                }
                 // IMPORTANT: We have two branches here for performance reasons:
                 //
                 // 1) Branch where we iterate over each node, then each rule