It seems that jedi does not support PEP 526 yet.
I can find any issues or code that mention it.
Is there any activities or plans to support this?
foo = {'bar': datetime.datetime.now()}
baz = foo['bar'] # type: datetime.datetime
# is equivalent to
baz: datetime.datetime = foo['bar']
We should do that. Probably just need to add a Python 3.6 grammar and add like 5-10 lines to Jedi. We do something very similar for Jedi.
I've implemented it on the dev branch.
Most helpful comment
I've implemented it on the dev branch.