Guido van Rossum <gu...@python.org> added the comment:
> Mypy already takes first overload for ambiguous arguments. This is true, but it requires that the return types match (covariantly, IIUC) for the overlapping types. So you can have @overload def foo(x: int) -> int: ... @overload def foo(x: float) -> float: ... But you can't have @overload def foo(x: int) -> str: ... @overload def foo(x: float) -> float: ... (and the docs explain why -- search for "unsafe_func"). ---------- _______________________________________ Python tracker <rep...@bugs.python.org> <https://bugs.python.org/issue36555> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
