[@overload]: What is the effect of the *implementation* type-signature?

One thing that I've found underspecified when using @overload is what the type signature of the actual function should be.

For example, let's say I have a function like:

from typing import overload, Literal

@overload
def f(x: int, z: Literal[True]) -> str: ...
@overload
def f(x: int, z: Literal[False] = ...) -> int: ...
def f(x: int, z: bool = False) -> str | int:
    if z:
        return "hello"
    return 1

What is the effect of the last line? In particular:

• The documentation and examples often just use no annotations for the implementation signature (def f(x, z):). Is that the right thing to do (I sometimes get Overloaded implementation is not consistent with signature of overload 1 errors if I leave out the type annotations)?
• If I do specify types on the last, do I also have to add it to @overload list -- in other words:

@overload
def f(x: int, z: Literal[True]) -> str: ...
@overload
def f(x: int, z: Literal[False] = ...) -> int: ...
@overload
def f(x: int, z: bool = ...) -> str | int   # is this overload necessary?
def f(x: int, z: bool = False) -> str | int:
    if z:
        return "hello"
    return 1

Both pyright and mypy seem to interpret things differently with and without it (e.g. see this play link).

I understand that @overload is a complicated feature, but I'm hoping this is a small corner we can start with.

Bắt đầu với các ví dụ @overload trong issue này và chạy chúng trong Pyright playground được liên kết, sau đó so sánh kết quả với mypy. Xem xét cách hai công cụ diễn giải các chữ ký triển khai và danh sách overload. Công việc được xem là hoàn tất khi đạt được một giải thích đã thống nhất về ngữ nghĩa và ghi lại hành vi dự kiến cũng như các ví dụ.