mypy-play/main.py

Created February 14, 2026 17:16

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/727bc02ff70cb4818c440e686c2f4889.js"></script>
Save mypy-play/727bc02ff70cb4818c440e686c2f4889 to your computer and use it in GitHub Desktop.

Download ZIP

Shared via mypy Playground

Raw

main.py

	from typing import Callable

	def f(x: str)->None:
	if isinstance(x, int):
	print("impossible")

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