Adding Overloads of stdlib Built-in Types __new__ with No Arguments

Calling int() and str() with no arguments returns 0 and "" respectively, likewise for bool() == False and bytes() == b"". But to actually call these constructors without arguments is very unusual and is likely a mistake on part of the user.

# a and b are two strings
x = int(a)
y = int()    # typo, should be int(b)

x / y    # ZeroDivisionError

It will be helpful for type stubs to denote that such no-argument calls return a constant value, and for IDEs to possibly notify of such use.

Currently the stub for int.__new__ looks like this:

https://github.com/python/typeshed/blob/904ea9ec022ae75d282f6a4c34563e4e9b8eed15/stdlib/builtins.pyi#L257

class int:
    @overload
    def __new__(cls, x: ConvertibleToInt = 0, /) -> Self: ...

and str.__new__:

class str(Sequence[str]):
    @overload
    def __new__(cls, object: object = "") -> Self: ...

I suggest adding an overload with no argument and removing the default parameter value from the one-arg __new__, though I'm not sure if there are existing special behaviors of type checkers regarding builtins that I'm unaware of.

Comienza con stdlib/builtins.pyi, especialmente con las definiciones de int.new y str.new enlazadas en el issue, e inspecciona los stubs de los constructores integrados correspondientes para bool y bytes. Comprueba cómo los comprobadores de tipos existentes gestionan los parámetros predeterminados frente a los overloads separados y, después, asegúrate de que los stubs distingan las llamadas sin argumentos de las llamadas con un argumento y validen los valores constantes inferidos resultantes.