Coroutines & async generators disagree on the iteration protocol semantics

[1st1]

BPO	45088
Nosy	@gvanrossum, @ambv, @1st1, @pablogsal

^{Note: these values reflect the state of the issue at the time it was migrated and might not reflect the current state.}

Show more details

GitHub fields:

assignee = None
closed_at = None
created_at = <Date 2021-09-02.20:32:30.403>
labels = ['interpreter-core', 'type-bug', '3.10', '3.11']
title = 'Coroutines & async generators disagree on the iteration protocol semantics'
updated_at = <Date 2021-09-03.03:26:08.506>
user = 'https://github.com/1st1'

bugs.python.org fields:

activity = <Date 2021-09-03.03:26:08.506>
actor = 'yselivanov'
assignee = 'none'
closed = False
closed_date = None
closer = None
components = ['Interpreter Core']
creation = <Date 2021-09-02.20:32:30.403>
creator = 'yselivanov'
dependencies = []
files = []
hgrepos = []
issue_num = 45088
keywords = []
message_count = 1.0
messages = ['400951']
nosy_count = 4.0
nosy_names = ['gvanrossum', 'lukasz.langa', 'yselivanov', 'pablogsal']
pr_nums = []
priority = 'normal'
resolution = None
stage = 'needs patch'
status = 'open'
superseder = None
type = 'behavior'
url = 'https://bugs.python.org/issue45088'
versions = ['Python 3.10', 'Python 3.11']

[1st1]

See this script:

https://gist.github.com/1st1/eccc32991dc2798f3fa0b4050ae2461d

Somehow an identity async function alters the behavior of manual iteration though the wrapped nested generator.

This is a very subtle bug and I'm not even sure if this is a bug or not. Opening the issue so that I don't forget about this and debug sometime later.

[iritkatriel]

Copying Yury's script from the link to here:

import types

class MyError(Exception): pass

@types.coroutine
def _async_yield(v):
    return (yield v)


async def test():
    try:
        await _async_yield(1)
    except MyError:
        await _async_yield(2)
    return
    yield


def thin_anext(gen):
    return gen.__anext__()


async def thick_anext(gen):
    return await gen.__anext__()


def run(anext):
    print('\n\n+++ run', anext)

    gen = test()

    aw = anext(gen).__await__()
    print('1. send', aw.send(None))
    aw.close()

    aw = anext(gen).__await__()
    try:
        val = aw.throw(MyError, MyError(), None)
        print('2. throw: got value', val)
    except MyError as e:
        print('2. throw: got error', type(e), e)


run(thin_anext)
run(thick_anext)

Output:

+++ run <function thin_anext at 0x7fd1cd682840>
1. send 1
2. throw: got value 2


+++ run <function thick_anext at 0x7fd1cd6828e0>
1. send 1
2. throw: got error <class '__main__.MyError'>