mypy-play/main.py

Created January 24, 2026 03:27

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

Download ZIP

Shared via mypy Playground

Raw

main.py

	def f(x: type[list[int]]):
	reveal_type(x)
	g(x)

	def g(x: type[list[str]]):
	reveal_type(x)
	f(x)

	f(list)
	g(list)

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