Commits
Click on a commit to change the comparison rangeMerge branch 'dcreager/bound-typevar' into dcreager/inferrable
* dcreager/bound-typevar: (41 commits)
[ty] Use separate Rust types for bound and unbound type variables (#19796)
fix ide tests
better unbound typevar rendering
Apply suggestions from code review
[ty] Add `static-frame` as a walltime benchmark (#19844)
add explanatory comment
[ty] Update goto range for attribute access to only target the attribute (#19848)
remove unneeded ord
add TODO for broken hover test
better PEP 695 binding context
Add AIR301 rule (#17707)
Avoid underflow in default ranges before a BOM (#19839)
Update actions/download-artifact digest to de96f46 (#19852)
Update docker/login-action action to v3.5.0 (#19860)
Update rui314/setup-mold digest to 7344740 (#19853)
Update cargo-bins/cargo-binstall action to v1.14.4 (#19855)
Update actions/cache action to v4.2.4 (#19854)
Update Rust crate hashbrown to v0.15.5 (#19858)
Update Rust crate camino to v1.1.11 (#19857)
Update Rust crate proc-macro2 to v1.0.96 (#19859)
... Merge branch 'main' into dcreager/inferrable
* main:
Don't cache files with diagnostics (#19869)
[ty] support recursive type aliases (#19805)
[ty] Remove unsafe `salsa::Update` implementations in `tuple.rs` (#19880)
[ty] Function argument inlay hints (#19269)
[ty] Remove Salsa interning for `TypedDictType` (#19879)
Fix `lint.future-annotations` link (#19876)
[ty] Reduce memory usage of `TupleSpec` and `TupleType` (#19872)
[ty] Track heap usage of salsa structs (#19790)
Update salsa to pull in tracked struct changes (#19843)
[ty] simplify CycleDetector::visit signature (#19873)
[ty] use interior mutability in type visitors (#19871)
[ty] Fix tool name is None when no ty path is given in ty_benchmark (#19870)
[ty] Remove `Type::Tuple` (#19669)
[ty] Short circuit `ReachabilityConstraints::analyze_single` for dynamic types (#19867) Merge branch 'main' into dcreager/inferrable
* 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) Merge branch 'main' into dcreager/inferrable
* 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) Merge branch 'main' into dcreager/inferrable
* 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)