Incompatible typing for `logging.Formatter.converter` and `time.gmtime`/`time/localtime` ?

The typing for converter here is as follows:

converter: Callable[[float | None], struct_time]

And the typing for time.gmtime/time.localtime here is:

def gmtime(seconds: float | None = None, /) -> struct_time: ...
def localtime(seconds: float | None = None, /) -> struct_time: ...

Yet when I try to typecheck this code:

import logging
import time

class UTCFormatter(logging.Formatter):
    converter = time.gmtime

I get the following error:

$ mypy main.py
main.py:5: error: Incompatible types in assignment (expression has type "Callable[[], struct_time]", base class "Formatter" defined the type as "Callable[[float | None], struct_time]")  [assignment]
Found 1 error in 1 file (checked 1 source file)

I tested this on a fresh python3.13 venv with the following deps installed:

mypy==1.18.2
mypy_extensions==1.1.0
pathspec==0.12.1
typing_extensions==4.15.0

Bắt đầu với stdlib/logging/init.pyi và stdlib/time.pyi tại các định nghĩa được tham chiếu, sau đó tái hiện phép gán bằng mypy với ví dụ trong issue. Kiểm tra lý do hai chú thích callable bị coi là không tương thích và cập nhật phần kiểu hóa stub liên quan để ví dụ được kiểm tra kiểu mà không có lỗi phép gán.