我的代码看起来像这样，BDW 运行良好，没有任何错误
from typing import Literal
def verify(word: str) -> Literal['Hello XY']:
a = 'Hello ' + word
return a
a = verify('XY')
虽然，当我尝试使用 mypy 进行类型检查时，它会抛出错误error: Incompatible return value type (got "str", expected "Literal['Hello XY']")
注意：要执行类型检查mypy ./filename.py，只需在 pip 安装 mypy 后执行 。
另外，当我这样做时，类型检查工作正常
from typing import Literal
def verify(word: str) -> Literal['Hello XY']:
a = 'Hello ' + word
return 'Hello XY' #changed here
a = verify('XY')
我缺少什么？