chore(rengine): regnerate code

Author: W95Psp

rust-engine/src/names/generated.rs

@@ -1,3 +1,8 @@
+// This file was generated by `cargo hax into generate-rust-engine-names`.
+// To regenerate it, please use `just regenerate-names`. Under the hood, `cargo
+// hax into generate-rust-engine-names` runs the Rust engine, which in turn
+// calls `rust_engine::names::export_def_ids_to_mod`.
+
 use super::root;
 pub mod alloc {
     #![doc = r##"This is the module [`::alloc`]."##]