[spec] Overload processing order

It's my understanding that overloads are processed in order. I.e. given the following overloads:

@overload
def foo(x: int) -> None: ...
@overload
def foo(x: int | str) -> None: ...
@overload
def foo(x: str) -> None: ...

When called with an int, the first overload is matched, when called with a str, the second is matched. The third is never matched. (Not going into what happens when called with int | str.) Currently, this behavior is not mentioned in the spec.

まず、オーバーロード解決について説明している typing specification のセクションを見つけ、現在の文言を issue にある順序依存の例と比較してください。作業は、specification がオーバーロードを順序どおりに処理する方法を明確に示し、提示された int と str のケースを説明した時点で完了です。