PR #20084 [ty] Add support for PEP 800

[ty] Add support for PEP 800 #20084

AlexWaygood merged 2 commits into main from alex/disjoint-base

AlexWaygood added ty

[ty] Add support for PEP 800

7a0dde6d

AlexWaygood force pushed from 84630a31 to 7a0dde6d 19 days ago

AlexWaygood commented on 2025-08-25

AlexWaygood marked this pull request as ready for review 19 days ago

AlexWaygood requested a review from

carljm 19 days ago

AlexWaygood requested a review from

sharkdp 19 days ago

AlexWaygood requested a review from

dcreager 19 days ago

AlexWaygood requested a review from

MichaReiser 19 days ago

carljm approved these changes on 2025-08-25

try removing all hardcoded knowledge

22c0d8a2

AlexWaygood merged ecf3c4ca into main 19 days ago

AlexWaygood deleted the alex/disjoint-base branch 19 days ago

Reviewers

carljm

sharkdp

dcreager

MichaReiser

Assignees

No one assigned

Labels

Milestone

No milestone