contextmanager decorators require Generators

[asottile]

Resolves#2772

[asottile]

the sample from the issue now fails with:

$ mypy --custom-typeshed . t.py t.py:4: error: Argument 1 to "contextmanager" has incompatible type "Callable[[], Iterator[int]]"; expected "Callable[..., Generator[<nothing>, Any, Any]]"

I wasn't sure what to put for the other generic parameters for Generator / AsyncGenerator so I set them as Any

Also wasn't sure how else to test this so hopefully CI points me in the right direction if I've messed it up 😆

[asottile]

hmmm, CI is failing -- looks like AsyncGenerator was introduced in 3.5.4 -- I don't know what to do to resolve that though :(

[ilevkivskyi]

Will this allow:

@contextmanagerdeffunc() ->Iterator[int]:
yield1# explicit

If not, then there is no way this can be merged. There are thousands existing annotations like this, and we can't make them all fail because of a false negative in rare corner case.

[asottile]

it will not, Iterator[T] isn't the correct type for a generator -- but it's understandable that you wouldn't want to break things. and as far as I know there isn't a warning mechanism to nudge people in the right direction.

my original issue is because of a particularly nasty bug enabled by a developer's misunderstanding of how contextmanager works (that, surprise surprise, was only triggered in an exceptional case). that mypy failed to catch this statically was the real kicker because if the annotation was correct in typeshed this would have been caught before review and long before production. (@contextmanager decorating a function which returns an actual Iterator[T] works in non-exception cases)

[ilevkivskyi]

and as far as I know there isn't a warning mechanism to nudge people in the right direction

Actually there is basic support for warnings in mypy. But currently warnings still give return code 1. There is some (slowly moving) ongoing work on how to treat errors/warnings more systematically.

[JelleZijlstra]

I agree with @ilevkivskyi that we can't afford to break all existing annotations that use Iterator for contextmanagered functions. Maybe for now we can just add a comment in the stub to clarify.

Another way forward could be to add special-casing in mypy that detects when a generator function has Iterator[T] as its declared return type and changes it to Generator[T, None, None].

[msullivan]

Another way forward could be to add special-casing in mypy that detects when a generator function has Iterator[T] as its declared return type and changes it to Generator[T, None, None].

This seems like a good idea to me

[srittau]

I have marked this as deferred for now. While I think that in general typeshed should have exact types, but backwards compatibility is an issue. Until that is solved/worked around we can't merge this.