Update ty results for v0.0.91

conformance/results/ty/generics_basic.toml

@@ -1,16 +1,12 @@
-conformance_automated = "Fail"
-conformant = "Partial"
-notes = """
-Incorrectly allows constrained type variables to be solved to a union of their constraints.
-"""
+conformance_automated = "Pass"
 errors_diff = """
-Line 40: Expected 1 errors
-Line 41: Expected 1 errors
-Line 69: Expected 1 errors
 """
 output = """
+generics_basic.py:40:5: error[invalid-argument-type] Argument to function `concat` is incorrect: Inferred lower bound `str | bytes` does not satisfy constraints (`str`, `bytes`) of type variable `AnyStr`
+generics_basic.py:41:5: error[invalid-argument-type] Argument to function `concat` is incorrect: Inferred lower bound `bytes | str` does not satisfy constraints (`str`, `bytes`) of type variable `AnyStr`
 generics_basic.py:49:44: error[invalid-legacy-type-variable] A `TypeVar` cannot have exactly one constraint
 generics_basic.py:55:53: error[invalid-type-variable-constraints] TypeVar constraint cannot be generic
+generics_basic.py:69:5: error[invalid-argument-type] Argument to function `concat` is incorrect: Inferred lower bound `MyStr | bytes` does not satisfy constraints (`str`, `bytes`) of type variable `AnyStr`
 generics_basic.py:121:13: error[invalid-generic-class] Type parameter `T` cannot appear multiple times in `Generic` subscription
 generics_basic.py:157:5: error[invalid-argument-type] Method `__getitem__` of type `bound method MyMap1[str, int].__getitem__(key: str, /) -> int` cannot be called with key of type `Literal[0]` on object of type `MyMap1[str, int]`
 generics_basic.py:158:5: error[invalid-argument-type] Method `__getitem__` of type `bound method MyMap2[int, str].__getitem__(key: str, /) -> int` cannot be called with key of type `Literal[0]` on object of type `MyMap2[int, str]`

conformance/results/ty/generics_defaults_specialization.toml

@@ -3,6 +3,5 @@ errors_diff = """
 """
 output = """
 generics_defaults_specialization.py:30:15: error[invalid-type-arguments] Too many type arguments: expected between 0 and 1, got 2
-generics_defaults_specialization.py:48:22: error[invalid-assignment] Object of type `<class 'Bar'>` is not assignable to `type[Bar[int]]`
 generics_defaults_specialization.py:58:1: error[not-subscriptable] Cannot specialize non-generic class `Foo`
 """

conformance/results/ty/version.toml

@@ -1 +1 @@
-version = "ty 0.0.83"
+version = "ty 0.0.91"