Bump pyrefly from 0.46.3 to 0.48.0

[dependabot]

Bumps pyrefly from 0.46.3 to 0.48.0.

Release notes

Sourced from pyrefly's releases.

Pyrefly v0.47.0

Status : BETA
Release date: 05 January 2026

Pyrefly v0.47.0 bundles 207 commits from 35 contributors.

---

✨ New & Improved

Area	What’s new
LSP Features	- Improved autocompletion for keys in .get() on TypedDicts - Improved documentation in hover tooltips for attributes like dataclass fields - Improved import handling: import X as X and from Y import X as X are now recognized as explicit re-exports and not flagged as unused imports.
Type Checking	- TypeIs calls now correctly narrow to the intersection of types instead of Never. -Final attributes that are not initialized on the class are now enforced as such. Previously, Final was only enforced if the attribute was initialized on the class. - Improved typing spec conformance by extending reassignment checks for variables declared as Final to additional binding constructs including unpacking, context managers, and loops.
Pydantic Support	- Support added for Annotated fields - Pyrefly now validates BaseModel fields at instantiation, catching out-of-range arguments (e.g., Model(x=0) when x must be gt=0).
Error Types / Diagnostics	- New error codes non-exhaustive-match warns about incomplete match statements over Enums and unions of literals. - New missing-override-decorator error that is emitted when a method overrides a parent class method but does not have the override decorator. This error is off by default and can be enabled in your .toml configuration - Pyrefly now suggests the closest stdlib module name for mistyped imports (e.g., import jsn → Did you mean 'json'?).

---

🐛 bug fixes

We closed 34 bug issues this release 👏

• #1952 - Allow typing_extensions for typing module special callables.
• #1906 - The single-underscore function _ is now correctly exported from custom builtins for i18n support.
• #1905 - Fixed stack overflow panic in protocol conformance check involving recursive Forall types and method lookups.
• #1784 - Fixed subtype checking for LiteralString and Collection.
• #1723 - Ignore textDocument/didClose for notebooks and vice versa in the LSP server.
• #1597 - Type narrowing now uses intersection logic, preventing overly strict type errors.
• #1375 - Improved support for object.__new__(C) which was previously incorrectly inferring the type as object.
• #1086 - Autocomplete for string Literal values no longer inserts redundant quotes when completing inside a string literal.
• And more: #1048, #880, #844, #821, #792, #504, #1274, #1271, #1213, #1209, #1091, #1393, #1659, #1657, #1603, #1783, #1758, #1903, #1880, #1856, #1791, #1948, #1910, #1962, #1961

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 here

---

📦 Upgrade

pip install --upgrade pyrefly==0.47.0

How to safely upgrade your codebase

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:

1. pyrefly check --suppress-errors
2. run your code formatter of choice
3. pyrefly check --remove-unused-ignores

... (truncated)

Commits

• 468f7d5 Update pyrefly version]
• 96c01a0 Add failing testcase for private attributes
• 583707b Add testcase to document aggregate behavior
• 5e77d5a Remove jinja and typeshed-stats from mypy primer blocklist
• 862bfcc Add additional test cases
• 59098f4 fix Not inferring generic type for variable typed as Callable with TypeVar #1...
• 7f0ca20 Allow mypy_primer results for xarray
• b78342d Allow mypy_primer results for scikit learn
• 4311f9b Allow mypy primer for arviz
• 1279c67 Allow mypy primer for pytest
• 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)

[dependabot]

Looks like pyrefly is up-to-date now, so this is no longer needed.