mypy-play · September 2, 2026 10:04 · cindybyrd547-hub · Sep 2, 2026
diff --git a/main.py b/main.py
 from typing import Any, reveal_type

 def get() -> Any:
    return 42  # pretend this could be anything

 x = get()
 reveal_type(x)

 y = get()
 assert isinstance(y, int)
 reveal_type(y)  # `int` (mypy/pyright) / `Any & int` (ty)

 print(y.bit_count())
 print(y.blablabla())
	from typing import Any, reveal_type

	def get() -> Any:
	return 42 # pretend this could be anything

	x = get()
	reveal_type(x)

	y = get()
	assert isinstance(y, int)
	reveal_type(y) # `int` (mypy/pyright) / `Any & int` (ty)

	print(y.bit_count())
	print(y.blablabla())
No results found