Bump pyrefly from 0.46.3 to 0.47.0

[dependabot]

Bumps pyrefly from 0.46.3 to 0.47.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, invalid-enum-pattern) warn about incomplete match statements over Enums and incorrect patterns. - 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

• 65be741 Update pyrefly version]
• b104e3b fix: Pyrefly should narrow to intersection, not Never, for a TypeIs call (#1924)
• 16b0e2b Add test files for pydantic.dataclasses
• f39c7d1 fix Support types like pydantic.types.PositiveInt #1451 able to check call si...
• 2d2a146 Report Non-Exhaustive match Statements #400 (#1833)
• d1979ac fix: Resolve TypeVars in generic TypedDict inheritance with Unpack (#1922)
• c6ee5ed Update pydantic documentation to explain lax mode
• 2c2cb49 fix Special output format for Github actions #1599 (#1785)
• a489d5e fix LSP: Provide key autocompletion on annotated TypedDict #1886 (#1964)
• cbaf45e Bump qs from 6.13.0 to 6.14.1 in /lsp (#1966)
• 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)