diff --git a/macros/src/codegen.rs b/macros/src/codegen.rs
index 7d0d1220e3..b30659f53e 100644
--- a/macros/src/codegen.rs
+++ b/macros/src/codegen.rs
@@ -74,6 +74,8 @@ pub fn app(app: &App, analysis: &Analysis, extra: &Extra) -> TokenStream2 {
             #section
             #cfg_core
             unsafe extern "C" fn #main() -> ! {
+                let _TODO: () = ();
+
                 #(#assertion_stmts)*
 
                 #(#pre_init_stmts)*