[ty] Infer typevar specializations for implicit generic protocols #21902
dcreager
wants to merge
35 commits into
main
from
dcreager/genprop
use csa for instance checks
517566a8
these are legit
4ff828d9
add TODO for Never/Unknown
c8664f68
make these tests consistent
2fa8636a
error message
b6ca2d90
add todos
8888c3ce
fix test expectations and TODOs
6df88e8f
check protocols nominally, too
be4e7e77
only error when there are typevars
83378f01
no duplicate errors anymore
9ca12076
don't overwrite source_order
acd1e6c4
constrain with bounds/constraints as post-processing step
47840fdd
prefer informative upper bound again
61aafffa
clippy
2c95befa
materialize the bounds too
e39f4654
paramspec args/kwargs don't have a bound
138bf798
prune types when intersecting into upper bound
e5533da0
fix merge conflicts
f1188c74
punt on very large union upper bounds for now
f735222e
don't hard-code the threshold
1c247af1
estimate size of distributed upper bound
d5089ccd
merge main
7bbe3d73
clippy
180b3898
only use constraint sets for protocols
bb077756
show node sharing in graph display
c42d26b7
do this with an Rc
049ac754
balanced distributed_or
e035ce97
same for distributed_and
7f46ccf4
tree fold without collecting into a vector
de42fcd1
use an IndexSet here
dcdef55b
document it
0ab91b87
document example better
003ea9bf
update expected sympy diagnostic count
adef0f9e
merge main
ba6b7f33
medium merge
1aceccbe
Reviewers
No reviews
Assignees
No one assigned
Labels
ty
ecosystem-analyzer
Milestone
No milestone
Login to write a write a comment.
Login via GitHub