Add allow(non_snake_case) to __VERUS_CONST_BODY__ (#1344)

verus-lang · Nov 15, 2024 · 158d726 · 158d726
1 parent 8bc6dd8
commit 158d726
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/source/builtin_macros/src/syntax.rs b/source/builtin_macros/src/syntax.rs
@@ -661,7 +661,7 @@ impl Visitor {
                 self.inside_ghost += 1;
                 self.visit_expr_mut(&mut expr);
                 self.inside_ghost -= 1;
-                stmts.push(Stmt::Expr(Expr::Verbatim(quote_spanned!(con_span => #[verus::internal(verus_macro)] #[verus::internal(const_body)] fn __VERUS_CONST_BODY__() -> #con_ty { #expr } ))));
+                stmts.push(Stmt::Expr(Expr::Verbatim(quote_spanned!(con_span => #[allow(non_snake_case)]#[verus::internal(verus_macro)] #[verus::internal(const_body)] fn __VERUS_CONST_BODY__() -> #con_ty { #expr } ))));
                 stmts.push(Stmt::Expr(Expr::Verbatim(
                     quote_spanned!(con_span => unsafe { core::mem::zeroed() }),
                 )));