cargo check

proptest-macro/src/lib.rs

@@ -11,6 +11,7 @@ mod property_test;
 /// Using the `property_test` macro:
 ///
 /// ```
+/// # use proptest_macro::property_test;
 /// #[property_test]
 /// fn foo(x: i32) {
 ///     assert_eq!(x, x);
@@ -19,7 +20,7 @@ mod property_test;
 ///
 /// is roughly equivalent to:
 ///
-/// ```
+/// ```ignore
 /// proptest! {
 ///     #[test]
 ///     fn foo(x in any::<i32>()) {
@@ -42,7 +43,7 @@ mod property_test;
 ///
 /// E.g. running 100 cases:
 ///
-/// ```rust
+/// ```rust,ignore
 /// #[property_test(config = "ProptestConfig { cases: 100, .. ProptestConfig::default() }")]
 /// fn foo(x: i32) {
 ///     assert_eq!(x, x);
@@ -55,6 +56,7 @@ mod property_test;
 /// provide a custom `Strategy` with `#[strategy = <expr>]` on an argument:
 ///
 /// ```
+/// # use proptest_macro::property_test;
 /// #[property_test]
 /// fn foo(#[strategy = "[0-9]*"] s: String) {
 ///     for c in s.chars() {

proptest-macro/src/property_test/codegen/mod.rs

@@ -1,6 +1,6 @@
 use proc_macro2::TokenStream;
 use quote::{quote, ToTokens};
-use syn::{parse_str, spanned::Spanned, Attribute, Ident, ItemFn};
+use syn::{parse_quote, spanned::Spanned, Attribute, Ident, ItemFn};
 
 use super::{
     options::Options,
@@ -85,11 +85,8 @@ fn nth_field_name(span: impl Spanned, index: usize) -> Ident {
     Ident::new(&format!("field{index}"), span.span())
 }
 
-/// I couldn't find a better way to get just the `#[test]` attribute since [`syn::Attribute`]
-/// doesn't implement `Parse`
 fn test_attr() -> Attribute {
-    let mut f: ItemFn = parse_str("#[test] fn foo() {}").unwrap();
-    f.attrs.pop().unwrap()
+    parse_quote! { #[test] }
 }
 
 #[cfg(test)]