_multiplay_metadata.json

{"version": 1, "file_mapping": {"main.py": "main.py", "pyproject.toml": "pyproject.toml"}}

main.py

from typing import Callable

def identity[S, T](c: Callable[[S], T]) -> Callable[[S], T]:
    return c

class A: ...
class B: ...

def _(c: Callable[[A], A] | Callable[[B], B]):
    reveal_type(identity(c))

pyproject.toml

[project]
name = "sandbox"
version = "0.1.0"
requires-python = ">=3.10"
dependencies = []


[tool.ty]
[tool.ty.rules]
undefined-reveal = "ignore"


[tool.pyright]
reportWildcardImportFromLibrary = false
reportSelfClsParameterName = false
reportUnusedExpression = false
# typeCheckingMode = "strict"


[tool.mypy]
color_output = true
pretty = true
check_untyped_defs = true


[tool.zuban]
pretty = true
check_untyped_defs = true


[tool.pyrefly]


[tool.pycroscope]