mypy-play/main.py

Created October 31, 2026 18:00

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

Download ZIP

Shared via mypy Playground

Raw

main.py

	def foo(a_type: type) -> None:
	reveal_type(a_type) # N: Revealed type is "builtins.type"
	class Sub(a_type): pass

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