Pyright, mypy and pyrefly all emit diagnostics on all four comparisons here, but ty currently does not emit any diagnostics on this snippet: ```py def f( a: tuple[int, ...], b: tuple[str, ...], c: tuple[str] ): a < b b < a a < c c < a ```