为什么mypy不能从@overload中推断函数注释？

mypy是一个静态类型检查工具，用于对Python代码进行类型检查。@overload是Python中的一个装饰器，用于定义函数的多个重载版本。然而，mypy在类型推断过程中无法从@overload中推断函数注释的原因是，@overload只是用于提供函数的多个重载版本，而不是实际的函数实现。

在Python中，函数的类型注释是可选的，而且在运行时并不会被强制执行。mypy通过静态分析代码来检查类型错误，但它无法理解@overload装饰器中的函数注释，因为它只是用于提供函数的多个重载版本，而不是实际的函数实现。

为了解决这个问题，可以在@overload装饰器之后，再定义一个实际的函数实现，并在该函数实现中添加类型注释。这样，mypy就能够正确地推断函数注释了。

总结起来，mypy不能从@overload中推断函数注释，是因为@overload只是用于提供函数的多个重载版本，而不是实际的函数实现。为了解决这个问题，可以在@overload装饰器之后，再定义一个实际的函数实现，并在该函数实现中添加类型注释。