`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.

Bắt đầu bằng cách tái hiện hai snippet từ issue và kiểm tra các bài kiểm thử thu hẹp kiểu hiện có hoặc phần triển khai xử lý các phép kiểm tra isinstance. Được xem là hoàn thành khi ví dụ đầu tiên cho thấy int và ví dụ thứ hai cho thấy int | float, hoặc phép thu hẹp được chấp nhận như đã được ghi chép, thay vì coi các nhánh là không thể đạt tới.