Skip to content

Instantly share code, notes, and snippets.

@mypy-play

mypy-play/main.py

Created February 13, 2026 00:23
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save mypy-play/c935f6534f859e7bca816cd158ff016e to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save mypy-play/c935f6534f859e7bca816cd158ff016e to your computer and use it in GitHub Desktop.
Download ZIP
Shared via mypy Playground
Raw
main.py
class A:
def go(self) -> None:
pass
class B0:
X: type[A] | None = None
class B(B0):
X = A
def go(self) -> None:
self.X().go()
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment