I've just asked this question <https://github.com/python/mypy/issues/15560> of the mypy devs.
Any comments? :-) Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/7f8e6eaf-2182-4777-9634-d2c7a53d3e4an%40googlegroups.com.