[ty] Infer more precise types for collection literals #20360
ibraheemdev
merged
13 commits into
main
from
ibraheem/bidirectional-inference
ibraheemdev
commented
on 2025-09-12
carljm
approved these changes
on 2025-09-12
ibraheemdev
changed the title
ibraheemdev
commented
on 2025-09-12
ibraheemdev
commented
on 2025-09-15
infer more precise types for annotated collection literals
a89d8734
update tests
5ebbc499
infer more precise types for unannotated collection literals
d75eaa55
support collection literal inference through type aliases
2911d195
use fallback instance type for literal list elements
88cdf0ff
promote nested element literals
228ae694
promote function literals to callable types
a5e3d3ef
add cycle handling to `ClassType::into_callable`
7c263186
remove outdated TODOs
e434d72a
pass type context through nested collections
94dd1fda
ibraheemdev
commented
on 2025-09-17
refactor `literal_fallback_instance` and `literal_annotation_type`
e3b08301
add failing test for literal type annotations
ed470755
carljm
approved these changes
on 2025-09-17
refactor tuple inference code
52abdb23
Reviewers
Assignees
No one assigned
Labels
ty
ecosystem-analyzer
Milestone
No milestone
Login to write a write a comment.
Login via GitHub