ruff
[ty] Infer typevar specializations for implicit generic protocols
#21902
Merged
Overview
Commits
46
Changes
View On GitHub

[ty] Infer typevar specializations for implicit generic protocols #21902

dcreager merged 46 commits into main from dcreager/genprop
dcreager
dcreager dcreager added ty
astral-sh-bot
dcreager dcreager force pushed from 6b695812 to 0bde4151 66 days ago
dcreager dcreager added ecosystem-analyzer
dcreager dcreager force pushed from 0bde4151 to fa1a940f 64 days ago
codspeed-hq
dcreager dcreager changed the base branch from dcreager/callable-return to main 64 days ago
astral-sh-bot
dcreager dcreager force pushed from 4487e217 to 7145810d 63 days ago
dcreager dcreager force pushed from 7145810d to 6fb49ecc 63 days ago
dcreager use csa for instance checks
517566a8
dcreager these are legit
4ff828d9
dcreager add TODO for Never/Unknown
c8664f68
dcreager make these tests consistent
2fa8636a
dcreager error message
b6ca2d90
dcreager add todos
8888c3ce
dcreager fix test expectations and TODOs
6df88e8f
dcreager check protocols nominally, too
be4e7e77
dcreager only error when there are typevars
83378f01
dcreager no duplicate errors anymore
9ca12076
dcreager don't overwrite source_order
acd1e6c4
dcreager dcreager force pushed from 6fb49ecc to b0280a2a 43 days ago
dcreager constrain with bounds/constraints as post-processing step
47840fdd
dcreager prefer informative upper bound again
61aafffa
dcreager clippy
2c95befa
dcreager materialize the bounds too
e39f4654
dcreager paramspec args/kwargs don't have a bound
138bf798
dcreager dcreager force pushed from 21736f1c to 138bf798 43 days ago
dcreager dcreager removed ecosystem-analyzer
dcreager dcreager added ecosystem-analyzer
dcreager prune types when intersecting into upper bound
e5533da0
dcreager fix merge conflicts
f1188c74
dcreager punt on very large union upper bounds for now
f735222e
dcreager dcreager force pushed from f5bcee2b to f735222e 41 days ago
astral-sh-bot
dcreager don't hard-code the threshold
1c247af1
dcreager estimate size of distributed upper bound
d5089ccd
dcreager merge main
7bbe3d73
dcreager clippy
180b3898
astral-sh-bot
dcreager only use constraint sets for protocols
bb077756
dcreager
MichaReiser
dcreager dcreager force pushed from 9c4668c5 to d5db3555 27 days ago
dcreager dcreager force pushed from d5db3555 to 436cc99c 26 days ago
dcreager update expected sympy diagnostic count
adef0f9e
dcreager dcreager force pushed from 436cc99c to 057c8629 26 days ago
dcreager dcreager force pushed from 057c8629 to 95c6d950 26 days ago
dcreager dcreager force pushed from 95c6d950 to 1aceccbe 26 days ago
dcreager dcreager force pushed from 1aceccbe to a0edd364 22 days ago
dcreager merge distributed AND/OR from main
e72b1c3a
dcreager dcreager force pushed from a0edd364 to f55cbf45 21 days ago
AlexWaygood
dcreager dcreager force pushed from f55cbf45 to e72b1c3a 15 days ago
dcreager merge main
90cc1eef
dcreager fix sympy diagnostic count
cb43a146
dcreager ignore new diagnostics in conformance script
6b9fd349
dcreager merge in solution caching
a422255a
dcreager merge main
13638f62
dcreager fix failing tests
93d0c540
dcreager deeper short-circuit check in distributed AND/OR
f33c9408
dcreager update tanjun diagnostic count
af151a85
dcreager and colour-science too
45184041
dcreager don't walk too deeply in cycle check
c7d0c8f2
dcreager sympy too
8b1b2f0c
dcreager suppress duplicate diagnostics from constraint-set solver
bcfc7324
dcreager merge main
7ccd2df5
dcreager clean up callable inference error handling
06f1a236
astral-sh-bot
dcreager dcreager force pushed from 7dc401ee to 06f1a236 7 days ago
dcreager don't capture enclosing typevars
4668e5de
dcreager dcreager marked this pull request as ready for review 7 days ago
dcreager dcreager requested a review from carljm carljm 7 days ago
dcreager dcreager requested a review from AlexWaygood AlexWaygood 7 days ago
dcreager dcreager requested a review from sharkdp sharkdp 7 days ago
sharkdp
sharkdp commented on 2026-02-10
AlexWaygood
AlexWaygood commented on 2026-02-10
sharkdp
sharkdp approved these changes on 2026-02-11
dcreager Apply suggestions from code review
e078ee20
dcreager 0 union size for never
01b3c33a
dcreager remove spurious lock file
1fe411bd
dcreager add comment + issue link about false positives
c72c93ef
dcreager perform nominal check first moar better
b66cf8b4
dcreager dcreager force pushed from e9ab2d2b to b66cf8b4 6 days ago
dcreager dcreager merged dc65d126 into main 6 days ago
dcreager dcreager deleted the dcreager/genprop branch 6 days ago

Login to write a write a comment.

Login via GitHub

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