我可以告诉 Python 类型检查器它应该预料到类型错误吗？

Question

我可以告诉类型检查器忽略这样的类型错误：

# somewhere
a: int
 
...

# elsewhere
a = "1"  # type: ignore

但是我希望类型检查器在被忽略的赋值开始通过时发出警告。 所以我可以在我的测试中编写这个，并在将

str

分配给

a

突然开始通过时失败：

a = "1"  # type: expected error

我尝试过：

assigning_string = (a := "1")  # type: ignore
assert_type(assigning_string, Never)

这可能读起来不错，但实际上没有意义。

这是一个小例子。在实际应用程序中，我正在处理描述符和类型变量。

Answer 1

• 我的：

  --warn-unused-ignores

  ：

  每当您的代码在实际未生成错误消息的行上使用

  # type: ignore

  注释时，此标志将使 mypy 报告错误。

• 皮赖特：

  reportUnnecessaryTypeIgnoreComment

  ：

  生成或抑制针对

  # type: ignore

  或

  # pyright: ignore

  注释的诊断，如果删除该注释则不会产生任何影响。