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

Inizia riproducendo l'esempio semplificato di overload e seguendo il controllo del tipo restituito dall'implementazione in mypy. Confronta il controllo attuale con is_subtype() con il comportamento proposto di is_overlapping_types(), quindi determina se l'esempio debba essere accettato e convalida la decisione con una copertura di regressione.