_multiplay_metadata.json

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

lib.py

x = 1

def f():
    reveal_type(x)

def g():
    global x
    x = 2
    x = "foo"

main.py

from lib import x
import lib

reveal_type(x)
reveal_type(lib.x)

lib.x = 2
lib.x = "foo"

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"
empty-body = "ignore"


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


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


[tool.zuban]
pretty = true
check_untyped_defs = true


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


[tool.pyrefly]
errors = {"unimported-directive" = "ignore" }