ruff/crates/ty_python_semantic at 8b22992988226833da6804e79fef4706fb657ead - ruff

mirror of https://github.com/astral-sh/ruff synced 2026-01-22 14:00:51 -05:00

Files

David Peter 689797a984 [ty] Type narrowing in comprehensions (#18934 )

## Summary

Add type narrowing inside comprehensions:

```py
def _(xs: list[int | None]):
    [reveal_type(x) for x in xs if x is not None]  # revealed: int
```

closes https://github.com/astral-sh/ty/issues/680

## Test Plan

* New Markdown tests
* Made sure the example from https://github.com/astral-sh/ty/issues/680
now checks without errors
* Made sure that all removed ecosystem diagnostics were actually false
positives

2025-06-25 11:30:28 +02:00