Check for return type of overload implementation is too strict?

Consider this simplified example:

from typing import overload, Optional, List
  
@overload
def f(x: int) -> List[int]: ...
@overload
def f(x: None) -> List[Optional[int]]: ...

def f(x: Optional[int]) -> List[Optional[int]]:
    return [x]

Mypy currently complains about it that:

Overloaded function implementation cannot produce return type of signature 1

Although I understand why this happens, it is a bit annoying and can be perceived as a false positive. Maybe we should use is_overlapping_types() instead of is_subtype() for the check?

cc @Michael0x2a

Beginne damit, das vereinfachte Overload-Beispiel zu reproduzieren und die Prüfung des Rückgabetyps der Implementierung in mypy nachzuverfolgen. Vergleiche die aktuelle Prüfung mit is_subtype() mit dem vorgeschlagenen Verhalten von is_overlapping_types() und bestimme anschließend, ob das Beispiel akzeptiert werden sollte, und validiere die Entscheidung mit einer Regressionstestabdeckung.