diff --git a/crates/oxc_transformer/src/common/mod.rs b/crates/oxc_transformer/src/common/mod.rs
index 35ff1567063a4..7f0b6d5218695 100644
--- a/crates/oxc_transformer/src/common/mod.rs
+++ b/crates/oxc_transformer/src/common/mod.rs
@@ -46,6 +46,7 @@ impl<'a> Traverse<'a> for Common<'a, '_> {
         self.var_declarations.exit_program(program, ctx);
         self.top_level_statements.exit_program(program, ctx);
         self.arrow_function_converter.exit_program(program, ctx);
+        self.statement_injector.exit_program(program, ctx);
     }
 
     fn enter_statements(
diff --git a/crates/oxc_transformer/src/common/statement_injector.rs b/crates/oxc_transformer/src/common/statement_injector.rs
index 1374555ab21dd..e763952090f62 100644
--- a/crates/oxc_transformer/src/common/statement_injector.rs
+++ b/crates/oxc_transformer/src/common/statement_injector.rs
@@ -41,6 +41,11 @@ impl<'a> Traverse<'a> for StatementInjector<'a, '_> {
     ) {
         self.ctx.statement_injector.insert_into_statements(statements, ctx);
     }
+
+    #[inline]
+    fn exit_program(&mut self, _program: &mut Program<'a>, _ctx: &mut TraverseCtx<'a>) {
+        self.ctx.statement_injector.assert_no_insertions_remaining();
+    }
 }
 
 #[derive(Debug)]
@@ -195,4 +200,12 @@ impl<'a> StatementInjectorStore<'a> {
 
         *statements = new_statements;
     }
+
+    // Assertion for checking if no remaining insertions are left.
+    // `#[inline(always)]` because this is a no-op in release mode
+    #[expect(clippy::inline_always)]
+    #[inline(always)]
+    fn assert_no_insertions_remaining(&self) {
+        debug_assert!(self.insertions.borrow().is_empty());
+    }
 }