_multiplay_metadata.json

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

main.py

from typing import Any, overload, reveal_type

class Invariant[KT, VT]:
    attr2: VT

    @overload
    def foo(self, other: Invariant[KT, VT]) -> Invariant[KT, VT]: ...
    @overload
    def foo[T1, T2](self, other: Invariant[T1, T2]) -> Invariant[KT | T1, VT | T2]: ...
    def foo(self, other):
        raise NotImplementedError

def g(x: Invariant[int, int], y: Invariant[int, str], z: Invariant[int, Any]):
    reveal_type(x.foo(y))  # Invariant[int, int | str]
    
    reveal_type(x.foo(z))  # ty: Unknown
                           # pycroscope: Any[multiple_overload_matches]
                           # mypy, zuban: Invariant[Any, Any]
                           # pyrefly, pyright: Invariant[int, int]

pyproject.toml

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


[tool.zuban]
pretty = true
check_untyped_defs = true


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


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


[tool.ty]
[tool.ty.rules]
undefined-reveal = "ignore"


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


[tool.pyrefly]