mirror of
https://github.com/davidhalter/jedi.git
synced 2026-09-15 10:20:38 +08:00
I've queried this in https://github.com/python/typeshed/issues/4360, though I suspect the answer is going to be to have an ignore comment like this.