Repository navigation
usage of ellipsis type should be an error #11559
Description
foo: ellipsis = ...https://mypy-play.net/?mypy=master&python=3.10&gist=c2d3912a93b253bbf3f0589148d945bf
this fails at runtime because ellipsis doesn't exist
Activity
erictraut commentedon Nov 16, 2021
This appears to be a bug in typeshed's
builtins.pyifile, which declares this symbol in the builtins namespace. Perhaps it should be moved to_typeshed.pyior renamed_ellipsisto indicate that it's private?emmatyping commentedon Nov 16, 2021
Yeah, I think this should probably be reported against typeshed, thanks for debugging that Eric!
DetachHead commentedon Nov 16, 2021
python/typeshed#3556
DetachHead commentedon Nov 16, 2021
i think this should be reopened as it looks like there's a change required on the mypy side in order to fix it. see python/typeshed#3556 (comment)
also see the mypy crashes on python/typeshed#6311
JelleZijlstra commentedon Nov 16, 2021
Yes, this is one of the instances where typeshed can't change until mypy changes. #3171 discusses the analogous issue with
builtins.function.