fix the weird special builtins (#13213)

stdlib/@tests/stubtest_allowlists/common.txt

@@ -239,14 +239,6 @@ asyncio.locks.Condition.acquire
 asyncio.locks.Condition.locked
 asyncio.locks.Condition.release
 
-# Weird special builtins that are typed as functions, but aren't functions
-builtins.copyright
-builtins.credits
-builtins.exit
-builtins.help
-builtins.license
-builtins.quit
-
 builtins.OSError.characters_written  # GetSetDescriptor that always raises AttributeError
 builtins.float.__getformat__  # Internal method for CPython test suite
 builtins.memoryview.__contains__  # C type that implements __getitem__

stdlib/_sitebuiltins.pyi

@@ -1,3 +1,4 @@
+import sys
 from collections.abc import Iterable
 from typing import ClassVar, Literal, NoReturn
 
@@ -5,7 +6,7 @@ class Quitter:
     name: str
     eof: str
     def __init__(self, name: str, eof: str) -> None: ...
-    def __call__(self, code: int | None = None) -> NoReturn: ...
+    def __call__(self, code: sys._ExitCode = None) -> NoReturn: ...
 
 class _Printer:
     MAXLINES: ClassVar[Literal[23]]
@@ -13,4 +14,4 @@ class _Printer:
     def __call__(self) -> None: ...
 
 class _Helper:
-    def __call__(self, request: object) -> None: ...
+    def __call__(self, request: object = ...) -> None: ...

stdlib/builtins.pyi

@@ -1,5 +1,6 @@
 # ruff: noqa: PYI036 # This is the module declaring BaseException
 import _ast
+import _sitebuiltins
 import _typeshed
 import sys
 import types
@@ -46,7 +47,6 @@ from typing import (  # noqa: Y022
     Mapping,
     MutableMapping,
     MutableSequence,
-    NoReturn,
     Protocol,
     Sequence,
     SupportsAbs,
@@ -1362,8 +1362,10 @@ def compile(
     *,
     _feature_version: int = -1,
 ) -> Any: ...
-def copyright() -> None: ...
-def credits() -> None: ...
+
+copyright: _sitebuiltins._Printer
+credits: _sitebuiltins._Printer
+
 def delattr(obj: object, name: str, /) -> None: ...
 def dir(o: object = ..., /) -> list[str]: ...
 @overload
@@ -1418,7 +1420,7 @@ else:
         /,
     ) -> None: ...
 
-def exit(code: sys._ExitCode = None) -> NoReturn: ...
+exit: _sitebuiltins.Quitter
 
 class filter(Generic[_T]):
     @overload
@@ -1452,7 +1454,9 @@ def getattr(o: object, name: str, default: _T, /) -> Any | _T: ...
 def globals() -> dict[str, Any]: ...
 def hasattr(obj: object, name: str, /) -> bool: ...
 def hash(obj: object, /) -> int: ...
-def help(request: object = ...) -> None: ...
+
+help: _sitebuiltins._Helper
+
 def hex(number: int | SupportsIndex, /) -> str: ...
 def id(obj: object, /) -> int: ...
 def input(prompt: object = "", /) -> str: ...
@@ -1478,7 +1482,9 @@ else:
 def isinstance(obj: object, class_or_tuple: _ClassInfo, /) -> bool: ...
 def issubclass(cls: type, class_or_tuple: _ClassInfo, /) -> bool: ...
 def len(obj: Sized, /) -> int: ...
-def license() -> None: ...
+
+license: _sitebuiltins._Printer
+
 def locals() -> dict[str, Any]: ...
 
 class map(Generic[_S]):
@@ -1721,7 +1727,8 @@ def pow(base: _SupportsPow3[_E, _M, _T_co], exp: _E, mod: _M) -> _T_co: ...
 def pow(base: _SupportsSomeKindOfPow, exp: float, mod: None = None) -> Any: ...
 @overload
 def pow(base: _SupportsSomeKindOfPow, exp: complex, mod: None = None) -> complex: ...
-def quit(code: sys._ExitCode = None) -> NoReturn: ...
+
+quit: _sitebuiltins.Quitter
 
 class reversed(Generic[_T]):
     @overload