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

Inizia con l’esempio minimo dell’issue e riproduci il relativo output di reveal_type usando mypy. Traccia l’analisi della dichiarazione di classe e la gestione dell’espressione di base dinamica; il lavoro è completato quando l’esempio segnala Any sia per x sia per X, mantenendo al contempo il risultato senza errori.