Skip to content

Instantly share code, notes, and snippets.

@mypy-play

mypy-play/main.py

Created November 11, 2025 15:34
Show Gist options
  • Save mypy-play/e7d1511134f2aa562af0ae8970c7feee to your computer and use it in GitHub Desktop.
Save mypy-play/e7d1511134f2aa562af0ae8970c7feee to your computer and use it in GitHub Desktop.
Download ZIP
Shared via mypy Playground
Raw
main.py
from dataclasses import dataclass
@dataclass
class A:
a: int
@dataclass(slots=True)
class ASlot:
a: int
reveal_type(A.a)
reveal_type(ASlot.a)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment