[Jasper_]

Note that PyCharm and mypy's semantics differ in some key ways:

https://youtrack.jetbrains.com/issue/PY-54411/Type-checkers-....

https://youtrack.jetbrains.com/issue/PY-24834/Support-strict...