Update ty results for v0.0.66

conformance/results/ty/generics_defaults_specialization.toml

@@ -1,12 +1,8 @@
-conformance_automated = "Fail"
-conformant = "Partial"
-notes = """
-Does not reject subscription of an already-specialized generic class.
-"""
+conformance_automated = "Pass"
 errors_diff = """
-Line 56: Expected 1 errors
 """
 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:46:22: error[invalid-assignment] Object of type `<class 'Bar'>` is not assignable to `type[Bar[int]]`
+generics_defaults_specialization.py:56:1: error[not-subscriptable] Cannot specialize non-generic class `Foo`
 """

conformance/results/ty/generics_paramspec_components.toml

@@ -1,10 +1,5 @@
-conformance_automated = "Fail"
-conformant = "Partial"
-notes = """
-Incorrectly allows using `*args: P.args` and `**kwargs: P.kwargs` when `P` has not been put into scope by any other parameter annotation or enclosing scope.
-"""
+conformance_automated = "Pass"
 errors_diff = """
-Line 30: Expected 1 errors
 """
 output = """
 generics_paramspec_components.py:17:25: error[invalid-type-form] `P.kwargs` is valid only in `**kwargs` annotation: Did you mean `P.args`?
@@ -13,6 +8,7 @@ generics_paramspec_components.py:20:23: error[invalid-paramspec] `P.args` is onl
 generics_paramspec_components.py:23:46: error[invalid-paramspec] `*args: P.args` must be accompanied by `**kwargs: P.kwargs`
 generics_paramspec_components.py:23:46: error[invalid-type-form] `P.args` is valid only in `*args` annotation: Did you mean `P.kwargs`?
 generics_paramspec_components.py:26:46: error[invalid-paramspec] `*args: P.args` must be accompanied by `**kwargs: P.kwargs`
+generics_paramspec_components.py:30:25: error[unbound-type-variable] ParamSpec `P` is not in scope
 generics_paramspec_components.py:35:18: error[invalid-paramspec] `P.args` is only valid for annotating `*args` function parameters
 generics_paramspec_components.py:36:20: error[invalid-paramspec] `P.kwargs` is only valid for annotating `**kwargs` function parameters
 generics_paramspec_components.py:38:26: error[invalid-paramspec] `*args: P.args` must be accompanied by `**kwargs: P.kwargs`

conformance/results/ty/generics_typevartuple_basic.toml

@@ -1,10 +1,5 @@
-conformance_automated = "Fail"
-conformant = "Partial"
-notes = """
-Incorrectly reports an unbound `TypeVarTuple` for a correctly unpacked annotation within an otherwise invalid generic class.
-"""
+conformance_automated = "Pass"
 errors_diff = """
-Line 54: Unexpected errors ['generics_typevartuple_basic.py:54:29: error[unbound-type-variable] Type variable `Shape` is not bound to any outer generic context']
 """
 output = """
 generics_typevartuple_basic.py:42:28: error[invalid-assignment] Object of type `Array[Shape@Array]` is not assignable to `Array[Height, Width]`
@@ -14,7 +9,6 @@ generics_typevartuple_basic.py:43:41: error[invalid-argument-type] Argument to `
 generics_typevartuple_basic.py:44:41: error[invalid-assignment] Object of type `Array[Time, Batch, Width, Height]` is not assignable to `Array[Time, Batch, Height, Width]`
 generics_typevartuple_basic.py:52:14: error[invalid-generic-class] `TypeVarTuple` must be unpacked with `*` or `Unpack[]` when used as an argument to `Generic`
 generics_typevartuple_basic.py:53:37: error[invalid-type-form] Bare TypeVarTuple `Shape` is not valid in this context in a parameter annotation
-generics_typevartuple_basic.py:54:29: error[unbound-type-variable] Type variable `Shape` is not bound to any outer generic context
 generics_typevartuple_basic.py:56:34: error[invalid-type-form] Bare TypeVarTuple `Shape` is not valid in this context in a return type annotation
 generics_typevartuple_basic.py:59:24: error[invalid-type-form] Bare TypeVarTuple `Shape` is not valid in this context in a parameter annotation
 generics_typevartuple_basic.py:65:27: error[invalid-legacy-type-variable] The `covariant` parameter of `typing.TypeVarTuple` was added in Python 3.15

conformance/results/ty/narrowing_typeis.toml

@@ -1,13 +1,13 @@
 conformance_automated = "Fail"
 conformant = "Partial"
 notes = """
-Intersects the pre-existing type with the top materialization of the bracketed type rather than the bracketed type itself.
+Does not fully simplify the negative branch of `TypeIs` narrowing for a union of fixed-length tuple types.
 """
 errors_diff = """
-Line 35: Unexpected errors ['narrowing_typeis.py:35:18: error[invalid-assignment] Object of type `object` is not assignable to `int`']
+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:35:18: error[invalid-assignment] Object of type `object` is not assignable to `int`
+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/version.toml

@@ -1 +1 @@
-version = "ty 0.0.65"
+version = "ty 0.0.66"