mypy-play/main.py

Created May 14, 2026 14:05

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

Download ZIP

Shared via mypy Playground

Raw

main.py

	import pathlib

	test = pathlib.Path("test/path/foo.py")

	test.suffix == "foo.py"

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