Update ty results for v0.0.78

conformance/results/ty/aliases_type_statement.toml

@@ -1,10 +1,5 @@
-conformance_automated = "Fail"
-conformant = "Partial"
-notes = """
-Does not reject a generic type alias that recursively specializes itself with different type arguments.
-"""
+conformance_automated = "Pass"
 errors_diff = """
-Line 75: Expected 1 errors
 """
 output = """
 aliases_type_statement.py:17:1: error[unresolved-attribute] Object of type `TypeAliasType` has no attribute `bit_count`
@@ -30,6 +25,7 @@ aliases_type_statement.py:58:17: error[unbound-type-variable] Type variable `T1`
 aliases_type_statement.py:68:27: error[invalid-type-arguments] Type `str` is not assignable to upper bound `int` of type variable `S@RecursiveTypeAlias2`
 aliases_type_statement.py:70:32: error[invalid-type-arguments] Type `int` is not assignable to upper bound `str` of type variable `T@RecursiveTypeAlias2`
 aliases_type_statement.py:73:1: error[cyclic-type-alias-definition] Cyclic definition of `RecursiveTypeAlias3`
+aliases_type_statement.py:75:1: error[cyclic-type-alias-definition] Cyclic definition of `RecursiveTypeAlias4`
 aliases_type_statement.py:79:1: error[cyclic-type-alias-definition] Cyclic definition of `RecursiveTypeAlias6`
 aliases_type_statement.py:80:1: error[cyclic-type-alias-definition] Cyclic definition of `RecursiveTypeAlias7`
 """

conformance/results/ty/aliases_typealiastype.toml

@@ -1,19 +1,16 @@
-conformance_automated = "Fail"
-conformant = "Partial"
-notes = """
-Does not reject cyclically defined `TypeAliasType` aliases.
-"""
+conformance_automated = "Pass"
 errors_diff = """
-Line 46: Expected 1 errors
-Line 47: Expected 1 errors
-Line 48: Expected 1 errors
 """
 output = """
 aliases_typealiastype.py:32:7: error[unresolved-attribute] Object of type `TypeAliasType` has no attribute `other_attrib`
 aliases_typealiastype.py:40:21: error[invalid-type-arguments] Type `int` is not assignable to upper bound `str` of type variable `TStr@GoodAlias5`
 aliases_typealiastype.py:43:40: error[invalid-type-alias-type] Type parameter `S` used in the alias value must be included in `type_params`
 aliases_typealiastype.py:44:40: error[invalid-type-alias-type] Type parameter `S` used in the alias value must be included in `type_params`
 aliases_typealiastype.py:45:57: error[invalid-type-alias-type] The `type_params` argument to `TypeAliasType` must be a tuple literal
+aliases_typealiastype.py:46:40: error[cyclic-type-alias-definition] Cyclic definition of `BadAlias4`
+aliases_typealiastype.py:47:40: error[cyclic-type-alias-definition] Cyclic definition of `BadAlias5`
+aliases_typealiastype.py:48:40: error[cyclic-type-alias-definition] Cyclic definition of `BadAlias6`
+aliases_typealiastype.py:49:40: error[cyclic-type-alias-definition] Cyclic definition of `BadAlias7`
 aliases_typealiastype.py:52:40: error[invalid-type-form] Function calls are not allowed in type expressions
 aliases_typealiastype.py:53:40: error[invalid-type-form] List literals are not allowed in this context in a type expression
 aliases_typealiastype.py:54:42: error[invalid-type-form] Tuple literals are not allowed in this context in a type expression

conformance/results/ty/directives_deprecated.toml

@@ -1,24 +1,18 @@
-conformance_automated = "Fail"
-conformant = "Partial"
-notes = """
-Does not detect calls to deprecated overloads.
-Does not detect implicit calls to deprecated dunder methods, for example via operators.
-Does not detect accesses of, or attempts to set, deprecated properties.
-"""
+conformance_automated = "Pass"
 errors_diff = """
-Line 30: Expected 1 errors
-Line 41: Expected 1 errors
-Line 42: Expected 1 errors
-Line 44: Expected 1 errors
-Line 47: Expected 1 errors
-Line 48: Expected 1 errors
-Line 58: Expected 1 errors
 """
 output = """
 directives_deprecated.py:18:44: error[deprecated] The class `Ham` is deprecated: Use Spam instead
 directives_deprecated.py:24:9: error[deprecated] The function `norwegian_blue` is deprecated: It is pining for the fjords
 directives_deprecated.py:25:13: error[deprecated] The function `norwegian_blue` is deprecated: It is pining for the fjords
+directives_deprecated.py:30:1: error[deprecated] The overload of `foo` is deprecated: Only str will be allowed
 directives_deprecated.py:34:7: error[deprecated] The class `Ham` is deprecated: Use Spam instead
+directives_deprecated.py:41:5: error[deprecated] The function `__add__` is deprecated: There is enough spam in the world
+directives_deprecated.py:42:1: error[deprecated] The function `__add__` is deprecated: There is enough spam in the world
+directives_deprecated.py:44:6: error[deprecated] The function `greasy` is deprecated: All spam will be equally greasy
+directives_deprecated.py:47:6: error[deprecated] The function `shape` is deprecated: Shapes are becoming immutable
+directives_deprecated.py:48:6: error[deprecated] The function `shape` is deprecated: Shapes are becoming immutable
+directives_deprecated.py:58:1: error[deprecated] The function `__call__` is deprecated: Deprecated
 directives_deprecated.py:69:1: error[deprecated] The function `lorem` is deprecated: Deprecated
 directives_deprecated.py:98:7: error[deprecated] The function `foo` is deprecated: Deprecated
 """

conformance/results/ty/generics_paramspec_variance.toml

@@ -1,11 +1,5 @@
-conformant = "Partial"
-notes = """
-Does not error when a ParamSpec is used in a position that violates its explicit variance.
-"""
-conformance_automated = "Fail"
+conformance_automated = "Pass"
 errors_diff = """
-Line 117: Expected 1 errors
-Line 126: Expected 1 errors
 """
 output = """
 generics_paramspec_variance.py:14:42: error[invalid-assignment] Object of type `InvariantParamSpec[(int, /)]` is not assignable to `InvariantParamSpec[(object, /)]`
@@ -24,7 +18,9 @@ generics_paramspec_variance.py:101:9: error[invalid-paramspec] A `ParamSpec` can
 generics_paramspec_variance.py:102:9: error[invalid-paramspec] A `ParamSpec` cannot specify variance when `infer_variance=True`
 generics_paramspec_variance.py:110:14: error[invalid-assignment] Object of type `InvariantParamSpecOld[(bool, /)]` is not assignable to `InvariantParamSpecOld[(int, /)]`
 generics_paramspec_variance.py:111:14: error[invalid-assignment] Object of type `InvariantParamSpecOld[(object, /)]` is not assignable to `InvariantParamSpecOld[(int, /)]`
+generics_paramspec_variance.py:117:25: error[invalid-generic-class] Variance of type variable `InP` is incompatible with method `out_f`
 generics_paramspec_variance.py:121:49: error[invalid-assignment] Object of type `ContravariantParamSpecOld[(int, /)]` is not assignable to `ContravariantParamSpecOld[(object, /)]`
+generics_paramspec_variance.py:126:23: error[invalid-generic-class] Variance of type variable `OutP` is incompatible with method `in_f`
 generics_paramspec_variance.py:132:43: error[invalid-assignment] Object of type `CovariantParamSpecOld[(object, /)]` is not assignable to `CovariantParamSpecOld[(int, /)]`
 generics_paramspec_variance.py:142:63: error[invalid-assignment] Object of type `InferredContravariantParamSpecOld[(int, /)]` is not assignable to `InferredContravariantParamSpecOld[(object, /)]`
 generics_paramspec_variance.py:151:57: error[invalid-assignment] Object of type `InferredCovariantParamSpecOld[(object, /)]` is not assignable to `InferredCovariantParamSpecOld[(int, /)]`

conformance/results/ty/generics_scoping.toml

@@ -1,12 +1,5 @@
-conformance_automated = "Fail"
-conformant = "Partial"
-notes = """
-Does not reject `list[T]()` in the global scope, where `T` is an unbound type variable.
-Does not reject `alias: TypeAlias = list[T]` in the body scope of a class generic over a type variable `T`.
-"""
+conformance_automated = "Pass"
 errors_diff = """
-Line 98: Expected 1 errors
-Line 107: Expected 1 errors
 """
 output = """
 generics_scoping.py:15:1: error[type-assertion-failure] Type `Literal[1]` does not match asserted type `int`
@@ -20,6 +13,8 @@ generics_scoping.py:76:11: error[shadowed-type-variable] Generic class `MyGeneri
 generics_scoping.py:76:11: error[shadowed-type-variable] Generic class `MyGeneric` uses type variable `T` already bound by an enclosing scope
 generics_scoping.py:86:11: error[shadowed-type-variable] Generic class `Bad` uses type variable `T` already bound by an enclosing scope
 generics_scoping.py:89:17: error[unbound-type-variable] Type variable `T` is not bound to any outer generic context
+generics_scoping.py:98:29: error[invalid-type-form] Type alias cannot capture class-scoped type variable `T`
 generics_scoping.py:105:14: error[unbound-type-variable] Type variable `T` is not bound to any outer generic context
 generics_scoping.py:106:19: error[unbound-type-variable] Type variable `T` is not bound to any outer generic context
+generics_scoping.py:107:6: error[unbound-type-variable] Type variable `T` is not bound to any outer generic context
 """

conformance/results/ty/generics_type_erasure.toml

@@ -1,15 +1,11 @@
-conformance_automated = "Fail"
-conformant = "Partial"
-notes = """
-Does not reject access of generic instance variable from the class object.
-"""
+conformance_automated = "Pass"
 errors_diff = """
-Line 42: Expected 1 errors
-Line 43: Expected 1 errors
-Line 44: Expected 1 errors
-Line 45: Expected 1 errors
 """
 output = """
 generics_type_erasure.py:38:16: error[invalid-argument-type] Argument to `Node.__init__` is incorrect: Expected `int | None`, found `Literal[""]`
 generics_type_erasure.py:40:16: error[invalid-argument-type] Argument to `Node.__init__` is incorrect: Expected `str | None`, found `Literal[0]`
+generics_type_erasure.py:42:1: error[invalid-attribute-access] Cannot access generic instance attribute `label` through a class
+generics_type_erasure.py:43:1: error[invalid-attribute-access] Cannot access generic instance attribute `label` through a class
+generics_type_erasure.py:44:1: error[invalid-attribute-access] Cannot access generic instance attribute `label` through a class
+generics_type_erasure.py:45:1: error[invalid-attribute-access] Cannot access generic instance attribute `label` through a class
 """

conformance/results/ty/generics_typevartuple_variance.toml

@@ -1,11 +1,5 @@
-conformant = "Partial"
-conformance_automated = "Fail"
-notes = """
-Does not error when a TypeVarTuple is used in a position that violates its explicit variance.
-"""
+conformance_automated = "Pass"
 errors_diff = """
-Line 79: Expected 1 errors
-Line 90: Expected 1 errors
 """
 output = """
 generics_typevartuple_variance.py:14:45: error[invalid-assignment] Object of type `InvariantTypeVarTuple[int]` is not assignable to `InvariantTypeVarTuple[object]`
@@ -28,7 +22,9 @@ generics_typevartuple_variance.py:57:10: error[invalid-legacy-type-variable] A `
 generics_typevartuple_variance.py:58:10: error[invalid-legacy-type-variable] A `TypeVarTuple` cannot specify variance when `infer_variance=True`
 generics_typevartuple_variance.py:68:45: error[invalid-assignment] Object of type `InvariantTypeVarTupleOld[int]` is not assignable to `InvariantTypeVarTupleOld[object]`
 generics_typevartuple_variance.py:69:42: error[invalid-assignment] Object of type `InvariantTypeVarTupleOld[object]` is not assignable to `InvariantTypeVarTupleOld[int]`
+generics_typevartuple_variance.py:79:24: error[invalid-generic-class] Variance of type variable `InTs` is incompatible with method `out_f`
 generics_typevartuple_variance.py:83:52: error[invalid-assignment] Object of type `ContravariantTypeVarTupleOld[int]` is not assignable to `ContravariantTypeVarTupleOld[object]`
+generics_typevartuple_variance.py:90:27: error[invalid-generic-class] Variance of type variable `OutTs` is incompatible with method `in_f`
 generics_typevartuple_variance.py:97:46: error[invalid-assignment] Object of type `CovariantTypeVarTupleOld[object]` is not assignable to `CovariantTypeVarTupleOld[int]`
 generics_typevartuple_variance.py:107:66: error[invalid-assignment] Object of type `InferredContravariantTypeVarTupleOld[int]` is not assignable to `InferredContravariantTypeVarTupleOld[object]`
 generics_typevartuple_variance.py:116:60: error[invalid-assignment] Object of type `InferredCovariantTypeVarTupleOld[object]` is not assignable to `InferredCovariantTypeVarTupleOld[int]`

conformance/results/ty/version.toml

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