language-servers/ruff
1
0
Fork 0
mirror of https://github.com/astral-sh/ruff.git synced 2025-12-23 09:19:39 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

cleanup(type_guards.md): add explanation for weird complex intersection case

Browse source
This commit is contained in:
Eric Mark Martin 2025-10-19 18:31:29 -04:00
parent ca5e6070be
commit b610969a9f
1 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
crates/ty_python_semantic/resources/mdtest/narrow/type_guards.md
View file

@ -19,7 +19,9 @@ def _(
):
reveal_type(a) # revealed: TypeGuard[str]
reveal_type(b) # revealed: TypeIs[str | int]
# TODO: Should be `TypeGuard[complex & ~int & ~float]` - intersection not preserved in type expression
# not `TypeGuard[complex & ~int & ~float]`: `complex` in argument position
# means `complex & int & float` semantically so `Intersection[complex,
# Not[int], Not[float]]` means `complex` semantically
reveal_type(c) # revealed: TypeGuard[complex]
reveal_type(d) # revealed: TypeIs[tuple[<class 'bytes'>]]
reveal_type(e) # revealed: Unknown
@ -213,7 +215,7 @@ class C(Generic[T]):
def _(a: tuple[Foo, Bar] | tuple[Bar, Foo], c: C[Any]):
if reveal_type(guard_foo(a[1])): # revealed: TypeGuard[Foo @ a[1]]
# TODO: Should be `tuple[Bar, Foo]` - requires narrowing tuple by subscript
# TODO: Should be `tuple[Bar, Foo]`
reveal_type(a) # revealed: tuple[Foo, Bar] | tuple[Bar, Foo]
reveal_type(a[1]) # revealed: Foo