P2502R2 defines the ownership rules of std::generator
engineeringcppcoroutinesrangesA synchronous generator needs range semantics that match a uniquely owned coroutine state. The June proposal refines iterator validity and yielded references while preserving single-pass iteration.