Skip to content

Instantly share code, notes, and snippets.

@mypy-play

mypy-play/main.py

Created April 23, 2025 22:43
Show Gist options
  • Save mypy-play/9558d65312b99c1ac2a28863ffadde33 to your computer and use it in GitHub Desktop.
Save mypy-play/9558d65312b99c1ac2a28863ffadde33 to your computer and use it in GitHub Desktop.
Download ZIP
Shared via mypy Playground
Raw
main.py
from typing_extensions import deprecated
@deprecated("foo")
def bar() -> None: ...
bar()
@deprecated("the baz function is deprecated")
def baz() -> None: ...
baz()
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment