Update proptest-derive requirement from 0.4 to 0.5

[dependabot[bot]]

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

Commits

• ca308b0 Merge pull request #462 from mirandaconrado/master
• 0a53eda Merge pull request #467 from matthew-russo/macro-0.1
• 96a2dab Merge pull request #464 from matthew-russo/master
• f818fa2 Release : prep for proptest-macro 0.1.0 release
• e275f8a Release : prep for proptest-derive 0.5 release
• f87ec63 Release : prep for proptest 1.5 release
• 060cfbe [Doc] Arbitrary : add a note about the derive macro in Arbitrary's documentation
• 1426f0f Update changelog
• 7774b9c Detect empty ranges during tree creation
• 24412f5 Update compiletest_rs requirement from 0.10 to 0.11 (#455)
• 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)

[coveralls]

coverage: 84.143% (-0.1%) from 84.245% when pulling 79f1aceca80842abcc47fd2235d617a5ea771d5b on dependabot/cargo/proptest-derive-0.5 into 38699a7b78ce1af4ee0de60ab88136f5553e2830 on main.