diff --git a/proptest-derive/src/ast.rs b/proptest-derive/src/ast.rs index 178a09e3..ff43b8b9 100644 --- a/proptest-derive/src/ast.rs +++ b/proptest-derive/src/ast.rs @@ -106,8 +106,6 @@ impl Impl { let _top = call_site_ident(TOP_PARAM_NAME); - let _const = call_site_ident(&format!("_IMPL_ARBITRARY_FOR_{}", typ)); - // Linearise everything. We're done after this. // // NOTE: The clippy::arc_with_non_send_sync lint is disabled here because the strategies @@ -118,7 +116,7 @@ impl Impl { let q = quote! { #[allow(non_upper_case_globals)] #[allow(clippy::arc_with_non_send_sync)] - const #_const: () = { + const _: () = { extern crate proptest as _proptest; impl #impl_generics _proptest::arbitrary::Arbitrary diff --git a/proptest-derive/src/tests.rs b/proptest-derive/src/tests.rs index 788a6e7c..10d80614 100644 --- a/proptest-derive/src/tests.rs +++ b/proptest-derive/src/tests.rs @@ -80,7 +80,7 @@ test! { } expands to { #[allow(non_upper_case_globals)] #[allow(clippy::arc_with_non_send_sync)] - const _IMPL_ARBITRARY_FOR_MyUnitStruct : () = { + const _: () = { extern crate proptest as _proptest; impl _proptest::arbitrary::Arbitrary for MyUnitStruct { type Parameters = (); @@ -101,7 +101,7 @@ test! { } expands to { #[allow(non_upper_case_globals)] #[allow(clippy::arc_with_non_send_sync)] - const _IMPL_ARBITRARY_FOR_MyTupleUnitStruct : () = { + const _: () = { extern crate proptest as _proptest; impl _proptest::arbitrary::Arbitrary for MyTupleUnitStruct { type Parameters = (); @@ -122,7 +122,7 @@ test! { } expands to { #[allow(non_upper_case_globals)] #[allow(clippy::arc_with_non_send_sync)] - const _IMPL_ARBITRARY_FOR_MyNamedUnitStruct : () = { + const _: () = { extern crate proptest as _proptest; impl _proptest::arbitrary::Arbitrary for MyNamedUnitStruct { type Parameters = ();