Asuka Minato

fix imports using symlinked paths are not updated #1336 (#3029) Summary: Fixes https://github.com/facebook/pyrefly/issues/1336 The change has two parts. Import discovery now canonicalizes symlinked filesystem hits, so import sym resolves through the real target path in the finder. for the live LSP bug, imported modules now prefer the open in-memory file if the resolved path itself or its canonical target is open, which makes unsaved edits in the real file propagate through symlinked imports. also invalidate import finding when a watched symlink path changes so retargeted symlinks do not stay cached. Pull Request resolved: https://github.com/facebook/pyrefly/pull/3029 Test Plan: add test Reviewed By: stroxler Differential Revision: D115442175 fbshipit-source-id: deea47a08d526549f47268405c1dd04c4b7665ec

fix Inlay hint insertion should consider imports/use qualified paths to auto import correctly #317 (#1576) Summary: fix part of https://github.com/facebook/pyrefly/issues/317 Type pretty-printing now tracks every module name it emits, so we can tell the client which imports a hint depends on; TypeDisplayContext stores the module set in a RefCell, exposes it via referenced_modules, and records each module.name combination as it formats the text The LSP transaction layer wraps each hint in a new InlayHintWithEdits struct, renders annotations with fully qualified names, applies any local aliases (e.g., import typing as t), and bundles the necessary import edits by consulting the ImportTracker. This ensures that accepting a type hint also inserts import typing when the module hasn’t been brought into scope. Downstream consumers now understand the richer hint payload: the server translates InlayHintWithEdits into multiple textEdits, the playground/WASM bindings expose the new label format, and the inlay-hint regression tests cover both standard and notebook scenarios to verify the extra import edits. Pull Request resolved: https://github.com/facebook/pyrefly/pull/1576 Reviewed By: grievejia Differential Revision: D113816926 Pulled By: rchen152 fbshipit-source-id: de7a3591509b2182b1062ddd3d52af509c7d3943

fix make function wrap easier to read on hover #3618 (#4099) Summary: Fixes https://github.com/facebook/pyrefly/issues/3618 Nested callable types now wrap in hover display, including Concatenate[..., ParamSpec] shapes. Hover display now recursively uses the hover-aware formatter for nested callables. Pull Request resolved: https://github.com/facebook/pyrefly/pull/4099 Test Plan: add test Reviewed By: stroxler Differential Revision: D113591923 Pulled By: samwgoldman fbshipit-source-id: a4ca29f47266a303b671f716c4f33ffa61c59d79

fix Type aliases are expanded in the hover text #2707 (#3018) Summary: Fixes https://github.com/facebook/pyrefly/issues/2707 non-call hovers on plain functions render the declared source header instead of the normalized solved signature. That preserves aliases like Messages in hover text while leaving call-site hover behavior unchanged for constructors, `__call__`, and expanded `**kwargs`. Pull Request resolved: https://github.com/facebook/pyrefly/pull/3018 Test Plan: add test Reviewed By: stroxler Differential Revision: D113635572 fbshipit-source-id: 94922bef93b94ede36c64ee27add97f7fac0d8fd

fix no error on invalid call to `__init_subclass__` #3447 (#3468) Summary: Pyrefly silently accepted invalid class-header keywords (e.g. `class Foo(Bar, bad_kw=1)`) that didn't match the parent's `__init_subclass__` signature. This adds validation by looking up `__init_subclass__` from base classes and checking keyword arguments against it with the existing callable checker. The binding layer now preserves full `Identifier` tokens (not just `Name` strings) so error diagnostics point at the exact keyword in the class header. Pull Request resolved: https://github.com/facebook/pyrefly/pull/3468 Test Plan: Test suite Reviewed By: stroxler Differential Revision: D112153555 Pulled By: NathanTempest fbshipit-source-id: f892c5f7764d485b008bc393c5af239ca5c0b8fe

fix Renaming a kwarg does not work across files. #1583 (#2484) Summary: Fixes https://github.com/facebook/pyrefly/issues/1583 Updated cross-module rename logic so keyword-argument references are included when the parameter definition lives in a different file. This now resolves keyword args by name, then refines against the definition module’s AST to match the exact parameter. Pull Request resolved: https://github.com/facebook/pyrefly/pull/2484 Test Plan: Added a cross-file rename test and fixtures to cover kwarg renames across modules Reviewed By: stroxler Differential Revision: D104036135 Pulled By: kinto0 fbshipit-source-id: 09f6454c6cd6505ec62b87b82007cd2420265e7c

fix Insert import with alias creates invalid import #2495 (#4106) Summary: Fixes https://github.com/facebook/pyrefly/issues/2495 Auto-import resolution now preserves the original exported name and generates `from model import MyModel as MyModelAlias`. Unknown-name quick fixes receive the same alias-aware behavior. Pull Request resolved: https://github.com/facebook/pyrefly/pull/4106 Test Plan: add test Reviewed By: yangdanny97 Differential Revision: D111934167 Pulled By: kinto0 fbshipit-source-id: d1fb3b5db96d05f842e7461ef5c55f7eca39660f

fix support multiple values for python-platform #3440 (#3467) Summary: Fixes https://github.com/facebook/pyrefly/issues/3440 PythonPlatform now can represent one platform, multiple platforms, or all. Platform checks now only fold to true/false when all configured platforms agree; mixed results stay unknown so both branches are type checked. Pull Request resolved: https://github.com/facebook/pyrefly/pull/3467 Test Plan: add test Reviewed By: connernilsen Differential Revision: D113083136 Pulled By: yangdanny97 fbshipit-source-id: 298d9db207b29c56cc47324a8f37a6cc88605444

fix match on tuple subject not narrowed to Never for assert_never exhaustiveness #4066 (#4310) Summary: Fixes https://github.com/facebook/pyrefly/issues/4066 Pull Request resolved: https://github.com/facebook/pyrefly/pull/4310 Reviewed By: stroxler Differential Revision: D113762834 fbshipit-source-id: 5c4894e037fe85f82c195a46be2252fbb195f1ef

fix Respect VERSIONS file in typeshed #2535 (#3093) Summary: Fixes https://github.com/facebook/pyrefly/issues/2535 making bundled stdlib resolution respect typeshed’s stdlib/VERSIONS metadata. bundled stdlib modules are now gated by the active python_version, so import distutils is rejected on Python 3.12+, and removed stdlib names are also filtered out of prefix results instead of leaking back in through third-party stubs. Pull Request resolved: https://github.com/facebook/pyrefly/pull/3093 Test Plan: add test Reviewed By: stroxler, grievejia Differential Revision: D106806791 Pulled By: connernilsen fbshipit-source-id: d0cad1722da6d4a4b2310b40ebe85d60cb7abd94