Repository navigation
Behavior of generator expressions doesn't match the docs when passed a non-iterable #143493
Description
Activity
just so I understand the proposed bytecode flow correctly: the plan is to have GET_ITER execute before RETURN_GENERATOR, which restores the eager TypeError while preserving the optimized frame behavior for the rest of the generator body.
If that's the case, I'd be happy to write a regression test case for this eager failure behavior to help verify the fix once it lands.
If that's the case, I'd be happy to write a regression test case for this eager failure behavior to help verify the fix once it lands.
If a fix lands, the regression test would be written at the same time. We don't separate tests from fixes. I also don't think it's an issue for newcomers considering the long history of how generator expressions behave.
- changed the title
[-]Behavior of generator expressions doesn't match the docs when passes a non-iterable sequence.[/-][+]Behavior of generator expressions doesn't match the docs when passed a non-iterable[/+]on Jan 7, 2026 - added a commit that references this issue
on Jan 16, 2026
Bug report
Bug description:
According to the docs (and in earlier versions) the correct behavior is:
The current behavior on main is arguably more logical as it is consistent with generators, but Hyrum's law dictates we need to be backwards compatible.
https://docs.python.org/3/reference/expressions.html#generator-expressions
This issue has a bit of history.
To fix #125038 we moved the
GET_ITERinstruction into the generator body. This broke stuff, so we added a supposedly redundantGET_ITERto the callsite, but that also caused problems #127682.Eventually, for 3.14 we added an additional check in
FOR_ITERthat the iterator is indeed an iterator.This adds a little bit of unnecessary overhead and is an obstacle to optimization.
On main, we use "virtual iterators" and have kept the
GET_ITERin the body of the generator. This is efficient and optimizes nicely, but doesn't conform to the docs.We can keep both the nice performance and conform to the docs, by keeping the
GET_ITERin the generator function, but moving it into generator creation and out of the generator body.Instead of:
we have:
CPython versions tested on:
CPython main branch
Operating systems tested on:
No response
Linked PRs