overloads in `if TYPE_CHECKING` shouldn't require implementations

Feature

As I explained in the title.

Pitch

Currently this raises an error:

from typing import TYPE_CHECKING, overload

if TYPE_CHECKING:
    @overload  # E: An overloaded function outside a stub file must have an implementation
    def f(x: int) -> str:
        ...
    
    @overload
    def f(x: str) -> bytes:
        ...

I think that if code is in if TYPE_CHECKING then it shouldn't need an implementation though.

Beginne damit, die Diagnose mit dem bereitgestellten TYPE_CHECKING- und overload-Snippet zu reproduzieren, und verfolge dann den Type-Checking-Pfad, der die fehlende Implementierung meldet. Als erledigt gilt es, wenn Overloads innerhalb von TYPE_CHECKING ohne Implementierung akzeptiert werden, während die bestehende Anforderung für gewöhnlichen Python-Code erhalten bleibt.