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.

Inizia riproducendo il problema con mypy --disallow-any-explicit sull’esempio mostrato TypeVar("Fn", bound=Callable[..., object]), quindi traccia il modo in cui le diagnosi relative ad Any esplicito gestiscono ... in un vincolo Callable. Il lavoro è completo quando il vincolo viene diagnosticato come il caso intenzionalmente non sicuro di Any senza produrre errori spurii a ogni uso di Fn.