chore(deps): update proptest-derive requirement from 0.4.0 to 0.5.0 (#…

…1223)

Updates the requirements on
[proptest-derive](https://github.com/proptest-rs/proptest) to permit the
latest version.
<details>
<summary>Changelog</summary>
<p><em>Sourced from <a
href="https://github.com/proptest-rs/proptest/blob/0.4.0/CHANGELOG.md">proptest-derive's
changelog</a>.</em></p>
<blockquote>
<h2>0.4.0</h2>
<h3>Potential Breaking Changes</h3>
<ul>
<li>
<p><code>proptest::char::ANY</code> replaced with
<code>proptest::char::any()</code>.
<code>proptest::char::ANY</code> is present but deprecated, and will be
removed in
proptest 0.5.0.</p>
</li>
<li>
<p>Instead of returning <code>-&gt; Result&lt;Self::Value,
String&gt;</code>, strategies are
expected to return <code>-&gt; Result&lt;Self::Value, Reason&gt;</code>
instead. <code>Reason</code> reduces
the amount of heap allocations, especially for
<code>.prop_filter(..)</code> where you
may now also pass in <code>&amp;'static str</code>. You will only
experience breaks if
you've written your own strategy types or if you've used
<code>TestCaseError::Reject</code> or <code>TestCaseError::Fail</code>
explicitly.</p>
</li>
<li>
<p>Update of externally-visible crate <code>rand</code> to
<code>0.4.2</code>.</p>
</li>
</ul>
<h3>New Additions</h3>
<ul>
<li>
<p>Added <code>proptest::test_runner::Reason</code> 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.</p>
</li>
<li>
<p>Added a type alias <code>proptest::strategy::NewTree&lt;S&gt;</code>
where <code>S: Strategy</code>
defined as: <code>type NewTree&lt;S&gt; = Result&lt;&lt;S as
Strategy&gt;::Value, Rejection&gt;</code>.</p>
</li>
</ul>
<h2>0.3.4</h2>
<h3>Bug Fixes</h3>
<ul>
<li>Cases where <code>file!()</code> returns a relative path, such as on
Windows, are now
handled more reasonably. See
<a
href="https://redirect.github.com/AltSysrq/proptest/issues/24">#24</a>
for more details and
instructions on how to migrate any persistence files that had been
written to
the wrong location.</li>
</ul>
<h2>0.3.3</h2>
<p>Boxing Day Special</p>
<h3>New Additions</h3>
<ul>
<li>
<p>Added support for <code>i128</code> and <code>u128</code>. Since this
is an unstable feature in
Rust, this is hidden behind the feature <code>unstable</code> which you
have to
explicitly opt into in your <code>Cargo.toml</code> file.</p>
</li>
<li>
<p>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.</p>
</li>
</ul>
<!-- raw HTML omitted -->
</blockquote>
<p>... (truncated)</p>
</details>
<details>
<summary>Commits</summary>
<ul>
<li>See full diff in <a
href="https://github.com/proptest-rs/proptest/compare/0.4.0...0.4.0">compare
view</a></li>
</ul>
</details>
<br />


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-automerge-start)
[//]: # (dependabot-automerge-end)

---

<details>
<summary>Dependabot commands and options</summary>
<br />

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)


</details>

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

Cargo.toml

@@ -41,7 +41,7 @@ num-rational = "0.4.1"
 paste = "1.0"
 petgraph = { version = "0.6.3", default-features = false }
 proptest = "1.4.0"
-proptest-derive = "0.4.0"
+proptest-derive = "0.5.0"
 regex = "1.9.5"
 regex-syntax = "0.8.3"
 rstest = "0.21.0"