4 Commits

Author	SHA1	Message	Date
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