mypy-play/main.py

Created December 27, 2025 07:13

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

Download ZIP

Shared via mypy Playground

Raw

main.py

	from typing import Callable, ParamSpec

	P = ParamSpec('P')
	DefaultP = ParamSpec('DefaultP', default=(int, str)) # Error

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