ruff
[ty] Fix subtyping/assignability for `@property` protocol members
#19936
Open
Overview
Commits
35
Changes
View On GitHub

[ty] Fix subtyping/assignability for `@property` protocol members #19936

AlexWaygood wants to merge 35 commits into main from alex/protocol-property-check-2
AlexWaygood
mtshiba [ty] Implement protocol property check
445ee316
mtshiba Implement disjointness for property members
7e349f1a
mtshiba Merge remote-tracking branch 'upstream/main' into protocol-property-c…
a2168eb8
mtshiba Merge remote-tracking branch 'upstream/main' into protocol-property-c…
6355389e
mtshiba refactor
a8230743
mtshiba Merge remote-tracking branch 'upstream/main' into protocol-property-c…
7e95c485
mtshiba refactor
e3823da4
mtshiba Merge remote-tracking branch 'upstream/main' into protocol-property-c…
7d766880
mtshiba Merge remote-tracking branch 'upstream/main' into protocol-property-c…
8c5e8c37
mtshiba Update types.rs
94bfbf50
mtshiba Merge remote-tracking branch 'upstream/main' into protocol-property-c…
c3ad9b67
mtshiba Merge branch 'main' into protocol-property-check
8f99377b
mtshiba Update crates/ty_python_semantic/src/types/protocol_class.rs
03e9c7b0
mtshiba Update crates/ty_python_semantic/src/types/protocol_class.rs
889c43a9
mtshiba add `PropertyMember`
8f694a9e
mtshiba Avoid infinite recursion using `HasRelationToVisitor`
b15509e8
mtshiba Fix incorrect shadowing of an argument passed to `IsDisjointVisitor::…
66a0a1a6
mtshiba change the diagnostic message wording: `of` -> `on`
ed4cc36a
AlexWaygood Various improvements
4545bfb8
AlexWaygood Partially revert "Avoid infinite recursion using `HasRelationToVisitor`"
23f96444
AlexWaygood AlexWaygood added ty
github-actions
github-actions
AlexWaygood put tests with the other tests
489e3f52
AlexWaygood more improvements
26691975
AlexWaygood AlexWaygood added ecosystem-analyzer
github-actions
AlexWaygood use a `Result`
c3782875
AlexWaygood fix inference of interfaces for protocols that extend other protocols
386b0116
AlexWaygood AlexWaygood removed ecosystem-analyzer
AlexWaygood AlexWaygood added ecosystem-analyzer
AlexWaygood cleanup
83796733
AlexWaygood AlexWaygood force pushed from b620d8c3 to 1c2af488 127 days ago
AlexWaygood Merge branch 'main' into alex/protocol-property-check-2
b8ad92d8
AlexWaygood AlexWaygood force pushed from 1c2af488 to b8ad92d8 127 days ago
AlexWaygood Merge branch 'main' into alex/protocol-property-check-2
1bff6cab
AlexWaygood Delete crates/ty_python_semantic/resources/corpus/protocol_property_c…
f855a0d3
AlexWaygood Merge branch 'main' into alex/protocol-property-check-2
d7f36cbd
codspeed-hq
AlexWaygood AlexWaygood force pushed from 6f2904be to 70681320 119 days ago
AlexWaygood cleanup
971156a7
AlexWaygood AlexWaygood force pushed from 70681320 to 971156a7 119 days ago
AlexWaygood Merge branch 'main' into alex/protocol-property-check-2
8c973253
AlexWaygood AlexWaygood force pushed from d3c8776b to 7b9f9eba 119 days ago
AlexWaygood cleanup
d10ea720
AlexWaygood AlexWaygood force pushed from 7b9f9eba to d10ea720 119 days ago
AlexWaygood Merge branch 'main' into alex/protocol-property-check-2
94338fa9
AlexWaygood more variance
4a759b77
AlexWaygood Merge branch 'main' into alex/protocol-property-check-2
f57ea60d
AlexWaygood AlexWaygood changed the title alex/protocol property check 2 [ty] Fix subtyping/assignability for `@property` protocol members 89 days ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
ty ecosystem-analyzer
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum