如何使用 Pyright 运行代码类型检查的 python 代码？

如何解决如何使用 Pyright 运行代码类型检查的 python 代码？

我已经安装了 Pyright 来对我的 Python 代码进行类型检查，但我不确定如何运行它。例如，这是我的代码

def add(x: int,y: int):
    return x + y


print(add(10,20))

当我尝试使用 python、python typed.py 运行它时，出现以下错误：

  File "typed.py",line 2
    def add(x: int,y: int):
             ^
SyntaxError: invalid Syntax

我已经浏览了文档，但没有找到编译或运行代码的选项。如何运行这些类型化的 Python 代码？