Update proptest-derive requirement from 0.3.0 to 0.4.0

[dependabot]

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

Changelog

Sourced from proptest-derive's changelog.

0.4.0

Potential Breaking Changes

• proptest::char::ANY replaced with proptest::char::any(). proptest::char::ANY is present but deprecated, and will be removed in proptest 0.5.0.

• Instead of returning -> Result<Self::Value, String>, strategies are expected to return -> Result<Self::Value, Reason> instead. Reason reduces the amount of heap allocations, especially for .prop_filter(..) where you may now also pass in &'static str. You will only experience breaks if you've written your own strategy types or if you've used TestCaseError::Reject or TestCaseError::Fail explicitly.

• Update of externally-visible crate rand to 0.4.2.

New Additions

• Added proptest::test_runner::Reason which allows you to avoid heap allocation in some places and may be used to make the API richer in the future without incurring more breaking changes.

• Added a type alias proptest::strategy::NewTree<S> where S: Strategy defined as: type NewTree<S> = Result<<S as Strategy>::Value, Rejection>.

0.3.4

Bug Fixes

• Cases where file!() returns a relative path, such as on Windows, are now handled more reasonably. See #24 for more details and instructions on how to migrate any persistence files that had been written to the wrong location.

0.3.3

Boxing Day Special

New Additions

• Added support for i128 and u128. Since this is an unstable feature in Rust, this is hidden behind the feature unstable which you have to explicitly opt into in your Cargo.toml file.

• Failing case persistence. By default, when a test fails, Proptest will now save the seed for the failing test to a file, and later runs will test the persisted failing cases before generating new ones.

... (truncated)

Commits

• 15b0148 Version 0.4.0.
• ce5c18b Update to lazy_static 1.0.0.
• 3fc6e89 Update versions of regex dependencies.
• 54ebf9e Upgrade to rand 0.4.2.
• 7ad5761 Replace char::ANY with char::any().
• 495a36b Merge pull request #27 from AltSysrq/pr20-merged
• 9dcb006 Remove incorrect documentation.
• b5f5b42 Remove smart-pointerness from Reason.
• 4b9a19b Rename Rejection to Reason.
• c81a728 Move Rejection alongside the types that use it.
• 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)

[andrewhickman]

@dependabot rebase

[codecov]

Codecov Report

Patch coverage has no change and project coverage change: -0.02% ⚠️

Comparison is base (ab737d6) 75.95% compared to head (d6d5f54) 75.93%.

Additional details and impacted files

@@            Coverage Diff             @@
##             main      #54      +/-   ##
==========================================
- Coverage   75.95%   75.93%   -0.02%     
==========================================
  Files          31       31              
  Lines        5260     5260              
==========================================
- Hits         3995     3994       -1     
- Misses       1265     1266       +1     

see 3 files with indirect coverage changes

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.