mypy v0.740 It seems these two options do the same thing so they probably should be named similarly. Probably `--custom-typing` should be renamed `--custom-typing-module`.
mypy v0.740
It seems these two options do the same thing so they probably should be named similarly.
Probably
--custom-typingshould be renamed--custom-typing-module.