astral-sh
ruff
Blog
Docs
Changelog
Blog
Docs
Changelog
Overview
Branches
Benchmarks
Runs
Performance History
Latest Results
Fix imports
amartani:main
1 hour ago
Reverse-specialize
charlie/td-narrow
1 hour ago
Ignore attributes
charlie/opt-1
2 hours ago
Merge branch 'main' into charlie/metaclass * main: Pass through ParamSpec relation check for non-overloaded signatures (#23927) [ty] Narrow keyword arguments when unpacking dictionary instances (#23436) [ty] Implement Duboc's TDD optimization for unions of constraint sets (#23881) Remove the repository security policy in favor of the organization one (#24008) Remove the repository code of conduct in favor of the organization one (#24007)
charlie/metaclass
2 hours ago
temp: todo failing test cases
dhruv/typing-concatenate
2 hours ago
Pass through ParamSpec relation check for non-overloaded signatures (#23927) ## Summary This PR updates the constraint set assignability check to only special case overloaded callables against a callable containing `ParamSpec` and pass through any other callables to the check in `Signature`. This is to make sure for `Concatenate` (ref #23689) that we make sure that it goes through to `Signature` where the type checking / constraint set building would take place. Here are the detailed list of changes: In `check_callable_signature_pair_inner`, - Delegate the branch where both sides contain single signature with `ParamSpec` as the only parameter to `check_signature_pair` - For other branches where one side contain a single signature with `ParamSpec` as the only parameter, update the other side to check whether it's an overloaded callable. The reason is that the `signatures_is_single_paramspec` can return `None` even for non-overloaded non-ParamSpec callable which we should delegate to `check_signature_pair` In `check_signature_pair_inner`, - Move the constraint set assignability branch before any special case of `Top` and gradual form handling. This is to support the delegation that happened from `check_callable_signature_pair_inner` so that the constraint set contains a node for the `ParamSpec` type variable because otherwise we would've short-circuit for `Top` / gradual form cases. ## Test Plan Make sure there are no regression and existing test cases pass. I'm also working on top of this branch in #23689 to make sure these changes are valid, so far so good.
main
2 hours ago
Update comments
dhruv/paramspec-relation-check
2 hours ago
[ty] Narrow keyword arguments when unpacking dictionary instances (#23436) Extends https://github.com/astral-sh/ruff/pull/22882 to use narrowed keys when inferring splatted dictionary expressions. Resolves https://github.com/astral-sh/ty/issues/1248.
main
3 hours ago
Active Branches
[ty] Fix false positive `invalid-method-override` for overloads with disjoint self types
#23359
last run
1 hour ago
CodSpeed Performance Gauge
0%
[ty] Narrow TypedDicts through isinstance(..., dict)
#23946
last run
1 hour ago
CodSpeed Performance Gauge
+4%
[ty] Filter disjoint-self superclass overloads in override checks
#24009
last run
2 hours ago
CodSpeed Performance Gauge
0%
ยฉ 2026 CodSpeed Technology
Home
Terms
Privacy
Docs