ruff
[ty] Ignore reachability constraints from `assert_type` and `reveal_type` calls
#24078

Open

[ty] Ignore reachability constraints from `assert_type` and `reveal_type` calls #24078

AlexWaygood wants to merge 3 commits into main from alex/assert-never-returns-never

AlexWaygood added ty

sharkdp commented on 2026-03-20

AlexWaygood force pushed from b450341c to b5364053 92 days ago

AlexWaygood changed the base branch from alex/isinstance-truthiness-constraints to alex/equality-truthiness-constraints 92 days ago

AlexWaygood closed this 92 days ago

AlexWaygood reopened this 92 days ago

Base automatically changed from alex/equality-truthiness-constraints to main 90 days ago

AlexWaygood force pushed from b5364053 to 82470414 90 days ago

AlexWaygood changed the title ~~[ty] Ignore reachability constraints from `assert_type`, `assert_never` and `reveal_type` calls~~ [ty] Ignore reachability constraints from `assert_type` and `reveal_type` calls 90 days ago

AlexWaygood force pushed from 0fa6dec0 to a73a3c56 90 days ago

wip

4bf0d61b

un-special-case `assert_never`

d021757e

reduce memory usage

338ebb3d

AlexWaygood force pushed from a73a3c56 to 338ebb3d 90 days ago

Reviewers

sharkdp

Assignees

No one assigned

Labels

Milestone

No milestone

ruff [ty] Ignore reachability constraints from `assert_type` and `reveal_type` calls #24078 Open

[ty] Ignore reachability constraints from `assert_type` and `reveal_type` calls #24078

ruff
[ty] Ignore reachability constraints from `assert_type` and `reveal_type` calls
#24078

Open