mirrors/ruff - Forgejo: Beyond coding. We Forge.

mirror of https://github.com/astral-sh/ruff.git synced 2025-07-18 18:45:07 +00:00

Author	SHA1	Message	Date
Alperen Keleş	932f941d15	[ty] fix binary expression inference between boolean literals and `bool` instances (#18663 )	2025-06-17 18:02:40 +01:00
Andrew Gallant	fc549bda94	[ty] Minor tweaks to "list all members" docs and tests (#18388 ) Some checks are pending CI / Determine changes (push) Waiting to run Details CI / cargo fmt (push) Waiting to run Details CI / cargo clippy (push) Blocked by required conditions Details CI / cargo test (linux) (push) Blocked by required conditions Details CI / cargo test (linux, release) (push) Blocked by required conditions Details CI / cargo test (windows) (push) Blocked by required conditions Details CI / cargo test (wasm) (push) Blocked by required conditions Details CI / cargo build (release) (push) Waiting to run Details CI / cargo build (msrv) (push) Blocked by required conditions Details CI / cargo fuzz build (push) Blocked by required conditions Details CI / fuzz parser (push) Blocked by required conditions Details CI / test scripts (push) Blocked by required conditions Details CI / ecosystem (push) Blocked by required conditions Details CI / Fuzz for new ty panics (push) Blocked by required conditions Details CI / cargo shear (push) Blocked by required conditions Details CI / python package (push) Waiting to run Details CI / pre-commit (push) Waiting to run Details CI / mkdocs (push) Waiting to run Details CI / formatter instabilities and black similarity (push) Blocked by required conditions Details CI / test ruff-lsp (push) Blocked by required conditions Details CI / check playground (push) Blocked by required conditions Details CI / benchmarks (push) Blocked by required conditions Details [ty Playground] Release / publish (push) Waiting to run Details Ref https://github.com/astral-sh/ruff/pull/18251#pullrequestreview-2881810681	2025-05-30 13:36:57 -04:00
David Peter	e730f27f80	[ty] List available members for a given type (#18251 ) This PR adds initial support for listing all attributes of an object. It is exposed through a new `all_members` routine in `ty_extensions`, which is in turn used to test the functionality. The purpose of listing all members is for code completion. That is, given a `object.<CURSOR>`, we would like to list all available attributes on `object`.	2025-05-30 11:24:20 -04:00
Brandt Bucher	91b7a570c2	[ty] Implement Python's floor division semantics for `Literal` `int`s (#18249 ) Division works differently in Python than in Rust. If the result is negative and there is a remainder, the division rounds down (instead of towards zero). The remainder needs to be adjusted to compensate so that `(lhs // rhs) * rhs + (lhs % rhs) == lhs`. Fixes astral-sh/ty#481.	2025-05-22 10:42:29 -04:00
Douglas Creager	0fb94c052e	[ty] Infer parameter specializations of generic aliases (#18021 ) Some checks are pending CI / cargo fuzz build (push) Blocked by required conditions Details CI / Determine changes (push) Waiting to run Details CI / cargo fmt (push) Waiting to run Details CI / cargo clippy (push) Blocked by required conditions Details CI / cargo test (linux) (push) Blocked by required conditions Details CI / cargo test (linux, release) (push) Blocked by required conditions Details CI / cargo test (windows) (push) Blocked by required conditions Details CI / cargo test (wasm) (push) Blocked by required conditions Details CI / cargo build (release) (push) Waiting to run Details CI / cargo build (msrv) (push) Blocked by required conditions Details CI / fuzz parser (push) Blocked by required conditions Details CI / test scripts (push) Blocked by required conditions Details CI / ecosystem (push) Blocked by required conditions Details CI / Fuzz for new ty panics (push) Blocked by required conditions Details CI / cargo shear (push) Blocked by required conditions Details CI / python package (push) Waiting to run Details CI / pre-commit (push) Waiting to run Details CI / mkdocs (push) Waiting to run Details CI / formatter instabilities and black similarity (push) Blocked by required conditions Details CI / test ruff-lsp (push) Blocked by required conditions Details CI / check playground (push) Blocked by required conditions Details CI / benchmarks (push) Blocked by required conditions Details [ty Playground] Release / publish (push) Waiting to run Details This updates our function specialization inference to infer type mappings from parameters that are generic aliases, e.g.: ```py def f[T](x: list[T]) -> T: ... reveal_type(f(["a", "b"])) # revealed: str ``` Though note that we're still inferring the type of list literals as `list[Unknown]`, so for now we actually need something like the following in our tests: ```py def _(x: list[str]): reveal_type(f(x)) # revealed: str ```	2025-05-12 22:12:44 -04:00
Alex Waygood	55df9271ba	[ty] Understand homogeneous tuple annotations (#17998 )	2025-05-12 22:02:25 -04:00
Alex Waygood	67cd94ed64	[ty] Add missing bitwise-operator branches for boolean and integer arithmetic (#17949 )	2025-05-08 14:10:35 +01:00
Charlie Marsh	a2e9a7732a	Update class literal display to use `<class 'Foo'>` style (#17889 ) ## Summary Closes https://github.com/astral-sh/ruff/issues/17238.	2025-05-06 20:11:25 -04:00
Micha Reiser	b51c4f82ea	Rename Red Knot (#17820 )	2025-05-03 19:49:15 +02:00

9 commits