AlexWaygood · March 22, 2026 17:59 · Mar 22, 2026
diff --git a/_multiplay_metadata.json b/_multiplay_metadata.json
@@ -0,0 +1 @@
+{"version": 1, "file_mapping": {"main.py": "main.py", "pyproject.toml": "pyproject.toml"}}
diff --git a/main.py b/main.py
@@ -0,0 +1,11 @@
+class Foo[T, V_co]:
+    x: T
+
+    def get(self) -> V_co:
+        raise NotImplementedError
+
+    def __init__(self: Foo[str, V_co], **kwargs: V_co): ...
+
+def foo(arg: Foo[object, int]) -> None: ...
+
+foo(Foo(a=42))
diff --git a/pyproject.toml b/pyproject.toml
@@ -0,0 +1,37 @@
+[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"
+
+
+[tool.mypy]
+color_output = true
+pretty = true
+check_untyped_defs = true
+
+
+[tool.pyright]
+reportWildcardImportFromLibrary = false
+reportSelfClsParameterName = false
+reportUnusedExpression = false
+
+
+[tool.zuban]
+pretty = true
+check_untyped_defs = true
+
+
+[tool.pycroscope]
+import_paths = ["."]
+
+
+[tool.pyrefly]
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		{"version": 1, "file_mapping": {"main.py": "main.py", "pyproject.toml": "pyproject.toml"}}
No results found