ruff
[ty] improve recursive type inference for projection operations
#26053
Open
Overview
Commits
113
Changes
View On GitHub

[ty] improve recursive type inference for projection operations #26053

mtshiba wants to merge 113 commits into main from projection-type
mtshiba
mtshiba mtshiba added ty
astral-sh-bot
astral-sh-bot
astral-sh-bot
codspeed-hq
mtshiba mtshiba force pushed from 018a4142 to 93e6c9ac 44 days ago
mtshiba mtshiba force pushed from b3277c51 to 3b45aed7 44 days ago
mtshiba mtshiba force pushed from b5d81f34 to b8acb51d 43 days ago
mtshiba mtshiba force pushed from d1ff24a9 to 0357e874 42 days ago
mtshiba mtshiba force pushed from 0357e874 to 7469a6e5 42 days ago
mtshiba mtshiba force pushed from 96448854 to f5301742 41 days ago
mtshiba mtshiba force pushed from 8f4ee88c to 5d844467 39 days ago
mtshiba Handle tuple projections in recursive inference
ccd08df5
mtshiba Recover list projection cycles
74996883
mtshiba Recover mixed projection containers
160ca71a
mtshiba Document projection narrowing coverage
dc80a2d8
mtshiba Recover iteration projections
629620ed
mtshiba Cover nested projection recovery
0c09de03
mtshiba Intern cycle projection paths
d8ae9bd3
mtshiba Recover projections through known containers
72786c7b
mtshiba Recover projections through custom containers
edc31e5c
mtshiba Cover projection recovery variance
ee4bf378
mtshiba Support broader cycle projections
b0b28db9
mtshiba Support starred cycle projections
44cfe7d4
mtshiba Support async cycle projections
44e04577
mtshiba Support mapping and tuple slice cycle projections
baa44d1d
mtshiba Support arbitrary zero-arg method projections
a59de70c
mtshiba Simplify cycle projection representations
dcec3b47
mtshiba Keep cycle projection type compact
d6def0a9
mtshiba Avoid unsolved projection cycles
86100ce0
mtshiba Avoid unnecessary cycle projection work
e866936e
mtshiba Update projection.rs
a19ed51a
mtshiba Document cycle projection recovery
10d79c63
mtshiba Simplify projection containers
96f8185b
mtshiba rename: CycleProjection -> Projection
b06c46f9
mtshiba Reduce projection solver duplication
7583aec3
mtshiba Support projected context manager unpacking
7d589d7b
mtshiba Add transformed projection recovery tests
671febaf
mtshiba Add projection test for terminal assignments
9361331d
mtshiba remove unnecessary code
39e7c31b
mtshiba Document projection solver steps
f25b6850
mtshiba Avoid inference queries in projection recovery
912c92f1
mtshiba support CoroutineType
f67f69ea
mtshiba Apply mdformat wrapping
5181855b
mtshiba Respect inherited runtime-checkable protocols
fa2d4390
mtshiba Use inference-time projection evidence for recovery
f67f5aea
mtshiba Limit projection evidence persistence
ae238f6e
mtshiba Remove unused projection evidence plumbing
b40a2a23
mtshiba Handle nested projection packing in loops
595ab0ae
mtshiba Merge known projection containers
b280d839
mtshiba Fix recursive generic projection replay
798cc31c
mtshiba Simplify generic projection containers
e3588f73
mtshiba Avoid recursive tuple projection reentry
4e807137
mtshiba Avoid recursive projection self-contamination
59e59efe
mtshiba Avoid inference queries during projection recovery
da143fb5
mtshiba Store projection container evidence
0e154af1
mtshiba Use keyed collections for projection evidence
2fbd57d4
mtshiba Revert "Use keyed collections for projection evidence"
54b1cb67
mtshiba Reapply "Use keyed collections for projection evidence"
2c5e8318
mtshiba Revert "Store projection container evidence"
ee35b134
mtshiba Reapply "Store projection container evidence"
93374178
mtshiba Revert "Avoid recursive projection self-contamination"
3fa0afa0
mtshiba Reapply "Avoid recursive projection self-contamination"
3b2e5a7e
mtshiba Revert "Avoid inference queries during projection recovery"
9804e61a
mtshiba Reapply "Avoid inference queries during projection recovery"
496a89b6
mtshiba Improve projection evidence collection performance
b386a38f
mtshiba Refactor projection evidence accumulation
ab6d152e
mtshiba Simplify projection evidence containers
f8555b17
mtshiba Document projection API phases
5f3dde65
mtshiba Guard projection self-reference recovery
eddbe233
mtshiba Solve projection equations by SCC
ef0e761a
mtshiba Test correlated projection attributes
0badcd4f
mtshiba Test projection dependency cycles
16f817d7
mtshiba Test conservative projection narrowing
4d2d33e5
mtshiba Handle guarded projection recursion
33c0ab51
mtshiba Refine projection SCC recovery
4fca6a71
mtshiba misc
ed2edbbc
mtshiba Update projection mdtest expectations
8ed4a7a1
mtshiba remove unnecessary code
981bec92
mtshiba Restore variable tuple slice todo
bac980ea
mtshiba Preserve subscript projection evidence
9d57d7e1
mtshiba Use iter projection for implicit attribute loops
e3ee2a57
mtshiba Ignore projection evidence in decorator regions
2082d100
mtshiba Handle projection super pivots
7b2d76fd
mtshiba Propagate projection generator types
7f23a002
mtshiba Preserve class bindings for projection decorators
db9a91fe
mtshiba misc
1789bcb4
mtshiba Document eager projection evidence collection
c76cfb19
mtshiba refactor
4f235fcd
mtshiba Use projection evidence when rebuilding containers
5d0d8717
mtshiba Allow projection artifacts in assignability membership
428380d0
mtshiba [ty] solve multi-root projection cycles
3a46069f
mtshiba [ty] remove known-class projection replay special case
4b459c73
mtshiba [ty] require evidence for generic projection replay
4848acbe
mtshiba Revert "[ty] require evidence for generic projection replay"
f29a1b73
mtshiba Reapply "[ty] require evidence for generic projection replay"
6f4cabb3
mtshiba [ty] Avoid projection growth for recursive subscript assignments
69b06b92
mtshiba [ty] Update suppression fix snapshot
ad63bcf0
mtshiba [ty] Clarify projection recovery candidates
64bec894
mtshiba [ty] Unify projection equation solving
265d64f5
mtshiba [ty] solve multi-root projection cycles
3a46069f
mtshiba [ty] remove known-class projection replay special case
4b459c73
mtshiba [ty] require evidence for generic projection replay
4848acbe
mtshiba Revert "[ty] require evidence for generic projection replay"
f29a1b73
mtshiba Reapply "[ty] require evidence for generic projection replay"
6f4cabb3
mtshiba [ty] Avoid projection growth for recursive subscript assignments
69b06b92
mtshiba [ty] Update suppression fix snapshot
ad63bcf0
mtshiba [ty] Clarify projection recovery candidates
64bec894
mtshiba Update display.rs
6d0b2878
mtshiba Fix projection recovery through loop bridges
4475e71d
mtshiba Fix concrete-key subscript projection diagnostics
8d99400f
mtshiba Fix recursive projection replay crash
28266196
mtshiba Use evidence for multi-root projection replay
56920b9f
mtshiba Revert "Use evidence for multi-root projection replay"
5146b863
mtshiba Fix projection recovery for PEP 695 aliases
893da7f5
mtshiba Guard projection solver outputs
fddcb7ee
mtshiba Add member projection recovery
bd4c1c15
mtshiba Optimize projection evidence collection
f53c2e4d
mtshiba mtshiba force pushed from 653fcc5b to f53c2e4d 38 days ago
mtshiba [ty] Optimize projection artifact scans
0935e668
mtshiba [ty] Split projection artifact definitions
6c7e4e94
mtshiba [ty] Split projection term representation
d8ec7366
mtshiba [ty] Split projection evidence handling
e6639a8b
mtshiba [ty] Split projection equation solver
00124efa
mtshiba [ty] Split projection recovery builder
b97125e7
mtshiba [ty] Split projection container replay
4497751e
mtshiba [ty] Split projection operation construction
4d36d44a
mtshiba Avoid unnecessary projection payloads
6c40b0ee
mtshiba Merge branch 'main' into projection-type
02857987
mtshiba Avoid member projection in method call results
5f7765cc
mtshiba Improve projection artifact hot paths
08da73b7
mtshiba Avoid duplicate projection artifact scans
da6d488c
mtshiba Merge branch 'main' into projection-type
b924624d
mtshiba Merge remote-tracking branch 'origin/main' into projection-type
90838fd1

Login to write a write a comment.

Login via GitHub

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