This thread starts with a copy of the discussions page <https://github.com/edreamleo/ekr-mypy/discussions/> for mypy issue #12352 <https://github.com/python/mypy/pull/12918>.
I am moving the thread here for the following reasons: - To ensure the discussion will remain after my clone of mypy disappears. - To reach the Leo audience. - To demonstrate how I go about learning a complex program. There may be lessons for future Leo devs. 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/e43f93d8-200d-4c35-a22b-f873474787a6n%40googlegroups.com.
