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

Beginne mit dem minimalen Beispiel aus dem Issue und reproduziere dessen reveal_type-Ausgabe mit mypy. Verfolge die Analyse der Klassendeklaration und die Verarbeitung des dynamischen Basisausdrucks; als erledigt gilt es, wenn das Beispiel für sowohl x als auch X Any meldet und dabei das Ergebnis ohne Fehler beibehält.