考虑以下代码：
def foo(a: dict[str | tuple[str, str], str]) -> None:
pass
def bar(b: dict[str, str]) -> None:
foo(b)
def baz(b: dict[tuple[str, str], str]) -> None:
foo(b)
foo({"foo": "bar"})
foo({("foo", "bar"): "bar"})
当在严格模式下使用 mypy 检查时，会产生以下错误：
file.py:6: error: Argument 1 to "foo" has incompatible type "Dict[str, str]"; expected "Dict[Union[str, Tuple[str, str]], str]"
file.py:9: error: Argument 1 to "foo" has incompatible type "Dict[Tuple[str, str], str]"; expected "Dict[Union[str, Tuple[str, str]], str]"
这对我来说似乎没有意义。该参数被定义为接受dict以字符串或元组作为键，以字符串作为值的 a。然而，当明确注释时，这两种变体都不被接受。然而，当将这样的字典直接传递给函数时，它们确实可以工作。在我看来，mypy 期望一个字典必须能够将联合体的两个选项作为键。我不明白为什么？如果键的约束是字符串或字符串的元组，则传递任何一个都可以。正确的？我在这里错过了什么吗？