Mypy无法识别函数内的类型错误，该如何解决？

以下是几个关键的解决步骤：

• 启用严格检查或针对性参数
  运行mypy时添加--strict参数，它会开启全套严格类型检查规则，包括函数内部的类型验证。如果不想启用全部严格规则，也可以单独使用--check-untyped-defs参数，强制mypy检查没有添加类型注解的函数内部代码。

• 为函数添加类型注解
  如果你的函数没有定义参数和返回值的类型注解，mypy默认会跳过对其内部代码的类型检查。给函数补上完整的类型注解，比如：

  def calc() -> None:
      def multiply(x: int, y: int) -> int:
          return x * y
      multiply("5", 3)  # 此处参数类型不匹配，mypy会正常检测到错误
  

• 移除不必要的类型忽略注释
  检查函数内部是否存在# type: ignore这类注释，它们会让mypy跳过对应行的检查，删除无关的忽略注释即可恢复检测。

• 排查版本兼容性问题
  虽然mypy 0.812对Python 3.9.2的支持基本完善，但如果上述方法无效，可以尝试升级mypy到较新版本，避免旧版本的bug导致检查遗漏。

内容的提问来源于stack exchange，提问作者Frank Schwidom