_multiplay_metadata.json

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

foo.py

def _():
    a: list[int]
    b: list[str]
    
    a = b = []
    
    reveal_type(a)  # list[int]
    reveal_type(b)  # list[str]
    a.append(42)
    b[0] + "foo"  # no error
 

pyproject.toml

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


[tool.ty]
[tool.ty.rules]
undefined-reveal = "ignore"
unsupported-dynamic-base = "error"


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


[tool.pyrefly]
[tool.pyrefly.errors]
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


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