You can currently work around this in .py with something like:

```

if TYPE_CHECKING:
    AnyBaseClass = Any
else:
    AnyBaseClass = object

class X(AnyBaseClass): ...

```

As far as I'm aware, type checkers already support this. We inherit from Any in typeshed in a couple places. The need to support Any inheritance also arises naturally as a result of gradual typing, e.g. if your base class comes from an untyped library or the import cannot be resolved.

I've used this trick myself a couple times and have seen use cases for this a couple times on gitter.im. It's a neat way to silence many errors from classes that do super dynamic things or to allow for classes that can duck type anywhere (e.g. mocks).