针对Skulpt补全场景，如何抑制mypy的模块遮蔽报错？

以下是满足你三个要求的具体解决方法：

方法一：在目标文件内添加mypy指令注释 #

直接在你的typing.py或typing_extensions.py文件最顶部插入以下注释：

# mypy: fake-mypy-path=
# mypy: allow-redefinition

• fake-mypy-path=：清空mypy的自定义模块搜索路径，强制它优先使用标准库自带的typing/typing_extensions类型 stub，而非你本地poly-fill文件里的注解。
• allow-redefinition：允许你在poly-fill中重新定义标准库已存在的类型，避免mypy抛出"名称已定义"的报错。
• 这个设置只会对当前文件生效，且mypy仍会正常检查文件内的其他类型问题，完全符合你的三个条件。

方法二：通过全局配置文件针对特定模块设置 #

如果不想在代码里加注释，可以修改项目的pyproject.toml或mypy.ini，添加针对目标模块的覆盖配置：

用pyproject.toml的示例： #

[tool.mypy]
# 这里保留你的全局mypy配置

[[tool.mypy.overrides]]
module = "typing, typing_extensions"
fake_mypy_path = ""
allow_redefinition = true

用mypy.ini的示例： #

[mypy]
# 全局配置...

[mypy-typing,mypy-typing_extensions]
fake_mypy_path =
allow_redefinition = True

这种方式同样能实现：仅对typing和typing_extensions模块生效，强制mypy使用标准库类型 stub，同时保留对这两个文件的类型检查。

关键说明 #

• fake_mypy_path的核心作用是让mypy跳过本地同名模块的类型查找，直接使用内置的标准库类型定义，完美匹配你"不使用本地文件类型提示"的需求。
• allow_redefinition是必要的，因为你的poly-fill本质是重写标准库模块的内容，这个设置能抑制对应的重定义报错。

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