[ty] Track when type variables are inferable or not by dcreager · Pull Request #19786 · astral-sh/ruff (original) (raw)

added the ty

Multi-file analysis & type inference

label

Aug 6, 2025

dcreager changed the title[ty] Track when type variables are inferrable or not [ty] Track when type variables are inferable or not

Aug 6, 2025

Base automatically changed from dcreager/self-binding-context to main

August 6, 2025 21:26

primarily for legacy typevar defaults

• origin/main: [ty] Implemented support for "rename" language server feature (#19551) [ty] Reduce size of member table (#19572) [ty] Move server capabilities creation (#19798) [ty] Repurpose FunctionType.into_bound_method_type to return BoundMethodType (#19793) [ty] Validate writes to TypedDict keys (#19782) [ty] Add support for using the test command emitted when a mdtest fails (#19794)

• main: Update Rust toolchain to 1.89 (#19807) [ty] Add ty.inlayHints.variableTypes server option (#19780) [ty] Add failing tests for tuple subclasses (#19803) [ty] Add ty.experimental.rename server setting (#19800)

• main: Feature/build riscv64 bin (#19819) [ty] Add caching to CodeGeneratorKind::matches() (#19912) [ty] Rename functionArgumentNames to callArgumentNames inlay hint setting (#19911) [ty] Default ty.inlayHints.* server settings to true (#19910) [ty] Remove py-fuzzer skips for seeds that are no longer slow (#19906) [ty] fix deferred name loading in PEP695 generic classes/functions (#19888) [ty] Add some additional type safety to CycleDetector (#19903) [flake8-blind-except] Fix BLE001 false-positive on raise ... from None (#19755) [ty] resolve docstrings for modules (#19898)

• main: [ty] Add diagnostics for invalid await expressions (#19711) [ty] Synthesize read-only properties for all declared members on NamedTuple classes (#19899) [ty] Remove use of ClassBase::try_from_type from super() machinery (#19902) [ty] Speedup project file discovery (#19913) [pyflakes] Add secondary annotation showing previous definition (F811) (#19900) Bump 0.12.9 (#19917) [ty] support kw_only=True for dataclass() and field() (#19677)

• main: [ty] Represent NamedTuple as an opaque special form, not a class (#19915) [ty] Remove incorrect type narrowing for if type(x) is C[int] (#19926) Bump Rust MSRV to 1.87 (#19924) Add else-branch narrowing for if type(a) is A when A is @final (#19925) [ty] Sync vendored typeshed stubs (#19923) [ty] fix lazy snapshot sweeping in nested scopes (#19908)

Co-authored-by: Carl Meyer carl@astral.sh

• main: [isort] Handle multiple continuation lines after module docstring (I002) (#19818) [flake8-simplify] Implement fix for maxsplit without separator (SIM905) (#19851) [pycodestyle] Make E731 fix unsafe instead of display-only for class assignments (#19700)

This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.Learn more about bidirectional Unicode characters

[ Show hidden characters]({{ revealButtonHref }})