in propfuzz-macro/src/propfuzz_impl.rs [231:245]
fn to_tokens(&self, tokens: &mut TokenStream) {
let strategies = self.strategies();
let name_pats = self.name_pats();
let block = self.block;
tokens.extend(quote! {
__propfuzz_test_runner.run(&(#(#strategies,)*), |(#(#name_pats,)*)| {
// This is similar to proptest -- it ensures that the block itself doesn't
// return a value, other than through an explicit `return` statement (as with
// the prop_assert_ methods).
let _: () = #block;
Ok(())
})
});
}