_multiplay_metadata.json

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

main.py

from typing import TypeVarTuple

Ts = TypeVarTuple("Ts")
TupleTree = tuple[*Ts, "TupleTree[*Ts] | None"]

def inspect(tree: TupleTree[int, str]) -> None:
    tail = tree[2]
    if tail is not None:
        child_int: int = tail[0]
        child_str: str = tail[1]

pyproject.toml

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


[tool.ty]
[tool.ty.rules]
deprecated = "warn"
undefined-reveal = "ignore"
redundant-condition-strict = "warn"


[tool.pyright]
reportDeprecated = "warning"
reportWildcardImportFromLibrary = false
reportSelfClsParameterName = false
reportUnusedExpression = false


[tool.pyrefly]
[tool.pyrefly.errors]
deprecated = "error"
unimported-directive = false


[tool.mypy]
color_output = true
pretty = true
check_untyped_defs = true
enable_error_code = ["deprecated"]


[tool.zuban]
pretty = true
check_untyped_defs = true
enable_error_code = ["deprecated"]


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