no error when using generic in `except` block

from typing import Generic, TypeVar

T = TypeVar("T")


class Foo(Exception, Generic[T]): ...


try:
    raise Foo
except Foo[int]: # no error, crashes at runtime
    ...

playground

this should be a type error because it fails at runtime with the following exception:

TypeError: catching classes that do not inherit from BaseException is not allowed

Beginne damit, den bereitgestellten Python-Reproduzer mit mypy auszuführen, und untersuche, wie generische Exception-Typen in einer except-Klausel behandelt werden. Verfolge den relevanten Typprüfpfad und füge für dieses Beispiel einen Regressionstest hinzu; abgeschlossen ist die Arbeit, wenn mypy einen Typfehler meldet, anstatt Code zu akzeptieren, der zur Laufzeit fehlschlägt.