From bbb44dd27cab1c5b988137d0bced0501c0f21af7 Mon Sep 17 00:00:00 2001
From: Michael Dougherty <maackle.d@gmail.com>
Date: Sun, 3 Nov 2024 15:57:17 -0800
Subject: [PATCH] allow(non_local_definitions)

---
 proptest-derive/src/ast.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/proptest-derive/src/ast.rs b/proptest-derive/src/ast.rs
index c29fdbb3..47d351eb 100644
--- a/proptest-derive/src/ast.rs
+++ b/proptest-derive/src/ast.rs
@@ -113,6 +113,7 @@ impl Impl {
         // The double-curly-braces are not strictly required, but allow the expression to be
         // annotated with an attribute.
         let q = quote! {
+            #[allow(non_local_definitions)]
             #[allow(non_upper_case_globals)]
             #[allow(clippy::arc_with_non_send_sync)]
             const _: () = {