json.dump/dumps shouldn't allow `Any` when `default` is None

When default is None, we know what types are serialisable.

Thus,

import json
import types
import typing

def x(data: typing.Mapping[str, str]) -> str:
    return json.dumps(data)

def y():
    return json.dumps(types.MappingProxyType({}))

Shouldn't type-check.

Running this fails with:

File /opt/homebrew/Cellar/python@3.13/3.13.2/Frameworks/Python.framework/Versions/3.13/lib/python3.13/json/encoder.py:180, in JSONEncoder.default(self, o)
    161 def default(self, o):
    162     """Implement this method in a subclass such that it returns
    163     a serializable object for ``o``, or calls the base implementation
    164     (to raise a ``TypeError``).
   (...)    178 
    179     """
--> 180     raise TypeError(f'Object of type {o.__class__.__name__} '
    181                     f'is not JSON serializable')

TypeError: Object of type mappingproxy is not JSON serializable

Type-checking JSONEncoder itself would be much harder, but the more-commonly-used functions should be doable via overloads.

Tìm các stub của json.dump và json.dumps, đồng thời kiểm tra cách các overload của chúng xử lý đối số mặc định. Đối chiếu các ví dụ trong issue với các kiểu nhận được; công việc được xem là hoàn tất khi các lệnh gọi không có đối số mặc định từ chối các đầu vào không được hỗ trợ, còn các lệnh gọi có đối số mặc định vẫn được định kiểu phù hợp.