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

[ty] Add partial support for `TypeIs`

InSyncWithFoo committed 212 days ago

Formatting

InSyncWithFoo committed 212 days ago

Do not report calls with unrecognized targets

InSyncWithFoo committed 212 days ago

Address failing tests

InSyncWithFoo committed 212 days ago

Remove `dbg!()`

InSyncWithFoo committed 212 days ago

Update docs/schema

InSyncWithFoo committed 212 days ago

Formatting

InSyncWithFoo committed 212 days ago

Formatting

InSyncWithFoo committed 212 days ago

Bound `TypeIs` types are singleton/single-valued

InSyncWithFoo committed 212 days ago

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

InSyncWithFoo committed 212 days ago

Fix

InSyncWithFoo committed 212 days ago

Merge branch 'main' into ty-typeis

InSyncWithFoo committed 210 days ago

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