language-servers/ruff - Forgejo: Beyond coding. We Forge.

mirror of https://github.com/astral-sh/ruff.git synced 2025-10-17 13:57:25 +00:00

Author	SHA1	Message	Date
Shunsuke Shibayama	dc64c08633	[ty] bidirectional type inference using function return type annotations (#20528 ) Some checks failed CI / cargo fmt (push) Has been cancelled Details CI / mkdocs (push) Has been cancelled Details CI / Determine changes (push) Has been cancelled Details CI / cargo build (release) (push) Has been cancelled Details CI / python package (push) Has been cancelled Details CI / pre-commit (push) Has been cancelled Details [ty Playground] Release / publish (push) Has been cancelled Details CI / cargo clippy (push) Has been cancelled Details CI / cargo test (linux) (push) Has been cancelled Details CI / cargo test (linux, release) (push) Has been cancelled Details CI / cargo test (windows) (push) Has been cancelled Details CI / cargo test (wasm) (push) Has been cancelled Details CI / cargo build (msrv) (push) Has been cancelled Details CI / cargo fuzz build (push) Has been cancelled Details CI / fuzz parser (push) Has been cancelled Details CI / test scripts (push) Has been cancelled Details CI / ecosystem (push) Has been cancelled Details CI / Fuzz for new ty panics (push) Has been cancelled Details CI / cargo shear (push) Has been cancelled Details CI / ty completion evaluation (push) Has been cancelled Details CI / formatter instabilities and black similarity (push) Has been cancelled Details CI / test ruff-lsp (push) Has been cancelled Details CI / check playground (push) Has been cancelled Details CI / benchmarks instrumented (ruff) (push) Has been cancelled Details CI / benchmarks instrumented (ty) (push) Has been cancelled Details CI / benchmarks walltime (medium\|multithreaded) (push) Has been cancelled Details CI / benchmarks walltime (small\|large) (push) Has been cancelled Details ## Summary Implements bidirectional type inference using function return type annotations. This PR was originally proposed to solve astral-sh/ty#1167, but this does not fully resolve it on its own. Additionally, I believe we need to allow dataclasses to generate their own `__new__` methods, [use constructor return types for inference](`5844c0103d/crates/ty_python_semantic/src/types.rs (L5326-L5328)`), and a mechanism to discard type narrowing like `& ~AlwaysFalsy` if necessary (at a more general level than this PR). ## Test Plan `mdtest/bidirectional.md` is added. --------- Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com> Co-authored-by: Ibraheem Ahmed <ibraheem@ibraheem.ca>	2025-10-11 00:38:35 +00:00

1 commit