Update ty results for v0.0.75 (#2348)

Author: charliermarsh

conformance/results/results.html

@@ -1,13 +1,7 @@
-conformance_automated = "Fail"
-conformant = "Partial"
-notes = """
-Does not fully simplify the negative branch of `TypeIs` narrowing for a union of fixed-length tuple types.
-"""
+conformance_automated = "Pass"
 errors_diff = """
-Line 21: Unexpected errors ['narrowing_typeis.py:21:9: error[type-assertion-failure] Type `(tuple[str, str] & ~tuple[Unknown, Unknown]) | tuple[str, str, str]` does not match asserted type `tuple[str, str, str]`']
 """
 output = """
-narrowing_typeis.py:21:9: error[type-assertion-failure] Type `(tuple[str, str] & ~tuple[Unknown, Unknown]) | tuple[str, str, str]` does not match asserted type `tuple[str, str, str]`
 narrowing_typeis.py:110:23: error[invalid-type-guard-definition] `TypeIs` function must have a parameter to narrow
 narrowing_typeis.py:115:22: error[invalid-type-guard-definition] `TypeIs` function must have a parameter to narrow
 narrowing_typeis.py:137:20: error[invalid-argument-type] Argument to function `takes_callable_str` is incorrect: Expected `(object, /) -> str`, found `def simple_typeguard(val: object) -> TypeIs[int]`

conformance/results/ty/narrowing_typeis.toml

@@ -1,13 +1,12 @@
-conformance_automated = "Fail"
-conformant = "Unsupported"
+conformance_automated = "Pass"
 errors_diff = """
-Line 22: Expected 1 errors
-Line 41: Expected 1 errors
-Line 57: Expected 1 errors
-Line 67: Expected 1 errors
-Line 105: Expected 1 errors
-Lines 62, 63: Expected error (tag 'covariant_in_input')
-Lines 72, 73: Expected error (tag 'contravariant_in_output')
 """
 output = """
+protocols_variance.py:22:7: error[invalid-protocol] Type variable `T1` in protocol `AnotherBox` should be covariant, but is invariant
+protocols_variance.py:41:7: error[invalid-protocol] Type variable `T3` in protocol `Protocol2` should be contravariant, but is invariant
+protocols_variance.py:57:7: error[invalid-protocol] Type variable `T1` in protocol `Protocol4` should be contravariant, but is invariant
+protocols_variance.py:62:7: error[invalid-protocol] Type variable `T1_co` in protocol `Protocol5` should be contravariant, but is covariant
+protocols_variance.py:67:7: error[invalid-protocol] Type variable `T1` in protocol `Protocol6` should be covariant, but is invariant
+protocols_variance.py:72:7: error[invalid-protocol] Type variable `T1_contra` in protocol `Protocol7` should be covariant, but is contravariant
+protocols_variance.py:105:7: error[invalid-protocol] Type variable `T1` in protocol `Protocol12` should be covariant, but is invariant
 """

conformance/results/ty/protocols_variance.toml

@@ -1 +1 @@
-version = "ty 0.0.74"
+version = "ty 0.0.75"