假设我有一个将字典作为参数的函数：
def f(d: dict) -> None:
x = d["x"]
print(x)
我可以指定这本字典必须有"x"mypy的键吗？我正在寻找类似于typescript 的 interface 的东西，而无需更改d为类。
我不想更改d为类的原因是因为我正在修改一个大型现有代码库以添加mypy类型检查并且该字典在许多地方使用。如果我必须将所有实例更改为d["x"]，我将不得不修改大量代码d.x。