mypy-play/main.py

Created May 12, 2026 12:12

Star (0) You must be signed in to star a gist
Fork (0) You must be signed in to fork a gist

Select an option

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/mypy-play/7de1fa03ba7a331292c21269ec1ae10b.js"></script>
Save mypy-play/7de1fa03ba7a331292c21269ec1ae10b to your computer and use it in GitHub Desktop.

Download ZIP

Shared via mypy Playground

Raw

main.py

	from opnieuw.test_util import retry_immediately

	@retry_immediately()
	def foo() -> None:
	pass

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment