python/mypy 使用元组进行详尽检查

Question

我正在尝试匹配

Union

的值并让 mypy 执行详尽检查。这是一个最小的工作示例：

t: tuple[int, float] | str
match t:
    case str():
        print("found str")
    case (int(), float()):
        print("found tuple")
    case _ as unreachable:
        assert_never(unreachable)

我希望这能通过 mypy 检查，因为这两个选项都被涵盖了。但我收到一个错误

Argument 1 to "assert_never" has incompatible type "tuple[<nothing>, <nothing>]"; expected "NoReturn"  [arg-type]

这表明值

case

缺少

tuple[<nothing>, <nothing>]

。 我一直无法找到任何有关匹配元组的限制的信息。我错过了什么还是这是我的错误？

Answer 1

好吧，这似乎是一个已知问题。见

https://github.com/python/mypy/issues/14833

https://github.com/python/mypy/issues/12364