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.

Commencez par reproduire le problème avec mypy --disallow-any-explicit sur l’exemple montré TypeVar("Fn", bound=Callable[..., object]), puis suivez la manière dont les diagnostics concernant Any explicite traitent ... dans une contrainte Callable. Le travail est terminé lorsque la contrainte est signalée comme le cas intentionnel d’Any non sûr, sans produire d’erreurs parasites à chaque utilisation de Fn.