Jack O'Connor
922d964bcb
[ty] emit diagnostics for method definitions and other invalid statements in TypedDict class bodies ( #22351 )
...
Fixes https://github.com/astral-sh/ty/issues/2277 .
2026-01-05 11:28:04 -08:00
Charlie Marsh
acdda78189
[ty] Fix @staticmethod combined with other decorators incorrectly binding self ( #22128 )
...
## Summary
We already had `CallableTypeKind::ClassMethodLike` to track callables
that behave like `classmethods` (always bind the first argument). This
PR adds the symmetric `CallableTypeKind::StaticMethodLike` for callables
that behave like `staticmethods` (never bind `self`).
Closes https://github.com/astral-sh/ty/issues/2114 .
2025-12-24 03:35:09 +00:00
Alex Waygood
cd079bd92e
[ty] Improve @override, @final and Liskov checks in cases where there are multiple reachable definitions ( #21767 )
2025-12-03 12:51:36 +00:00
Alex Waygood
5756b3809c
[ty] Extend invalid-explicit-override to also cover properties decorated with @override that do not override anything ( #21756 )
2025-12-03 11:27:47 +00:00
Charlie Marsh
72304b01eb
[ty] Add a diagnostic for prohibited NamedTuple attribute overrides ( #21717 )
...
## Summary
Closes https://github.com/astral-sh/ty/issues/1684 .
2025-12-01 21:46:58 -05:00
Alex Waygood
81c97e9e94
[ty] Implement typing.override ( #21627 )
...
## Summary
Part of https://github.com/astral-sh/ty/issues/155 . This implements the
basic check (`@override`-decorated methods should override things!), but
not the strict check specified in
https://typing.python.org/en/latest/spec/class-compat.html#strict-enforcement-per-project ,
which should be a separate error code.
## Test Plan
mdtests and snapshots
---------
Co-authored-by: Carl Meyer <carl@astral.sh >
2025-11-25 10:42:40 -08:00
