PR #15400 [red-knot] Simplify unions of T and ~T

[red-knot] Simplify unions of T and ~T #15400

sharkdp merged 1 commit into main from david/union-of-type-and-its-complement

sharkdp added ty

sharkdp requested a review from

carljm 347 days ago

sharkdp requested a review from

MichaReiser 347 days ago

sharkdp requested a review from

AlexWaygood 347 days ago

sharkdp commented on 2025-01-10

[red-knot] Simplify unions of T and ~T

fcb97950

sharkdp force pushed from 29f0bf52 to fcb97950 347 days ago

sharkdp commented on 2025-01-10

carljm approved these changes on 2025-01-10

sharkdp merged 2d824457 into main 347 days ago

sharkdp deleted the david/union-of-type-and-its-complement branch 347 days ago

Reviewers

carljm

MichaReiser

AlexWaygood

Assignees

No one assigned

Labels

Milestone

No milestone