¿Qué impide usar la sobrecarga de métodos que solo difiere en el tipo de resultado devuelto?

La sobrecarga de métodos que solo difieren en el tipo de valor de retorno no es posible, porque el compilador no puede determinar de manera inequívoca qué método llamar, basándose únicamente en el tipo de resultado de retorno. Al llamar a un método, el compilador mira el nombre del método y los tipos de parámetros, pero no en el tipo de retorno.

Por ejemplo, si hay dos métodos:

func getValue() -> Int { ... }
func getValue() -> String { ... }

Al llamar a getValue(), el compilador no podrá entender qué versión llamar, ya que la firma del método coincide en nombre y parámetros (que no hay), y la única diferencia está en el tipo de retorno.

Por lo tanto, para la sobrecarga de métodos, es necesario distinguirlos por la cantidad o los tipos de parámetros, y no por el tipo de retorno.