Exact

Exact Union RegExp

David Peter eb02aa5676 [ty] Async for loops and async iterables (#19634) ... ## Summary Add support for `async for` loops and async iterables. part of https://github.com/astral-sh/ty/issues/151 ## Ecosystem impact ```diff - boostedblob/listing.py:445:54: warning[unused-ignore-comment] Unused blanket `type: ignore` directive ``` This is correct. We now find a true positive in the `# type: ignore`'d code. All of the other ecosystem hits are of the type ```diff trio (https://github.com/python-trio/trio) + src/trio/_core/_tests/test_guest_mode.py:532:24: error[not-iterable] Object of type `MemorySendChannel[int] | MemoryReceiveChannel[int]` may not be iterable ``` The message is correct, because only `MemoryReceiveChannel` has an `__aiter__` method, but `MemorySendChannel` does not. What's not correct is our inferred type here. It should be `MemoryReceiveChannel[int]`, not the union of the two. This is due to missing unpacking support for tuple subclasses, which @AlexWaygood is working on. I don't think this should block merging this PR, because those wrong types are already there, without this PR. ## Test Plan New Markdown tests and snapshot tests for diagnostics.		2025-07-30 17:40:24 +02:00
..
async_for.md	[ty] Async for loops and async iterables (#19634)	2025-07-30 17:40:24 +02:00
for.md	[ty] Do not consider a type T to satisfy a method member on a protocol unless the method is available on the meta-type of T (#19187)	2025-07-25 11:16:04 +01:00
iterators.md
while_loop.md