mirror of
https://github.com/davidhalter/jedi.git
synced 2026-01-25 21:26:42 +08:00
In all other py__iter__ definitions that I found, this argument is optional. It also often seems to not be passed around. I'm not sure why it was deemed mandatory here despite not being used.