erroneous complaint that overloaded function implementation does not accept all possible arguments of signature

Bug Report

Erroneous complaint that overloaded function implementation does not accept all possible arguments of signature.

To Reproduce

from datetime import datetime
from typing import overload

class Sample:

    @overload
    @classmethod
    def set(cls, year: int) -> None:
        ...

    @overload
    @classmethod
    def set(cls, instance: datetime, / ) -> None:
        ...

    @classmethod
    def set(cls, *args: datetime | int, **kw: int) -> None:
        pass

Expected Behavior

The above should pass type checking.

Pyright's happy enough:

$ pyright typing_bug.py 
0 errors, 0 warnings, 0 informations 

Actual Behavior

$ mypy typing_bug.py 
typing_bug.py:16: error: Overloaded function implementation does not accept all possible arguments of signature 1  [misc]
Found 1 error in 1 file (checked 1 source file)

Your Environment

• Mypy version used: 1.14.1 (compiled: yes)
• Mypy command-line flags: None, see above
• Mypy configuration options from mypy.ini (and other config files): None.
• Python version used: Python 3.12.1

使用 mypy 1.14.1 重现 typing_bug.py 中的报告，并将结果与 pyright 进行比较。跟踪 classmethod 示例的 overload 实现兼容性检查；完成的标准是 mypy 接受所示代码且不再给出错误的投诉，同时保留对不兼容实现的有效诊断。