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

Comienza reproduciendo el ejemplo simplificado de sobrecarga y siguiendo la comprobación del tipo de retorno de la implementación en mypy. Compara la comprobación actual con is_subtype() con el comportamiento propuesto de is_overlapping_types(), determina después si el ejemplo debería aceptarse y valida la decisión con cobertura de regresión.