ruff
[ty] bidirectional type inference using function return type annotations
#20528

Merged

[ty] bidirectional type inference using function return type annotations #20528

ibraheemdev merged 33 commits into astral-sh:main from mtshiba:bidi-return-type

[ty] propagate the annotated return type of functions to the inferenc…

5844c010

mtshiba changed the title ~~[ty] propagate the annotated return type of functions to the inference of expressions in return statements~~ [ty] bidirectional type inference using function return type annotations 112 days ago

don't wrap the raw return types of async functions in `CoroutineType`

c6f798c4

AlexWaygood added ty

improve `SpecializationBuilder::infer` behavior when `formal` is a un…

d14dcc87

Merge branch 'main' into bidi-return-type

238ebf52

Merge branch 'main' into bidi-return-type

69e8582c

fix `nearest_enclosing_function` returning incorrect types for decora…

d33ee55e

Update bidirectional.md

96228411

mtshiba force pushed from d899f83c to 2d882b30 111 days ago

mtshiba commented on 2025-09-24

mtshiba marked this pull request as ready for review 111 days ago

mtshiba requested a review from

carljm 111 days ago

mtshiba requested a review from

AlexWaygood 111 days ago

mtshiba requested a review from

sharkdp 111 days ago

mtshiba requested a review from

dcreager 111 days ago

AlexWaygood added ecosystem-analyzer

prevent incorrect specializations in `SpecializationBuilder::infer`

ef75f0a9

mtshiba force pushed from 2d882b30 to ef75f0a9 111 days ago

AlexWaygood removed ecosystem-analyzer

AlexWaygood added ecosystem-analyzer

AlexWaygood commented on 2025-09-24

dcreager commented on 2025-09-25

Update crates/ty_python_semantic/src/types/infer/builder.rs

6c5625b7

Update crates/ty_python_semantic/resources/mdtest/bidirectional.md

15652804

Update crates/ty_python_semantic/resources/mdtest/bidirectional.md

7e8595aa

refactor according to the review

d666494f

mtshiba marked this pull request as draft 108 days ago

Update bidirectional.md

40daa3f6

Merge branch 'main' into bidi-return-type

32bd2117

Update signatures.rs

b0a62f17

Update bidirectional.md

4211ac92

mtshiba marked this pull request as ready for review 105 days ago

mtshiba requested a review from

dcreager 105 days ago

mtshiba requested a review from

AlexWaygood 105 days ago

Update bidirectional.md

2212cc76

AlexWaygood removed ecosystem-analyzer

AlexWaygood added ecosystem-analyzer

dcreager approved these changes on 2025-10-02

ibraheemdev approved these changes on 2025-10-03

Merge branch 'main' into bidi-return-type

f99d03ff

Update generics.rs

819a415a

Apply suggestion from @ibraheemdev

1b6a5059

mtshiba force pushed from 87be4957 to 1b6a5059 98 days ago

Apply suggestions from code review

b27c1ed2

improve bidirectional inference in `infer_collection_literal`

0249ba23

mtshiba force pushed from 25c8ffcb to 0249ba23 98 days ago

don't set `generic_context` on the `Signature` returned by `OverloadL…

9507d727

Revert "don't set `generic_context` on the `Signature` returned by `O…

bd5a465c

Update function.rs

8834fec1

mtshiba requested a review from

dcreager 98 days ago

mtshiba requested a review from

ibraheemdev 98 days ago

ibraheemdev commented on 2025-10-06

improve specialization between unions

d1e94557

Revert "improve specialization between unions"

b5fddbcc

Merge branch 'main' into bidi-return-type

1b42e057

add `TypeDict` test cases

97c065df

ibraheemdev approved these changes on 2025-10-07

Merge branch 'main' into bidi-return-type

78983604

update mdtest

9cea9030

AlexWaygood removed ecosystem-analyzer

AlexWaygood added ecosystem-analyzer

Merge branch 'main' into bidi-return-type

db90cda5

update tests

e7b5c14c

ibraheemdev enabled auto-merge (squash) 94 days ago

ibraheemdev merged dc64c086 into main 94 days ago

mtshiba deleted the bidi-return-type branch 94 days ago

Reviewers

ibraheemdev

dcreager

AlexWaygood

carljm

sharkdp

Assignees

No one assigned

Labels

ty ecosystem-analyzer

Milestone

No milestone

ruff [ty] bidirectional type inference using function return type annotations #20528 Merged

[ty] bidirectional type inference using function return type annotations #20528

ruff
[ty] bidirectional type inference using function return type annotations
#20528

Merged