Thanks Ethan for all the work! I will be glad to see this accepted and implemented in mypy. -- Ivan -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mail.python.org/pipermail/python-dev/attachments/20171113/fa21fae9/attachment.html>