custom strategies in attribute macro

[cameron1024]

This adds the ability to add custom strategies to parameters of a #[property_test] function:

#[property_test]
fn test_something(x: i32, #[strategy = "[0-9]*"] s: String) {
  // test body
}

This adds a second code path to codegen:

• if there are no custom strategies, we use the old code path which internally uses an Arbitrary impl with fully spelled out types (i.e. no boxing)
• if there is one or more custom strategy, we no longer have enough information to spell out the full type of the Strategy, since macros run before typechecking. So we just fallback to BoxedStrategy<Self>

I've tried to retain span info, so error messages should appear at the correct place if you do things like add 2 strategies to a field, or use invalid syntax. For other stuff (e.g. passing non-strategies) we rely on rustc

[matthew-russo]

attrs must always be empty here because we validate in validate_parameter_attrs that only strategy = <expr> attrs exist right?

• if we handle the extra attrs here, why do we disallow other attrs?
• does disallowing them mean #[property_test] doesn't compose well with other proc macros?

[cameron1024]

I'll double check. I'd like to compose with other macros as much as is feasible, so other attributes should be left alone. I think validate is being overly aggressive here

[cameron1024]

But the more I think about it, I'm not sure what we could meaningfully do with the attributes, since they're going into our own struct - the output from proptest is a zero-arg function, so maybe it doesn't make sense here?

I think for now, disallowing other attributes is safer from a backwards compatibility point of view - we don't lock ourselves into supporting something that is difficult later

[matthew-russo]

i dont think this file has been committed yet -- which also exposes gaps in our CI which likely isn't building this new crate

[cameron1024]

Good spot - let's get this in CI

[matthew-russo]

This got closed when i switched branch from master to main. I'll re-open against the main branch.