build(deps): update proptest-derive requirement from 0.5 to 0.6

[dependabot]

Updates the requirements on proptest-derive to permit the latest version.

Changelog

Sourced from proptest-derive's changelog.

0.6.0

Potential Breaking Changes

• There is a small change of breakage if you've relied on Recursive using an Arc<BoxedStrategy<T>> as Recursive now internally uses BoxedStrategy<T> instead as well as expecting a Fn(BoxedStrategy<T>) -> R instead of Fn(Arc<BoxedStrategy<T>>) -> R. In addition, the type of recursive strategies has changed from Recursive<BoxedStrategy<T>, F> to just Recursive<T, F>.

Minor changes

• Reduced indirections and heap allocations inside Recursive<T, F> somewhat.

• BoxedStrategy<T> and SBoxedStrategy<T> now use Arc internally instead of using Box. While this has marginal overhead, it also reduces the overhead in Recursive<T, F>. The upside to this change is also that you can very cheaply clone strategies.

• Filter is marginally faster.

Bug Fixes

• Removed impl Arbitrary for LocalKeyState since LocalKeyState no longer exists in the nightly compiler.

• Unstable features compile on latest nightly again.

0.5.1

New Additions

• proptest::strategy::Union and proptest::strategy::TupleUnion now work with weighted strategies even if the sum of the weights overflows a u32.

• Added SIGNALING_NAN strategy to generate signalling NaNs if supported by the platform. Note that this is not included in ANY.

Bug Fixes

• Fixed values produced via prop_recursive() not shrinking from the recursive to the non-recursive case.

• Fix that QUIET_NAN would generate signalling NaNs on most platforms on Rust 1.24.0 and later.

0.5.0

Potential Breaking Changes

... (truncated)

Commits

• 01ff1e4 Version 0.6.0.
• c9d30e8 Update unstable features for latest nightly.
• 67aae7b Reduce allocations in Filter.
• 1c8b79c Explicitly test that [pub] works in prop_compose!.
• 480674b Merge pull request #46 from Centril/feature/runner-refactor
• f118d15 fix trailing newlines"
• dee92a5 refactor test_runner.rs as a directory
• 7041fb6 Merge pull request #43 from Centril/feature/general-cleanup-1
• 0f09839 update CHANGELOG.md according to prev commit + correct breaking changes.
• b99f5ef get rid of ArcStrategy & make (S)BoxedStrategy as ArcStrategy was.
• Additional commits viewable in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)