Skip to content

Instantly share code, notes, and snippets.

@mypy-play

mypy-play/main.py

Created May 24, 2024 22:00
Show Gist options
  • Save mypy-play/272a0f25b3cc0c6be5c1e4ef427802fe to your computer and use it in GitHub Desktop.
Save mypy-play/272a0f25b3cc0c6be5c1e4ef427802fe to your computer and use it in GitHub Desktop.
Download ZIP
Shared via mypy Playground
Raw
main.py
from typing import Protocol, final
@final
class Inter(Protocol):
x: int
def y(self) -> int:
...
@property
def z(self) -> int:
...
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment