`not isinstance(float_arg, float)` should narrow to int; `not isinstance(complex_arg, complex)` should narrow to float

The typing specs require that a float typed argument also accept int values, and that a complex type argument accept both int and complex values. That implies that, if we have a val typed complex, and isinstance(val, complex) returns false, it can still be an int or float. So,

def test(x: float):
    if not isinstance(x, float):
        reveal_type(x)  # Should reveal int

and,

def test(x: complex):
    if not isinstance(x, complex):
        reveal_type(x)  # Should reveal int | float (or possibly just float)

But they actually get treated as unreachable code and don't reveal anything.

Beginne damit, die beiden Snippets aus dem Issue zu reproduzieren und die vorhandenen Tests oder die Implementierung zur Typverengung zu untersuchen, die isinstance-Prüfungen verarbeitet. Fertig ist es, wenn das erste Beispiel int und das zweite int | float oder die dokumentierte akzeptable Typverengung erkennt, statt die Zweige als unerreichbar zu behandeln.