False positive error "incompatible type" calling super() on a generic class with TypeVar constraints

Reduced test case (mypy-playground):

from typing import Generic, TypeVar

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


class C(Generic[T]):
    def __init__(self, i: T) -> None:
        self.i: T = i


class B(C[T]):
    def __init__(self, i: T) -> None:
        super().__init__(i)

main.py: note: In member "__init__" of class "B":
main.py:13:26: error: Argument 1 to "__init__" of "C" has incompatible type "float"; expected "T"  [arg-type]
main.py:13:26: error: Argument 1 to "__init__" of "C" has incompatible type "int"; expected "T"  [arg-type]
Found 2 errors in 1 file (checked 1 source file)

Originally posted by @leandro-lucarella-frequenz in https://github.com/python/mypy/issues/13566#issuecomment-1443582479 (this is a very similar issue but not exactly the same)

Inizia eseguendo con mypy l’esempio Python ridotto dell’issue e confronta le relative diagnosi con il comportamento previsto per il TypeVar vincolato. Traccia la gestione delle classi base generiche e della chiamata a super(), quindi aggiungi o aggiorna un test di regressione in modo che questo esempio non segnali più tipi incompatibili, mentre gli errori effettivi continuino a essere diagnosticati.