ruff
[ty] Fix disjointness checks with type-of `@final` classes
#21770

Merged

[ty] Fix disjointness checks with type-of `@final` classes #21770

ibraheemdev merged 2 commits into main from ibraheem/type-of-final-class-disjointness

ibraheemdev added ty

ibraheemdev force pushed from 1a0174dd to 394be604 202 days ago

ibraheemdev force pushed from 394be604 to 345583e5 201 days ago

ibraheemdev force pushed from 345583e5 to b7a9f449 201 days ago

ibraheemdev force pushed from b7a9f449 to 05560fba 201 days ago

ibraheemdev commented on 2025-12-03

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

ibraheemdev requested a review from

carljm 201 days ago

ibraheemdev requested a review from

AlexWaygood 201 days ago

ibraheemdev requested a review from

sharkdp 201 days ago

ibraheemdev requested a review from

dcreager 201 days ago

ibraheemdev force pushed from 05560fba to a7521b1f 201 days ago

carljm approved these changes on 2025-12-04

Base automatically changed from ibraheem/final-class-disjointness to main 194 days ago

ibraheemdev force pushed from a7521b1f to 2b923ed1 194 days ago

fix disjointness checks with type-of `@final` classes

7dfe6e0f

ibraheemdev force pushed from 2b923ed1 to 7dfe6e0f 194 days ago

fix disjointness between class-literal and generic-alias

e4e1ff21

ibraheemdev force pushed from 6e8ce196 to e4e1ff21 194 days ago

ibraheemdev merged a2fb2ee0 into main 194 days ago

ibraheemdev deleted the ibraheem/type-of-final-class-disjointness branch 194 days ago

Reviewers

carljm

AlexWaygood

sharkdp

dcreager

Assignees

No one assigned

Labels

Milestone

No milestone