Commits astral-sh/ruff - SemanticDiff

wip

AlexWaygood committed 127 days ago

4d0b5639

[ty] Filter `TypeVar`/`ParamSpec`/`TypeVarTuple` definitions out of the builtins fallback

AlexWaygood committed 127 days ago

50fbd93a

[ty] Infer `type[Unknown]` for calls to `type()` when overload evaluation is ambiguous (#22569)

AlexWaygood committed 127 days ago

Verified 7f0ce3e8

[ty] Add a diagnostic for non-decorator uses of final (#22555)

charliermarsh committed 127 days ago

Verified ba073638

[ty] Emit diagnostics for invalid base classes in `type(...)` (#22499)

charliermarsh committed 127 days ago

Verified e41f045e

[ty] Support 'dangling' `type(...)` constructors (#22537)

charliermarsh committed 127 days ago

Verified b24afb64

[ty] Improve rendering of ReST directives in docstrings (#22512)

AryanBagade committed 127 days ago

Verified 853bb006

[ty] Add diagnostics to validate `TypeIs` and `TypeGuard` definitions (#22300)

charliermarsh committed 128 days ago

Verified b5814b91

[ty] Apply narrowing to walrus targets (#22369)

charliermarsh committed 128 days ago

Verified ea464261

[ty] Use "typeguard constraints" for two kinds of tuple narrowing (#22348)

AlexWaygood committed 128 days ago

Verified ddd2fc7a

[ty] Add a conformance script to compare ty diagnostics with expected errors (#22231)

WillDuke committed 128 days ago

Verified 4ebf10cf

[ty] Add diagnostic to catch generic enums (#22482)

charliermarsh committed 128 days ago

Verified 9a676bbe

[`isort`] Insert imports in alphabetical order (`I002`) (#22493)

11happy committed 128 days ago

Verified d9028a09

[ty] Fix `@Todo` type for starred expressions (#22503)

AlexWaygood committed 128 days ago

Verified 56077ee9

[ty] Use the top materialization of classes for `if type(x) is y` narrowing (#22553)

AlexWaygood committed 128 days ago

Verified 20c01d25

[`flake8-pytest-style`] Add `check` parameter example to `PT017` docs (#22546)

harupy committed 128 days ago

Verified c98ea1bc

[`ruff`] Make example error out-of-the-box (`RUF103`) (#22558)

MeGaGiGaGon committed 128 days ago

Verified 9a2990b2

[ty] Fix stack overflow with recursive type aliases containing tuple … (#22543)

carljm committed 128 days ago

Verified a697050a

[ty] Include type parameters in generic callable display (#22435)

bxff committed 128 days ago

Verified 2f64ef9c

[ty] Add diagnostics for `__init_subclass__` argument mismatch (#22185)

RasmusNygren committed 128 days ago

Verified fde7d72f

[ty] narrow the right-hand side of `==`, `!=`, `is` and `is not` conditions when the left-hand side is not narrowable (#22511)

drbh committed 128 days ago

Verified d13b5db0

[ty] Improve disambiguation of types (#22547)

AlexWaygood committed 128 days ago

Verified c7b41060

[ty] Support own instance members for `type(...)` classes (#22480)

charliermarsh committed 128 days ago

Verified 38787012

[ty] Fix classmethod + contextmanager + Self (#22407)

eclbg committed 128 days ago

Verified 6e89e0ab

Correct comment about public functions starting with an underscore. (#22550)

manueljacob committed 128 days ago

Verified cb31883c

[ty] Rename MRO structs to match static nomenclature (#22549)

charliermarsh committed 128 days ago

Verified 6d8f2864

[ty] Improve log guidance message for Zed (#22530)

dhruvmanila committed 128 days ago

Verified 990d0a89

[ty] Fix false positive for bounded type parameters with NewType (#22542)

carljm committed 129 days ago

Verified 99beabdd

[ty] Support assignment to unions of `TypedDict`s (#22294)

ibraheemdev committed 129 days ago

Verified 3ae4db3c

[ty] Use key and value parameter types as type context for `__setitem__` dunder calls (#22148)

ibraheemdev committed 129 days ago

Verified 8ac5f9d8