Typing with ClassVar[Optional[Callable]] doesn't work if the callable has arguments

Typing an attribute in a base class with ClassVar[Optional[Callable]] results in a type error even though the typing is seemingly sound.

To Reproduce

Playground: https://mypy-play.net/?mypy=master&python=3.11&gist=4f52f561801eeb053b6d0a47c9afbc15

class BaseClass:
    attr: ClassVar[Optional[Callable]] = None

class ChildClass2(BaseClass):
    @staticmethod
    def attr(s: str):
        pass

Expected Behavior

Mypy shouldn't return any errors.

Additionally, the same should happen when Callable is also typed itself, e.g. Callable[[str], None]. Right now both fail when they shouldn't.

Actual Behavior

test.py:10: error: Signature of "attr" incompatible with supertype "BaseClass"  [override]

Your Environment

• Mypy version used: 1.1.1, 1.2
• Mypy command-line flags: no relevant options
• Mypy configuration options from mypy.ini (and other config files): no relevant options
• Python version used: 3.11

Additional information

Interestingly, if the callable doesn't have any arguments, mypy doesn't fail:

class BaseClass:
    attr: ClassVar[Optional[Callable]] = None

class ChildClass2(BaseClass):
    @staticmethod
    def attr():
        pass

リンクされている mypy-play の再現例を Python 3.11 で開始し、型付けされていない Callable のケースと型付けされた Callable のケースを比較します。ClassVar Optional Callable の override チェックの経路を追跡し、両方の staticmethod の例で互換性のないシグネチャのエラーが発生しないことを確認します。