in propfuzz-macro/src/propfuzz_impl.rs [164:172]
fn extract_doc_comment(attr: &Attribute) -> Result<String> {
match attr.parse_meta()? {
Meta::NameValue(name_value) => match name_value.lit {
Lit::Str(lit) => Ok(lit.value().trim().to_string()),
_ => Err(Error::new_spanned(attr, "expected #[doc = r\"string\"]")),
},
_ => Err(Error::new_spanned(attr, "expected #[doc = r\"string\"]")),
}
}