(🐞) False error "statement is unreachable" with `NoReturn` overloaded method

The overloaded version has different behavior to the normal version. because it is returning NoReturn it should silence the 'unreachable' error.

from typing import overload, NoReturn


@overload
def f(a: str) -> int: ...
@overload
def f(a: str, b: NoReturn) -> NoReturn: ...

def f(a: str, b: NoReturn = ...) -> object: ...

    
b: bool
assert b

if not b:
    f("")  # error: Statement is unreachable ✅
    print("hi")

if not b:
    f("", b)  # error: Statement is unreachable ❌
    print("hi")


def f2(a: str, b: NoReturn) -> NoReturn: ...

if not b:
    f2("", b)  # no error ✅
    print("hi")

> Test run complete: 2 passed, 1 failed <

Failures:
---------------------------
if not b:
    f("", b)  # error: Statement is unreachable ❌
    print("hi")
---------------------------

Expected:
no error ✅

Actual:
error: Statement is unreachable ❌

Usa el caso reproducible de Python proporcionado como prueba inicial; rastrea cómo se comprueban las llamadas sobrecargadas cuando una firma coincidente devuelve NoReturn. Añade una prueba de regresión que muestre que f("", b) no activa el error de sentencia inalcanzable y, después, ejecuta las pruebas relevantes de mypy.