feat(react_compiler): vendor the React Compiler on a native oxc AST (no Babel AST)

.typos.toml

@@ -18,6 +18,10 @@ extend-exclude = [
   "crates/oxc_linter/src/rules/jsx_a11y/img_redundant_alt.rs",
   "crates/oxc_linter/src/rules/react/no_unknown_property.rs",
   "crates/oxc_parser/src/lexer/byte_handlers.rs",
+  # Vendored React Compiler core (kept close to upstream; legit short identifiers
+  # like `pn`/`oce`/`ome`/`froms` trip typos). The hand-written conversion code
+  # (`convert_*`, `lib`, ...) is not matched by this glob and stays checked.
+  "crates/oxc_react_compiler/src/react_compiler*",
   "crates/oxc_syntax/src/xml_entities.rs",
   "patches/**",
   "pnpm-lock.yaml",

Cargo.toml

@@ -1,7 +1,7 @@
 [workspace]
 resolver = "3"
 members = ["apps/*", "crates/*", "napi/*", "tasks/*"]
-exclude = ["apps/shared", "tasks/lint_rules", "tasks/e2e"]
+exclude = ["apps/shared", "tasks/lint_rules", "tasks/e2e", "tasks/react_compiler_compare"]
 
 [workspace.package]
 authors = ["Boshen <boshenc@gmail.com>", "Oxc contributors"]

crates/oxc_linter/src/context/host.rs

@@ -167,6 +167,11 @@ pub struct ContextHost<'a> {
     pub(super) config: Arc<LintConfig>,
     /// Front-end frameworks that might be in use in the target file.
     pub(super) frameworks: FrameworkFlags,
+    /// The arena that owns the parsed AST for this file. Rules that need to
+    /// allocate scratch AST nodes (e.g. the React Compiler lint rule, which runs
+    /// the compiler read-only) can reuse it instead of deep-cloning the program
+    /// into a private arena.
+    allocator: &'a oxc_allocator::Allocator,
 }
 
 impl std::fmt::Debug for ContextHost<'_> {
@@ -183,6 +188,7 @@ impl<'a> ContextHost<'a> {
         sub_hosts: Vec<ContextSubHost<'a>>,
         options: LintOptions,
         config: Arc<LintConfig>,
+        allocator: &'a oxc_allocator::Allocator,
     ) -> Self {
         const DIAGNOSTICS_INITIAL_CAPACITY: usize = 512;
 
@@ -203,6 +209,7 @@ impl<'a> ContextHost<'a> {
             file_extension,
             config,
             frameworks: options.framework_hints,
+            allocator,
         }
         .sniff_for_frameworks()
     }
@@ -228,6 +235,12 @@ impl<'a> ContextHost<'a> {
         &self.current_sub_host().semantic
     }
 
+    /// The arena that owns this file's parsed AST.
+    #[inline]
+    pub fn allocator(&self) -> &'a oxc_allocator::Allocator {
+        self.allocator
+    }
+
     /// Mutable reference to the [`Semantic`] analysis of current script block.
     #[inline]
     pub fn semantic_mut(&mut self) -> &mut Semantic<'a> {

crates/oxc_linter/src/context/mod.rs

@@ -113,6 +113,14 @@ impl<'a> LintContext<'a> {
         self.parent.module_record()
     }
 
+    /// The arena that owns this file's parsed AST. Rules that need scratch AST
+    /// allocations (e.g. the React Compiler rule) can reuse it instead of cloning
+    /// the program into a private arena.
+    #[inline]
+    pub fn allocator(&self) -> &'a oxc_allocator::Allocator {
+        self.parent.allocator()
+    }
+
     /// Get the control flow graph for the current program.
     #[inline]
     pub fn cfg(&self) -> &ControlFlowGraph {

crates/oxc_linter/src/lib.rs

@@ -367,7 +367,8 @@ impl Linter {
         let ResolvedLinterState { rules, config, external_rules } = self.config.resolve(path);
         let mut timing_recorder = TIMINGS.then(|| RuleTimingRecorder::with_capacity(rules.len()));
 
-        let mut ctx_host = Rc::new(ContextHost::new(path, context_sub_hosts, self.options, config));
+        let mut ctx_host =
+            Rc::new(ContextHost::new(path, context_sub_hosts, self.options, config, allocator));
 
         #[cfg(debug_assertions)]
         let mut current_diagnostic_index = 0;

crates/oxc_linter/src/rules/react/react_compiler.rs

@@ -124,7 +124,7 @@ impl Rule for ReactCompiler {
         let program = ctx.nodes().program();
         let options = react_compiler_options(ctx.file_path().to_str().map(ToString::to_string));
 
-        let result = oxc_react_compiler::lint(program, options);
+        let result = oxc_react_compiler::lint(program, ctx.allocator(), options);
 
         let diagnostics = result.diagnostics.into_vec();
         let diagnostics = if self.report_all_bailouts {

crates/oxc_linter/src/utils/jest.rs

@@ -379,6 +379,7 @@ mod test {
                 )],
                 LintOptions::default(),
                 Arc::default(),
+                &allocator,
             ))
             .spawn_for_test()
         };

crates/oxc_linter/src/utils/regex.rs

@@ -274,6 +274,7 @@ mod test {
             )],
             LintOptions::default(),
             Arc::default(),
+            &allocator,
         ))
         .spawn_for_test();