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.

Empieza reproduciendo el problema con mypy --disallow-any-explicit usando el ejemplo mostrado TypeVar("Fn", bound=Callable[..., object]) y, después, sigue cómo los diagnósticos de Any explícito gestionan ... en un límite de Callable. El trabajo estará terminado cuando el límite se diagnostique como el caso intencional de Any inseguro sin producir errores espurios en cada uso de Fn.