_multiplay_metadata.json

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

main.py

def assert_not_none[T](t: T | None) -> T:
    assert t is not None
    return t

class Foo:
    def __init__(self):
        self.x: int | None = None

    def actually_init(self):
        self.x = 42

    def do_stuff(self):
        if self.x is None:
            self.actually_init()
            reveal_type(assert_not_none(self.x))
            y: str = assert_not_none(self.x)
            print("y: " + y)  # TypeError: can only concatenate str (not "int") to str

# Foo().do_stuff()

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
check_untyped_defs = true
disable_error_code = ["empty-body"]


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


[tool.zuban]
check_untyped_defs = true


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


[tool.pyrefly]