Skip to content

Instantly share code, notes, and snippets.

@carljm

carljm/_multiplay_metadata.json

Created April 23, 2026 01:07
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save carljm/6543ab497f495c7ade99505defb2eddd to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save carljm/6543ab497f495c7ade99505defb2eddd to your computer and use it in GitHub Desktop.
Download ZIP
Raw
_multiplay_metadata.json
{"version": 1, "file_mapping": {"main.py": "main.py", "pyproject.toml": "pyproject.toml"}}
Raw
main.py
def use_split_annotation(i: int) -> None:
value: int | None
value = i
reveal_type(value) # revealed: int
Raw
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]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment