PR #18294 [ty] Add partial support for `TypeIs`

[ty] Add partial support for `TypeIs` #18294

InSyncWithFoo wants to merge 12 commits into astral-sh:main from InSyncWithFoo:ty-typeis

InSyncWithFoo requested a review from

carljm 216 days ago

InSyncWithFoo requested a review from

AlexWaygood 216 days ago

InSyncWithFoo requested a review from

sharkdp 216 days ago

InSyncWithFoo requested a review from

dcreager 216 days ago

AlexWaygood added ty

InSyncWithFoo force pushed from 0086737a to 15bc9edc 216 days ago

InSyncWithFoo marked this pull request as draft 216 days ago

InSyncWithFoo force pushed from 6e50c074 to cee6385b 213 days ago

InSyncWithFoo marked this pull request as ready for review 212 days ago

InSyncWithFoo requested a review from

MichaReiser 212 days ago

InSyncWithFoo force pushed from 7f8c9e33 to 78266394 212 days ago

InSyncWithFoo force pushed from 78266394 to 5d890509 212 days ago

[ty] Add partial support for `TypeIs`

62bb243d

Formatting

b7408158

Do not report calls with unrecognized targets

874818b6

Address failing tests

a5da0830

Remove `dbg!()`

bc172560

Update docs/schema

a451a160

Formatting

4379dd43

Formatting

62c14df3

Bound `TypeIs` types are singleton/single-valued

f894e8dd

Account for non-fully-static `TypeIs` types in `is_assignable_to()`

ef3d3ebb

InSyncWithFoo force pushed from 5d890509 to ef3d3ebb 211 days ago

Fix

90f93c74

Merge branch 'main' into ty-typeis

ea0d9d6e

carljm commented on 2025-06-06

InSyncWithFoo closed this 201 days ago

InSyncWithFoo deleted the ty-typeis branch 201 days ago

Reviewers

carljm

AlexWaygood

sharkdp

dcreager

MichaReiser

Assignees

No one assigned

Labels

Milestone

No milestone

ruff [ty] Add partial support for `TypeIs` #18294 Closed

[ty] Add partial support for `TypeIs` #18294

ruff
[ty] Add partial support for `TypeIs`
#18294

Closed