ruff
[ty] Add and test when constraint sets are satisfied by their typevars
#21129
Merged
Overview
Commits
23
Changes
View On GitHub

[ty] Add and test when constraint sets are satisfied by their typevars #21129

dcreager merged 23 commits into main from dcreager/satisfies
dcreager
dcreager two typevars!
cc2d5fa0
dcreager simplify before implication
b70b2d11
dcreager better names/comments
f3672f88
dcreager restructure a bit
2f7841eb
dcreager better comment
64402d12
dcreager clean this up a bit
c0544476
dcreager find valid specializations of typevars
e2876e74
dcreager satisfies_all_typevars
aba757f1
dcreager mdtest function
e649da5e
dcreager this was backwards!
4b83099a
dcreager equivalence not equality
7b3b6ec6
dcreager mdtests
a7a2c119
dcreager dcreager added internal
dcreager dcreager added ty
github-actions
github-actions
dcreager clippy
4acb4d4b
dcreager typos
46a23274
dcreager more typos
a6ebf478
dcreager dcreager marked this pull request as ready for review 112 days ago
dcreager dcreager requested a review from carljm carljm 112 days ago
dcreager dcreager requested a review from AlexWaygood AlexWaygood 112 days ago
dcreager dcreager requested a review from sharkdp sharkdp 112 days ago
dcreager dcreager requested a review from MichaReiser MichaReiser 112 days ago
MichaReiser
MichaReiser commented on 2025-10-29
MichaReiser
MichaReiser commented on 2025-10-29
MichaReiser
MichaReiser commented on 2025-10-29
MichaReiser
MichaReiser commented on 2025-10-29
MichaReiser
MichaReiser commented on 2025-10-29
dcreager make inferable param keyword-only
a85198dc
Base automatically changed from dcreager/subtype-given-typevars to main 111 days ago
dcreager Merge remote-tracking branch 'origin/main' into dcreager/satisfies
c8135c5b
dcreager clippy
334fa6e9
dcreager restructure mdtests
c914391a
AlexWaygood AlexWaygood removed review request from AlexWaygood AlexWaygood 111 days ago
dcreager document inferable param
009a753c
dcreager typo
2ea63ed9
MichaReiser
MichaReiser commented on 2025-10-30
MichaReiser
MichaReiser approved these changes on 2025-10-30
dcreager make inferable optional
587dae64
dcreager Merge remote-tracking branch 'origin/main' into dcreager/satisfies
cc66536e
dcreager dcreager merged cf4e82d4 into main 111 days ago
dcreager dcreager deleted the dcreager/satisfies branch 111 days ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
internal ty
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum