From ebe35f7a5f641c414733cd27c42bf5be58f5dd17 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Tue, 17 Mar 2026 04:10:10 +0000
Subject: [PATCH] Bump pyrefly from 0.55.0 to 0.56.0 in /backend (#1613)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Bumps [pyrefly](https://github.com/facebook/pyrefly) from 0.55.0 to
0.56.0.
<details>
<summary>Release notes</summary>
<p><em>Sourced from <a
href="https://github.com/facebook/pyrefly/releases">pyrefly's
releases</a>.</em></p>
<blockquote>
<h2>v0.56.0</h2>
<h1>Pyrefly v0.56.0</h1>
<p><strong>Status : Beta</strong><br />
<em>Release date: March 09, 2026</em><br />
Pyrefly v0.56.0 bundles <strong>248 commits</strong> from <strong>22
contributors</strong>.</p>
<hr />
<h2>✨ New &amp; Improved</h2>
<table>
<thead>
<tr>
<th align="left">Area</th>
<th align="left">What’s new</th>
</tr>
</thead>
<tbody>
<tr>
<td align="left"><strong>Type Checking</strong></td>
<td align="left">- Limit the width of inferred return types to prevent
large unions. <!-- raw HTML omitted --><!-- raw HTML omitted -->-
Comparison checks involving <code>Any</code> now yields <code>Any</code>
(not <code>bool</code>), matching gradual typing expectations and
avoiding overly-confident boolean results</td>
</tr>
<tr>
<td align="left"><strong>Language Server</strong></td>
<td align="left">- IDE <code>diagnosticMode</code> now includes an
experimental workspace mode. When set to <code>workspace</code>, Pyrefly
publishes diagnostics for all files in a project once any file from that
project is opened. <!-- raw HTML omitted --><!-- raw HTML omitted -->-
Support added for the TSP
<code>typeServer</code>/<code>getPythonSearchPaths</code> message. <!--
raw HTML omitted --><!-- raw HTML omitted --> - Relative imports now
work for go-to-definition and completions (including site-packages),
reducing “can’t resolve import” / missing navigation cases</td>
</tr>
<tr>
<td align="left"><strong>Type Errors</strong></td>
<td align="left">- Default severities have been tuned to reduce noise:
<code>implicit-import</code> errors downgraded to warning;
<code>unreachable</code> and <code>redundant-condition</code> errors
default to warning (are configurable back to errors if desired) <!-- raw
HTML omitted --><!-- raw HTML omitted -->- New error code
`non-convergent-recursion`, <a
href="http://non-convergent-recursion">read the docs</a></td>
</tr>
<tr>
<td align="left"><strong>Performance Improvements</strong></td>
<td align="left">- Added dedicated thread pool for LSP operations to
prevent blocking main thread during rechecks</td>
</tr>
</tbody>
</table>
<hr />
<h2>🐛 bug fixes</h2>
<p>We closed 33 bug issues this release 👏</p>
<ul>
<li><a
href="https://redirect.github.com/facebook/pyrefly/issues/2612">#2612</a>:
Fixed an issue where lambda expressions with default parameters were not
recognized in missing-argument checks.</li>
<li><a
href="https://redirect.github.com/facebook/pyrefly/issues/2605">#2605</a>:
Fixed a false positive error in an untyped classmethod with *args.</li>
<li><a
href="https://redirect.github.com/facebook/pyrefly/issues/2385">#2385</a>:
Prevented builtins wildcard imports from shadowing existing definitions
during static scope setup.</li>
<li><a
href="https://redirect.github.com/facebook/pyrefly/issues/2618">#2618</a>:
Fixed a <code>StrEnum</code> classmethod being treated as enum
members.</li>
<li><a
href="https://redirect.github.com/facebook/pyrefly/issues/2590">#2590</a>:
Blocked subscripting generic functions/callables to prevent unsupported
operations.</li>
<li><a
href="https://redirect.github.com/facebook/pyrefly/issues/2514">#2514</a>:
Fixed a <code>not-callable</code> false positive with enum methods.</li>
<li><a
href="https://redirect.github.com/facebook/pyrefly/issues/2609">#2609</a>:
Fixed a <code>bad-param-name-override</code> false positive for
<code>Sequence.__contains__</code>.</li>
<li><a
href="https://redirect.github.com/facebook/pyrefly/issues/2668">#2668</a>:
Fixed dict.setdefault on an unpinned dict always making the dict
nullable.</li>
<li><a
href="https://redirect.github.com/facebook/pyrefly/issues/2527">#2527</a>:
Fixed a <code>no-matching-overload</code> issue related to nested type
aliases.</li>
<li><a
href="https://redirect.github.com/facebook/pyrefly/issues/2543">#2543</a>:
Fixed a problem when using <code>class</code> definition on top of a
<code>ClassVar</code>.</li>
<li>And more!</li>
</ul>
<p>Thank-you to all our contributors who found these bugs and reported
them! Did you know this is one of the most helpful contributions you can
make to an open-source project? If you find any bugs in Pyrefly we want
to know about them! Please open a bug report issue <a
href="https://github.com/facebook/pyrefly/issues">here</a></p>
<hr />
<h2>📦 Upgrade</h2>
<pre lang="shell"><code>pip install --upgrade pyrefly==0.56.0
</code></pre>
<h3>How to safely upgrade your codebase</h3>
<p>Upgrading the version of Pyrefly you're using or a third-party
library you depend on can reveal new type errors in your code. Fixing
them all at once is often unrealistic. We've written scripts to help you
temporarily silence them. After upgrading, follow these steps:</p>
<!-- raw HTML omitted -->
</blockquote>
<p>... (truncated)</p>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a
href="https://github.com/facebook/pyrefly/commit/7bf1ed3ed0a7f02563e60d8cb7caf77f87fcfefd"><code>7bf1ed3</code></a>
Support extracting narrow checks for all (literal) facet chains</li>
<li><a
href="https://github.com/facebook/pyrefly/commit/029b612806cb5ca8e6da40e7e12f5adc83b6d680"><code>029b612</code></a>
fix Support Enum with custom <code>__new__</code> <a
href="https://redirect.github.com/facebook/pyrefly/issues/2747">#2747</a>
(<a
href="https://redirect.github.com/facebook/pyrefly/issues/2763">#2763</a>)</li>
<li><a
href="https://github.com/facebook/pyrefly/commit/f6a21170ad0e8c01f215052713e14d1150dde55c"><code>f6a2117</code></a>
Fix double-counting cls with <strong>class_getitem</strong> and <a
href="https://github.com/classmethod"><code>@​classmethod</code></a> (<a
href="https://redirect.github.com/facebook/pyrefly/issues/2772">#2772</a>)</li>
<li><a
href="https://github.com/facebook/pyrefly/commit/7ec2f404daa72e787ae7dbb15b62f59f9e79b336"><code>7ec2f40</code></a>
Fix variance inference fixpoint to correctly propagate inherited
contravariance</li>
<li><a
href="https://github.com/facebook/pyrefly/commit/65741ef298920409a8cda07bb8b77a6120756b0a"><code>65741ef</code></a>
Add failing variance inference testcase</li>
<li><a
href="https://github.com/facebook/pyrefly/commit/ff72f0858950dbf9e7f608c9b126d80d2b8c8f7a"><code>ff72f08</code></a>
fix PANIC Sorry, Pyrefly crashed, this is always a bug in Pyrefly itself
<a
href="https://redirect.github.com/facebook/pyrefly/issues/272">#272</a>...</li>
<li><a
href="https://github.com/facebook/pyrefly/commit/86d8a0a74606d024c75114cc50fd2d2ed3a2aa7f"><code>86d8a0a</code></a>
Extend facet narrowing cross-check to attr chains</li>
<li><a
href="https://github.com/facebook/pyrefly/commit/ada95d53098c701e4c2b93cb69ed6f23921d6154"><code>ada95d5</code></a>
Add file stats to SubTaskTelemetry</li>
<li><a
href="https://github.com/facebook/pyrefly/commit/ad6cd62acb4fd9f17ae0dfcf6f6ff7971888167a"><code>ad6cd62</code></a>
fix Unary operator for int not applicable for Literal of bool <a
href="https://redirect.github.com/facebook/pyrefly/issues/2750">#2750</a>
(<a
href="https://redirect.github.com/facebook/pyrefly/issues/2762">#2762</a>)</li>
<li><a
href="https://github.com/facebook/pyrefly/commit/65bb170b5e06f4055b2a3fd143a268ec8b9aafea"><code>65bb170</code></a>
Add telemetry for newly added code actions</li>
<li>Additional commits viewable in <a
href="https://github.com/facebook/pyrefly/compare/0.55.0...0.56.0">compare
view</a></li>
</ul>
</details>
<br />


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

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 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>
---
 backend/pyproject.toml |  2 +-
 backend/uv.lock        | 22 +++++++++++-----------
 2 files changed, 12 insertions(+), 12 deletions(-)

diff --git a/backend/pyproject.toml b/backend/pyproject.toml
index b368d7a4..a2be4673 100644
--- a/backend/pyproject.toml
+++ b/backend/pyproject.toml
@@ -55,7 +55,7 @@ dev = [
     "mypy==1.19.0",
     "pluggy==1.6.0",
     "pylint==4.0.2",
-    "pyrefly==0.55.0",
+    "pyrefly==0.56.0",
     "pytest-asyncio==1.3.0",
     "pytest-cov==7.0.0",
     "pytest-xdist==3.8.0",
diff --git a/backend/uv.lock b/backend/uv.lock
index 2e18eeb7..0ffa10e0 100644
--- a/backend/uv.lock
+++ b/backend/uv.lock
@@ -408,7 +408,7 @@ dev = [
     { name = "mypy", specifier = "==1.19.0" },
     { name = "pluggy", specifier = "==1.6.0" },
     { name = "pylint", specifier = "==4.0.2" },
-    { name = "pyrefly", specifier = "==0.55.0" },
+    { name = "pyrefly", specifier = "==0.56.0" },
     { name = "pytest", specifier = "==9.0.1" },
     { name = "pytest-asyncio", specifier = "==1.3.0" },
     { name = "pytest-cov", specifier = "==7.0.0" },
@@ -1427,18 +1427,18 @@ wheels = [
 
 [[package]]
 name = "pyrefly"
-version = "0.55.0"
+version = "0.56.0"
 source = { registry = "https://pypi.org/simple" }
-sdist = { url = "https://files.pythonhosted.org/packages/bf/c4/76e0797215e62d007f81f86c9c4fb5d6202685a3f5e70810f3fd94294f92/pyrefly-0.55.0.tar.gz", hash = "sha256:434c3282532dd4525c4840f2040ed0eb79b0ec8224fe18d957956b15471f2441", size = 5135682, upload-time = "2026-03-03T00:46:38.122Z" }
+sdist = { url = "https://files.pythonhosted.org/packages/54/c6/24259081a05ce112edfa313c753d556406d1ff31e885dd96b366cc736a93/pyrefly-0.56.0.tar.gz", hash = "sha256:f84d21d9b9b58481eea02204e2f73cabb93751b21ab2cd99178b4bde24be6a82", size = 5272585, upload-time = "2026-03-11T18:38:51.426Z" }
 wheels = [
-    { url = "https://files.pythonhosted.org/packages/39/b0/16e50cf716784513648e23e726a24f71f9544aa4f86103032dcaa5ff71a2/pyrefly-0.55.0-py3-none-macosx_10_12_x86_64.whl", hash = "sha256:49aafcefe5e2dd4256147db93e5b0ada42bff7d9a60db70e03d1f7055338eec9", size = 12210073, upload-time = "2026-03-03T00:46:15.51Z" },
-    { url = "https://files.pythonhosted.org/packages/3a/ad/89500c01bac3083383011600370289fbc67700c5be46e781787392628a3a/pyrefly-0.55.0-py3-none-macosx_11_0_arm64.whl", hash = "sha256:2827426e6b28397c13badb93c0ede0fb0f48046a7a89e3d774cda04e8e2067cd", size = 11767474, upload-time = "2026-03-03T00:46:18.003Z" },
-    { url = "https://files.pythonhosted.org/packages/78/68/4c66b260f817f304ead11176ff13985625f7c269e653304b4bdb546551af/pyrefly-0.55.0-py3-none-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:7346b2d64dc575bd61aa3bca854fbf8b5a19a471cbdb45e0ca1e09861b63488c", size = 33260395, upload-time = "2026-03-03T00:46:20.509Z" },
-    { url = "https://files.pythonhosted.org/packages/47/09/10bd48c9f860064f29f412954126a827d60f6451512224912c265e26bbe6/pyrefly-0.55.0-py3-none-manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:233b861b4cff008b1aff62f4f941577ed752e4d0060834229eb9b6826e6973c9", size = 35848269, upload-time = "2026-03-03T00:46:23.418Z" },
-    { url = "https://files.pythonhosted.org/packages/a9/39/bc65cdd5243eb2dfea25dd1321f9a5a93e8d9c3a308501c4c6c05d011585/pyrefly-0.55.0-py3-none-manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:f5aa85657d76da1d25d081a49f0e33c8fc3ec91c1a0f185a8ed393a5a3d9e178", size = 38449820, upload-time = "2026-03-03T00:46:26.309Z" },
-    { url = "https://files.pythonhosted.org/packages/e5/64/58b38963b011af91209e87f868cc85cfc762ec49a4568ce610c45e7a5f40/pyrefly-0.55.0-py3-none-win32.whl", hash = "sha256:23f786a78536a56fed331b245b7d10ec8945bebee7b723491c8d66fdbc155fe6", size = 11259415, upload-time = "2026-03-03T00:46:30.875Z" },
-    { url = "https://files.pythonhosted.org/packages/7a/0b/a4aa519ff632a1ea69eec942566951670b870b99b5c08407e1387b85b6a4/pyrefly-0.55.0-py3-none-win_amd64.whl", hash = "sha256:d465b49e999b50eeb069ad23f0f5710651cad2576f9452a82991bef557df91ee", size = 12043581, upload-time = "2026-03-03T00:46:33.674Z" },
-    { url = "https://files.pythonhosted.org/packages/f1/51/89017636fbe1ffd166ad478990c6052df615b926182fa6d3c0842b407e89/pyrefly-0.55.0-py3-none-win_arm64.whl", hash = "sha256:732ff490e0e863b296e7c0b2471e08f8ba7952f9fa6e9de09d8347fd67dde77f", size = 11548076, upload-time = "2026-03-03T00:46:36.193Z" },
+    { url = "https://files.pythonhosted.org/packages/6c/36/d9553098c03062f04e8dc5adc802f585749d6c0b129553a78e20efab9c3d/pyrefly-0.56.0-py3-none-macosx_10_12_x86_64.whl", hash = "sha256:21f018f47debc0842b2c3072201e53c138ae32bcda4f3119bfc8d23f59c16b3e", size = 12601703, upload-time = "2026-03-11T18:38:26.34Z" },
+    { url = "https://files.pythonhosted.org/packages/60/95/bcc6ff4843eb56a687321677747637aad3bceec084b710c5e7f1e160fbe4/pyrefly-0.56.0-py3-none-macosx_11_0_arm64.whl", hash = "sha256:95366056ceb224571b9f1c20e801d949f2c1fa2cf4ed6ceaadf85ca2ebe6fb27", size = 12146344, upload-time = "2026-03-11T18:38:29.163Z" },
+    { url = "https://files.pythonhosted.org/packages/8d/fd/44264f7e0c53490cccdeee506ab6bdcf6dd2188601cf15ba8953f990b697/pyrefly-0.56.0-py3-none-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:5478229b09f4bba5bfea000b5ba20ea405f62dc7619ea81197e7ea637d6cba8d", size = 34613710, upload-time = "2026-03-11T18:38:31.962Z" },
+    { url = "https://files.pythonhosted.org/packages/d1/31/b156520a4031fc631267c56c81f99b64901827e217c19f95b61a7a94d7b0/pyrefly-0.56.0-py3-none-manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:1e5f53781875024086a5b9f31a89c57d2977487fc3f819d9255008ad34b86fe2", size = 37254696, upload-time = "2026-03-11T18:38:35.553Z" },
+    { url = "https://files.pythonhosted.org/packages/cf/f2/ad6a354755447a2b84cc9d834cd0f92e47c0ca1556bff49ee8ee230d4bbd/pyrefly-0.56.0-py3-none-manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:ec6ab3f9e2c03bae8dfa520f52778f47b6762020929a664177d36aa3b941db22", size = 39843682, upload-time = "2026-03-11T18:38:39.242Z" },
+    { url = "https://files.pythonhosted.org/packages/89/4e/631ca74575c20af35d07b894b53dcd8755793a126f63ad4301a303715e52/pyrefly-0.56.0-py3-none-win32.whl", hash = "sha256:f0440a4bbf119ab646468f360e0bd047df051352db1e5d5b9fd58f89e8458809", size = 11677289, upload-time = "2026-03-11T18:38:42.167Z" },
+    { url = "https://files.pythonhosted.org/packages/98/08/7a56bde1b602efbfdd94c1044377e7d665d1303ccc96c7fd7a076e1883c8/pyrefly-0.56.0-py3-none-win_amd64.whl", hash = "sha256:f4948021639288b1ccda5f124c9562dc7f0a2679111eb314fa266c7bfd9f8603", size = 12488240, upload-time = "2026-03-11T18:38:45.285Z" },
+    { url = "https://files.pythonhosted.org/packages/d2/20/7df64f185f5dff92d97ee319102ff2940e13a31647f0502d162f399cfd19/pyrefly-0.56.0-py3-none-win_arm64.whl", hash = "sha256:4683f5e8820d5fbfb84231b643b2c5f6cd40b982cac48ef756d4e3d9b09a39cc", size = 11953665, upload-time = "2026-03-11T18:38:48.759Z" },
 ]
 
 [[package]]