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

Commencez par reproduire l’exemple simplifié de surcharge et suivre la vérification du type de retour de l’implémentation dans mypy. Comparez la vérification actuelle avec is_subtype() au comportement proposé de is_overlapping_types(), puis déterminez si l’exemple doit être accepté et validez cette décision avec une couverture de régression.