mypy-play/main.py

Created July 22, 2024 06:00

Star () You must be signed in to star a gist
Fork () You must be signed in to fork a gist

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/mypy-play/feb7cfcb76ffde9a6a1544142a181aa2.js"></script>
Save mypy-play/feb7cfcb76ffde9a6a1544142a181aa2 to your computer and use it in GitHub Desktop.

Download ZIP

Shared via mypy Playground

Raw

main.py

	class Base:...
	class Foo(Base):...
	a: Base
	b: int\|None = {Foo:1}.get(type(a))

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