Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update "mypy comparison" documentation based on recent improvements i…
…n mypy (#9502) It now uses union over join in more situations. See https://mypy-play.net/?mypy=latest&python=3.13&gist=c8e017a31980f3c4fc6fc66ed2331da9
- Loading branch information