ruff
[ty] Inform call specializations compatibility through type context
#29932

Merged

[ty] Inform call specializations compatibility through type context #29932

ibraheemdev merged 1 commit into main from ibraheem/compatible-specialization

ibraheemdev added ty

ibraheemdev force pushed from 524bf58e to 50878191 7 days ago

ibraheemdev force pushed from 50878191 to 48bba027 7 days ago

ibraheemdev force pushed from 48bba027 to f0c95318 7 days ago

ibraheemdev force pushed from f0c95318 to 9722909b 7 days ago

ibraheemdev marked this pull request as ready for review 7 days ago

ibraheemdev requested a review 7 days ago

ibraheemdev requested a review from

carljm 7 days ago

carljm approved these changes on 2026-11-03

ibraheemdev force pushed from 9722909b to d6327898 7 days ago

ibraheemdev force pushed from d6327898 to 5154c42c 7 days ago

ibraheemdev changed the title ~~[ty] Union compatible specializations during generic call inference~~ [ty] Inform call specializations compatibility through type context 7 days ago

ibraheemdev force pushed from 5154c42c to 6b7b8452 7 days ago

ibraheemdev force pushed from 6b7b8452 to 32d6812a 7 days ago

ibraheemdev force pushed from 32d6812a to 3ff71c6c 7 days ago

ibraheemdev force pushed from 3ff71c6c to 3446a7c8 7 days ago

ibraheemdev force pushed from 3446a7c8 to d3b66926 6 days ago

ibraheemdev force pushed from d3b66926 to 47a3f83f 6 days ago

ibraheemdev force pushed from 47a3f83f to 04197b61 6 days ago

ibraheemdev force pushed from 04197b61 to 5e3969a9 6 days ago

ibraheemdev force pushed from 5e3969a9 to 2d68863d 5 days ago

ibraheemdev force pushed from 2d68863d to 5e3969a9 5 days ago

ibraheemdev force pushed from 5e3969a9 to ffb11b40 5 days ago

Base automatically changed from ibraheem/fixpoint-narrowing to main 5 days ago

ibraheemdev force pushed from ffb11b40 to 16eed496 5 days ago

inform call specializations compatibility through type context

a6f0916a

ibraheemdev force pushed from 16eed496 to a6f0916a 5 days ago

ibraheemdev merged bd1f9e36 into main 5 days ago

ibraheemdev deleted the ibraheem/compatible-specialization branch 5 days ago

Reviewers

carljm

Assignees

No one assigned

Labels

Milestone

No milestone

ruff [ty] Inform call specializations compatibility through type context #29932 Merged

[ty] Inform call specializations compatibility through type context #29932

ruff
[ty] Inform call specializations compatibility through type context
#29932

Merged