Mypy 0.720 has been released: http://mypy-lang.blogspot.com/2019/07/mypy-0720-released.html
Hiya, thanks for the bump request. This will require a new package (typing_extensions), so this may take a little big longer than a trivial bug...
Mypy 0.740 is already actual...
It is, but this is still blocked by bug 694730. I'll see what I can do to get that resolved...
Ok, should be resolved now. Do shout if there's any issues with it... 5:)