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

从引用的定义处开始检查 stdlib/logging/init.pyi 和 stdlib/time.pyi，然后使用 issue 中的示例通过 mypy 重现赋值。检查为什么两个可调用注解会被视为不兼容，并更新相关的 stub 类型标注，使该示例能够在没有赋值错误的情况下通过类型检查。