aboutsummaryrefslogtreecommitdiff
path: root/macros
diff options
context:
space:
mode:
Diffstat (limited to 'macros')
-rw-r--r--macros/src/codegen.rs5
1 files changed, 5 insertions, 0 deletions
diff --git a/macros/src/codegen.rs b/macros/src/codegen.rs
index e0e09bbe..1096f6f1 100644
--- a/macros/src/codegen.rs
+++ b/macros/src/codegen.rs
@@ -163,6 +163,11 @@ pub fn app(app: &App, analysis: &Analysis, extra: &Extra) -> TokenStream2 {
/// Holds static methods for each monotonic.
pub mod monotonics {
+ #(
+ #[allow(unused_imports)]
+ #user_imports
+ )*
+
#(#monotonic_parts)*
}
)