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

Start with the minimal example in the issue and reproduce its reveal_type output using mypy. Trace the class-statement analysis and handling of the dynamic base expression; done means the example reports Any for both x and X while preserving the no-errors result.