ruff
[ty] Check method definitions on subclasses for Liskov violations
#21436
Merged
Merged
[ty] Check method definitions on subclasses for Liskov violations #21436
AlexWaygood
merged
23 commits into
main
from
alex/basic-liskov
[ty] Check method definitions on subclasses for Liskov violations
75700946
fixes
4f3d2563
Fix incorrect identification of where the overridden method was defined
7f053ea3
disambiguate class names where necessary
e127c25d
try to optimize
96b2535a
regen
e1764c7f
qualified-name cleanup
935640d9
more reliable subdiagnostic
6d296a7c
snapshots and docs
da0cdfc4
more subdiagnostics and docs
cd2d59cd
move submodule
35226238
remove done TODO
65f1a20e
AlexWaygood
commented
on 2025-11-17
add submodule doc-comment
7f918d78
Merge branch 'main' into alex/basic-liskov
e4b2174f
further improve diagnostics
4f18e494
Merge branch 'main' into alex/basic-liskov
a5f09835
fix bugs, add many more tests, hopefully optimize?
8c03f3f0
Merge branch 'main' into alex/basic-liskov
7f7169a3
moar tests
7d57fee2
Apply suggestions from code review
76adbcb3
Merge branch 'main' into alex/basic-liskov
d586e663
Merge branch 'alex/basic-liskov' of https://github.com/astral-sh/ruff…
da211a9e
more review comments
1d6c8162
Reviewers
Assignees
No one assigned
Labels
ty
ecosystem-analyzer
Milestone
No milestone
Login to write a write a comment.
Login via GitHub