False positive with disallow-any-explicit and `...` in `Callable` in bound of type var

I want a generic function type, but I don't want to get spurious Any errors on every usage.

from typing import Callable, TypeVar

Fn = TypeVar("Fn", bound=Callable[..., object])

mypy --disallow-any-explicit .

error: Explicit "Any" is not allowed
    Fn = TypeVar("Fn", bound=Callable[..., object])
    ^

I understand that this is actually usable as unsafe Any garbage:

def foo(fn: Fn) -> Fn:  # type safe usage
    fn(1)  # not type safe usage

So this should be the only place where the error appears.

まず、示されている TypeVar("Fn", bound=Callable[..., object]) の例で mypy --disallow-any-explicit を使って問題を再現し、次に明示的な Any の診断が Callable の bound 内の ... をどのように処理するかを追跡します。Fn を使用するたびに誤ったエラーを生成せず、bound が意図された安全でない Any のケースとして診断されれば完了です。