chore(deps-dev): update mypy requirement from 1.12.0 to 1.13.0 (#730)

Updates the requirements on [mypy](https://github.com/python/mypy) to
permit the latest version.
<details>
<summary>Changelog</summary>
<p><em>Sourced from <a
href="https://github.com/python/mypy/blob/master/CHANGELOG.md">mypy's
changelog</a>.</em></p>
<blockquote>
<h1>Mypy Release Notes</h1>
<h2>Next release</h2>
<h2>Mypy 1.13</h2>
<p>We’ve just uploaded mypy 1.13 to the Python Package Index (<a
href="https://pypi.org/project/mypy/">PyPI</a>).
Mypy is a static type checker for Python. You can install it as
follows:</p>
<pre><code>python3 -m pip install -U mypy
</code></pre>
<p>You can read the full documentation for this release on <a
href="http://mypy.readthedocs.io">Read the Docs</a>.</p>
<p>Note that unlike typical releases, Mypy 1.13 does not have any
changes to type checking semantics
from 1.12.1.</p>
<h3>Improved performance</h3>
<p>Mypy 1.13 contains several performance improvements. Users can expect
mypy to be 5-20% faster.
In environments with long search paths (such as environments using many
editable installs), mypy
can be significantly faster, e.g. 2.2x faster in the use case targeted
by these improvements.</p>
<p>Mypy 1.13 allows use of the <code>orjson</code> library for handling
the cache instead of the stdlib <code>json</code>,
for improved performance. You can ensure the presence of
<code>orjson</code> using the <code>faster-cache</code> extra:</p>
<pre><code>python3 -m pip install -U mypy[faster-cache]
</code></pre>
<p>Mypy may depend on <code>orjson</code> by default in the future.</p>
<p>These improvements were contributed by Shantanu.</p>
<p>List of changes:</p>
<ul>
<li>Significantly speed up file handling error paths (Shantanu, PR <a
href="https://redirect.github.com/python/mypy/pull/17920">17920</a>)</li>
<li>Use fast path in modulefinder more often (Shantanu, PR <a
href="https://redirect.github.com/python/mypy/pull/17950">17950</a>)</li>
<li>Let mypyc optimise os.path.join (Shantanu, PR <a
href="https://redirect.github.com/python/mypy/pull/17949">17949</a>)</li>
<li>Make is_sub_path faster (Shantanu, PR <a
href="https://redirect.github.com/python/mypy/pull/17962">17962</a>)</li>
<li>Speed up stubs suggestions (Shantanu, PR <a
href="https://redirect.github.com/python/mypy/pull/17965">17965</a>)</li>
<li>Use sha1 for hashing (Shantanu, PR <a
href="https://redirect.github.com/python/mypy/pull/17953">17953</a>)</li>
<li>Use orjson instead of json, when available (Shantanu, PR <a
href="https://redirect.github.com/python/mypy/pull/17955">17955</a>)</li>
<li>Add faster-cache extra, test in CI (Shantanu, PR <a
href="https://redirect.github.com/python/mypy/pull/17978">17978</a>)</li>
</ul>
<h3>Acknowledgements</h3>
<p>Thanks to all mypy contributors who contributed to this release:</p>
<ul>
<li>Shantanu Jain</li>
<li>Jukka Lehtosalo</li>
</ul>
<h2>Mypy 1.12</h2>
<p>We’ve just uploaded mypy 1.12 to the Python Package Index (<a
href="https://pypi.org/project/mypy/">PyPI</a>). Mypy is a static
type</p>
<!-- raw HTML omitted -->
</blockquote>
<p>... (truncated)</p>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a
href="https://github.com/python/mypy/commit/eb310343be0399ea6755fabc259755ce1f6711e8"><code>eb31034</code></a>
Bump version to 1.13.0</li>
<li><a
href="https://github.com/python/mypy/commit/2eeb5880184970ae1c0b20c0e06855b6d311bc19"><code>2eeb588</code></a>
Update changelog for 1.12.1 (<a
href="https://redirect.github.com/python/mypy/issues/17999">#17999</a>)</li>
<li><a
href="https://github.com/python/mypy/commit/bc0386b7f96aa131cbf345698a22a9d4b79e9cb4"><code>bc0386b</code></a>
Changelog for 1.13 (<a
href="https://redirect.github.com/python/mypy/issues/18000">#18000</a>)</li>
<li><a
href="https://github.com/python/mypy/commit/5c4d2db7009fa9035b8b3fcffe25182aaa4dc846"><code>5c4d2db</code></a>
Add faster-cache extra, test in CI (<a
href="https://redirect.github.com/python/mypy/issues/17978">#17978</a>)</li>
<li><a
href="https://github.com/python/mypy/commit/854ad189ab7c4f487950ad34e142fd327dce3227"><code>854ad18</code></a>
Make is_sub_path faster (<a
href="https://redirect.github.com/python/mypy/issues/17962">#17962</a>)</li>
<li><a
href="https://github.com/python/mypy/commit/50aa4ca8425d0bb668d514b8ee5c6aeacb605b27"><code>50aa4ca</code></a>
Speed up stubs suggestions (<a
href="https://redirect.github.com/python/mypy/issues/17965">#17965</a>)</li>
<li><a
href="https://github.com/python/mypy/commit/7c27808a0be2fc205788a826be83cbb0a68f89e1"><code>7c27808</code></a>
Use orjson instead of json, when available (<a
href="https://redirect.github.com/python/mypy/issues/17955">#17955</a>)</li>
<li><a
href="https://github.com/python/mypy/commit/2cd2406117e86838de36a9f73ba47c67fa763e1a"><code>2cd2406</code></a>
Use fast path in modulefinder more often (<a
href="https://redirect.github.com/python/mypy/issues/17950">#17950</a>)</li>
<li><a
href="https://github.com/python/mypy/commit/e20aaeeaa215b2e617d460599c4310427ba8f902"><code>e20aaee</code></a>
Let mypyc optimise os.path.join (<a
href="https://redirect.github.com/python/mypy/issues/17949">#17949</a>)</li>
<li><a
href="https://github.com/python/mypy/commit/159974cc59de459cfb3e31ba3e1d8f279734f66d"><code>159974c</code></a>
Use sha1 for hashing (<a
href="https://redirect.github.com/python/mypy/issues/17953">#17953</a>)</li>
<li>Additional commits viewable in <a
href="https://github.com/python/mypy/compare/v1.12.0...v1.13.0">compare
view</a></li>
</ul>
</details>
<br />

<details>
<summary>Most Recent Ignore Conditions Applied to This Pull
Request</summary>

| Dependency Name | Ignore Conditions |
| --- | --- |
| mypy | [>= 0.971.a, < 0.972] |
</details>


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] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

pyproject.toml

@@ -94,7 +94,7 @@ flake8-use-fstring = "1.4"
 pep8-naming = "0.14.1"
 isort = "5.13.2"
 autopep8 = "2.3.1"
-mypy = "1.12.0"
+mypy = "1.13.0"
 tomli = { version = "2.0.2", python = "<3.11" }
 tox = "4.23.2"
 xmldiff = "2.7.0"