_multiplay_metadata.json

{"version": 1, "file_mapping": {"pkg-__init__.py": "pkg/__init__.py", "pkg-mod.py": "pkg/mod.py", "pkg-mod.pyi": "pkg/mod.pyi", "pyproject.toml": "pyproject.toml"}}

pkg-__init__.py

from typing import Callable, TypeVar, reveal_type

from .mod import y

T = TypeVar("T")

x: Callable[[T], T] = lambda obj: obj

def test(z: Callable[[T], T]):
    reveal_type(x(42))
    
    from .mod import y
    
    reveal_type(y(42))
    
    reveal_type(z(42))

pkg-mod.py

y = lambda foo: foo

pkg-mod.pyi

from typing import Callable, TypeVar

T = TypeVar("T")
y: Callable[[T], T]

pyproject.toml

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


[tool.ty]
[tool.ty.terminal]
output-format = "concise"

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


[tool.pyright]
reportWildcardImportFromLibrary = false
reportSelfClsParameterName = false
reportUnusedExpression = false


[tool.zuban]
pretty = false
check_untyped_defs = true


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


[tool.pyrefly]
output-format = "concise"


[tool.pycroscope]
import_paths = ["."]