Mypy thinks that `class` statement always produces some class

from typing import Any
s: Any = slice(1, 2, 3)

class X(s): ...

print(X) # slice('X', (slice(1, 2, 3),), {'__module__': '__main__', '__qualname__': 'X'})
x = X() # TypeError: 'slice' object is not callable

reveal_type(x) # test.X
reveal_type(X) # def (*_args: Any, **_kwds: Any) -> test.X

At runtime X is not a class, it is instance of slice, but mypy thinks that class statement always produces some class.

Expected Behavior

• no errors
• revealed types Any and Any

Actual Behavior

• no errors
• revealed type X and def (...) -> X, what is wrong

Your Environment

• Mypy version used: mypy 0.971 (compiled: yes)
• Mypy command-line flags: none
• Mypy configuration options from mypy.ini (and other config files): none
• Python version used: 3.10.6
• Operating system and version: Win10

Comienza con el ejemplo mínimo del issue y reproduce su salida de reveal_type usando mypy. Sigue el análisis de la declaración de clase y el manejo de la expresión de base dinámica; se considera terminado cuando el ejemplo informa de Any tanto para x como para X, conservando al mismo tiempo el resultado sin errores.