From 3ed4fe3771e0187cb1ab40511803fc117e2e36f6 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Tue, 26 May 2020 22:21:32 +0200
Subject: [PATCH] TODO(remove) codegen no-op

---
 macros/src/codegen.rs | 2 ++
 1 file changed, 2 insertions(+)

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)*