Generic subclass of a generic class, using a constrained TypeVar is mishandled

Bug Report

from typing import Generic, TypeVar

T = TypeVar("T")
N = TypeVar("N", int, float)

class C(Generic[T]):
    def __init__(self, c: T):
        self.c = c

class C2(C[N]):
    def __init__(self, c: N):
        super().__init__(c) # Unexpected error

results in an unexpected

error: Argument 1 to "__init__" of "C" has incompatible type "int"; expected "N"  [arg-type]
error: Argument 1 to "__init__" of "C" has incompatible type "float"; expected "N"  [arg-type]

on the last line of the test file.

Your Environment

Confirmed with mypy 1.11.2 in Python 3.11.9, without any flags; does not seem version-specific.

Beginne damit, das gemeldete Snippet mit mypy 1.11.2 unter Python 3.11.9 ohne Flags zu reproduzieren, und untersuche die Behandlung des eingeschränkten TypeVar N in der generischen Unterklasse und im Aufruf von super().init. Erledigt ist dies, wenn das Beispiel nicht mehr die beiden unerwarteten arg-type-Fehler ausgibt und dabei die beabsichtigte generische Typprüfung erhalten bleibt.