Merge #1036

1036: Bump mypy from 1.11.2 to 1.13.0 r=sanders41 a=dependabot[bot]

Bumps [mypy](https://github.com/python/mypy) from 1.11.2 to 1.13.0.
<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>
<h3>Change to enum membership semantics</h3>
<p>As per the updated <a href="https://typing.readthedocs.io/en/latest/spec/enums.html#defining-members">typing specification for enums</a>,
enum members must be left unannotated.</p>
<pre lang="python"><code>class Pet(Enum):
    CAT = 1  # Member attribute
    DOG = 2  # Member attribute
    WOLF: int = 3  # New error: Enum members must be left unannotated
<pre><code>species: str  # Considered a non-member attribute
</code></pre>
<p></code></pre></p>
<p>In particular, the specification change can result in issues in type stubs (<code>.pyi</code> files), since
historically it was common to leave the value absent:</p>
<pre lang="python"><code># In a type stub (.pyi file)
<p>class Pet(Enum):<br />
# Change in semantics: previously considered members, now non-member attributes<br />
CAT: int<br />
DOG: int</p>
<pre><code># Mypy will now issue a warning if it detects this situation in type stubs:
# &amp;gt; Detected enum &amp;quot;Pet&amp;quot; in a type stub with zero members.
# &amp;gt; There is a chance this is due to a recent change in the semantics of enum membership.
# &amp;gt; If so, use `member = value` to mark an enum member, instead of `member: type`
</code></pre>
<p>class Pet(Enum):<br />
# As per the specification, you should now do one of the following:<br />
DOG = 1  # Member attribute with value 1 and known type<br />
WOLF = cast(int, ...)  # Member attribute with unknown value but known type<br />
LION = ...  # Member attribute with unknown value and unknown type<br />
</code></pre></p>
<p>Contributed by Terence Honles in PR <a href="https://redirect.github.com/python/mypy/pull/17207">17207</a> and
Shantanu Jain in PR <a href="https://redirect.github.com/python/mypy/pull/18068">18068</a>.</p>
<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>
<!-- 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.11.2...v1.13.0">compare view</a></li>
</ul>
</details>
<br />


[![Dependabot compatibility score](https://dependabot-badges.githubapp.com/badges/compatibility_score?dependency-name=mypy&package-manager=pip&previous-version=1.11.2&new-version=1.13.0)](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores)

You can trigger a rebase of this PR 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>

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