Delete the old descriptions and status for Zuban

davidhalter · davidhalter · commit 5e66e5e6294b · 2025-12-20T01:33:33.000+01:00
diff --git a/conformance/results/zuban/aliases_typealiastype.toml b/conformance/results/zuban/aliases_typealiastype.toml
@@ -1,8 +1,3 @@
-conformant = "Partial"
-notes = """
-Incorrectly rejects the use of a class-scoped TypeVar in a TypeAliasType definition.
-Incorrectly allows type_params= to be an arbitrary tuple.
-"""
 conformance_automated = "Fail"
 errors_diff = """
 Line 45: Expected 1 errors
diff --git a/conformance/results/zuban/annotations_forward_refs.toml b/conformance/results/zuban/annotations_forward_refs.toml
@@ -1,8 +1,6 @@
 conformant = "Partial"
 notes = """
-Does not report error for a forward reference that is not enclosed in quotes.
 Incorrectly generates error for quoted type defined in class scope.
-Does not ignore newlines in multi-line unions
 """
 conformance_automated = "Fail"
 errors_diff = """
diff --git a/conformance/results/zuban/callables_annotation.toml b/conformance/results/zuban/callables_annotation.toml
@@ -1,8 +1,3 @@
-conformant = "Partial"
-notes = """
-Incorrectly treats "*args: T, **kwargs: T" as "..." when T is specialized to Any.
-Does not treat "*args: Any, **kargs: Any" as "..." when separated by keyword parameter.
-"""
 conformance_automated = "Fail"
 errors_diff = """
 Line 159: Expected 1 errors
diff --git a/conformance/results/zuban/constructors_call_init.toml b/conformance/results/zuban/constructors_call_init.toml
@@ -1,8 +1,3 @@
-conformant = "Partial"
-notes = """
-Does not report errors during binding to self parameter of __init__ method.
-Does not reject use of class-scoped type variables in annotation of self parameter in __init__ method.
-"""
 conformance_automated = "Fail"
 errors_diff = """
 Line 56: Expected 1 errors
diff --git a/conformance/results/zuban/constructors_call_new.toml b/conformance/results/zuban/constructors_call_new.toml
@@ -1,9 +1,3 @@
-conformant = "Partial"
-notes = """
-Does not support __new__ return type that is not a subclass of the class being constructed.
-Does not skip evaluation of __init__ based on __new__ return type.
-Does not report errors during binding to cls parameter of __new__ method.
-"""
 conformance_automated = "Fail"
 errors_diff = """
 Line 148: Expected 1 errors
diff --git a/conformance/results/zuban/constructors_call_type.toml b/conformance/results/zuban/constructors_call_type.toml
@@ -1,7 +1,3 @@
-conformant = "Partial"
-notes = """
-Does not validate call to custom metaclass __call__ method through type[T].
-"""
 conformance_automated = "Fail"
 errors_diff = """
 Line 30: Expected 1 errors
diff --git a/conformance/results/zuban/constructors_callable.toml b/conformance/results/zuban/constructors_callable.toml
@@ -1,10 +1,3 @@
-conformant = "Partial"
-notes = """
-Does not generate a union type for __new__ and __init__ when converting class to callable.
-Does not ignore __init__ based on __new__ return type when converting class to callable.
-Does not support __new__ return type that is different from class being constructed.
-Struggles with some cases of self types
-"""
 conformance_automated = "Fail"
 errors_diff = """
 Line 129: Expected 1 errors
diff --git a/conformance/results/zuban/dataclasses_final.toml b/conformance/results/zuban/dataclasses_final.toml
@@ -1,8 +1,3 @@
-conformant = "Partial"
-notes = """
-Wrongly requires a Final dataclass field to be initialized at class level.
-Doesn't support Final nested inside ClassVar.
-"""
 conformance_automated = "Fail"
 errors_diff = """
 Line 27: Expected 1 errors
diff --git a/conformance/results/zuban/dataclasses_hash.toml b/conformance/results/zuban/dataclasses_hash.toml
@@ -1,7 +1,3 @@
-conformant = "Partial"
-notes = """
-Does not report when dataclass is not compatible with Hashable protocol.
-"""
 conformance_automated = "Fail"
 errors_diff = """
 Line 15: Expected 1 errors
diff --git a/conformance/results/zuban/dataclasses_slots.toml b/conformance/results/zuban/dataclasses_slots.toml
@@ -1,7 +1,3 @@
-conformant = "Partial"
-notes = """
-Does not reject write to instance variable that is not defined in __slots__.
-"""
 conformance_automated = "Fail"
 errors_diff = """
 Line 25: Expected 1 errors
diff --git a/conformance/results/zuban/dataclasses_transform_converter.toml b/conformance/results/zuban/dataclasses_transform_converter.toml
@@ -1,7 +1,3 @@
-conformant = "Partial"
-notes = """
-Converters are fully supported, failed to match generic overloads against other generics
-"""
 conformance_automated = "Fail"
 errors_diff = """
 Line 104: Unexpected errors ['dataclasses_transform_converter.py:104: error: Incompatible callable argument with type vars  [arg-type]']
diff --git a/conformance/results/zuban/enums_expansion.toml b/conformance/results/zuban/enums_expansion.toml
@@ -1,6 +1,4 @@
-conformant = "Partial"
 notes = """
-Improperly applies narrowing to Flag subclass.
 """
 conformance_automated = "Fail"
 errors_diff = """
diff --git a/conformance/results/zuban/enums_member_values.toml b/conformance/results/zuban/enums_member_values.toml
@@ -1,6 +1,4 @@
-conformant = "Partial"
 notes = """
-Does not enforce declared type of `_value_`.
 """
 conformance_automated = "Fail"
 errors_diff = """
diff --git a/conformance/results/zuban/enums_members.toml b/conformance/results/zuban/enums_members.toml
@@ -1,8 +1,4 @@
-conformant = "Partial"
 notes = """
-Does not honor `enum.member` as method decorator.
-Does not properly handle aliased enum members.
-Does not treat somecallables as non-members.
 """
 conformance_automated = "Fail"
 errors_diff = """
diff --git a/conformance/results/zuban/generics_base_class.toml b/conformance/results/zuban/generics_base_class.toml
@@ -1,7 +1,3 @@
-conformant = "Partial"
-notes = """
-Does not detect inconsistent type variable ordering in multi-inheritance.
-"""
 conformance_automated = "Fail"
 errors_diff = """
 Line 98: Expected 1 errors
diff --git a/conformance/results/zuban/generics_defaults.toml b/conformance/results/zuban/generics_defaults.toml
@@ -1,9 +1,3 @@
-conformant = "Partial"
-notes = """
-Does not reject TypeVars with defaults after a TypeVarTuple
-Type parameter defaults are not bound by attribute access
-ParamSpec after TypeVarTuple is not always handled correctly
-"""
 conformance_automated = "Fail"
 errors_diff = """
 Line 143: Expected 1 errors
diff --git a/conformance/results/zuban/generics_scoping.toml b/conformance/results/zuban/generics_scoping.toml
@@ -1,7 +1,3 @@
-conformant = "Partial"
-notes = """
-False negative on generic class nested within generic class with same type variable.
-"""
 conformance_automated = "Fail"
 errors_diff = """
 Line 80: Unexpected errors ['generics_scoping.py:80: error: Type variable "T" is bound by an outer class  [misc]']
diff --git a/conformance/results/zuban/generics_self_usage.toml b/conformance/results/zuban/generics_self_usage.toml
@@ -1,6 +1,3 @@
-conformant = "Partial"
-notes = """
-Does not detect invalid Self when Self is not properly bound"""
 conformance_automated = "Fail"
 errors_diff = """
 Line 82: Expected 1 errors
diff --git a/conformance/results/zuban/generics_syntax_infer_variance.toml b/conformance/results/zuban/generics_syntax_infer_variance.toml
@@ -1,7 +1,3 @@
-conformant = "Partial"
-notes = """
-Final is handled a bit different (questionable if this is an issue)
-"""
 conformance_automated = "Fail"
 errors_diff = """
 Line 89: Unexpected errors ['generics_syntax_infer_variance.py:89: error: Final name declared in class body cannot depend on type variables  [misc]']
diff --git a/conformance/results/zuban/generics_syntax_scoping.toml b/conformance/results/zuban/generics_syntax_scoping.toml
@@ -1,7 +1,3 @@
-conformant = "Partial"
-notes = """
-Does not following runtime scoping rules for type parameters in all cases.
-"""
 conformance_automated = "Fail"
 errors_diff = """
 Line 31: Unexpected errors ['generics_syntax_scoping.py:31: error: Type variable "generics_syntax_scoping.T" is unbound  [misc]']
diff --git a/conformance/results/zuban/generics_typevartuple_args.toml b/conformance/results/zuban/generics_typevartuple_args.toml
@@ -1,7 +1,3 @@
-conformant = "Partial"
-notes = """
-Does not enforce that tuples captured by TypeVarTuple are same type.
-"""
 conformance_automated = "Fail"
 errors_diff = """
 Line 75: Expected 1 errors
diff --git a/conformance/results/zuban/generics_typevartuple_basic.toml b/conformance/results/zuban/generics_typevartuple_basic.toml
@@ -1,8 +1,3 @@
-conformant = "Partial"
-notes = """
-Does not enforce that tuples captured by TypeVarTuple are same length.
-Does not enforce that tuples captured by TypeVarTuple are same type.
-"""
 conformance_automated = "Fail"
 errors_diff = """
 Line 89: Expected 1 errors
diff --git a/conformance/results/zuban/generics_upper_bound.toml b/conformance/results/zuban/generics_upper_bound.toml
@@ -1,7 +1,3 @@
-conformant = "Partial"
-notes = """
-Does not reject use of type variable within an upper bound.
-"""
 conformance_automated = "Fail"
 errors_diff = """
 Line 24: Expected 1 errors
diff --git a/conformance/results/zuban/generics_variance.toml b/conformance/results/zuban/generics_variance.toml
@@ -1,7 +1,3 @@
-conformant = "Partial"
-notes = """
-Does not reject use of class-scoped TypeVar used in a base class when variance is incompatible.
-"""
 conformance_automated = "Fail"
 errors_diff = """
 Line 113: Expected 1 errors
diff --git a/conformance/results/zuban/historical_positional.toml b/conformance/results/zuban/historical_positional.toml
@@ -1,9 +1,3 @@
-conformant = "Partial"
-notes = """
-Does not reject positional-only parameter after non-positional-only parameter.
-Treats keyword-only parameter as positional-only.
-Applies legacy positional-only rules when PEP 570 syntax is used.
-"""
 conformance_automated = "Fail"
 errors_diff = """
 Line 26: Expected 1 errors
diff --git a/conformance/results/zuban/literals_interactions.toml b/conformance/results/zuban/literals_interactions.toml
@@ -1,7 +1,3 @@
-conformant = "Partial"
-notes = """
-Does not narrow type of `x` with `x in Literal` type guard pattern.
-"""
 conformance_automated = "Fail"
 errors_diff = """
 Line 106: Unexpected errors ['literals_interactions.py:106: error: Argument 1 to "expects_bad_status" has incompatible type "str"; expected "Literal[\\'MALFORMED\\', \\'ABORTED\\']"  [arg-type]']
diff --git a/conformance/results/zuban/namedtuples_define_class.toml b/conformance/results/zuban/namedtuples_define_class.toml
@@ -1,6 +1,4 @@
-conformant = "Partial"
 notes = """
-Does not reject override of named tuple attribute in child class.
 """
 conformance_automated = "Fail"
 errors_diff = """
diff --git a/conformance/results/zuban/overloads_evaluation.toml b/conformance/results/zuban/overloads_evaluation.toml
@@ -1,11 +1,3 @@
-conformant = "Partial"
-notes = """
-Does not expand boolean arguments to Literal[True] and Literal[False].
-Does not expand enum arguments to literal variants.
-Does not expand tuple arguments to possible combinations.
-Does not evaluate Any in some cases where overload is ambiguous.
-Evaluates Any in some cases where overload is not ambiguous.
-"""
 conformance_automated = "Fail"
 errors_diff = """
 Line 135: Unexpected errors ['overloads_evaluation.py:135: error: No overload variant of "expand_bool" matches argument type "bool"  [call-overload]']
diff --git a/conformance/results/zuban/protocols_definition.toml b/conformance/results/zuban/protocols_definition.toml
@@ -1,8 +1,3 @@
-conformant = "Partial"
-notes = """
-Does not detect protocol mismatch if concrete method is missing annotations.
-Does not detect protocol mismatch if concrete method's parameters are position-only.
-"""
 conformance_automated = "Fail"
 errors_diff = """
 Line 285: Expected 1 errors
diff --git a/conformance/results/zuban/protocols_runtime_checkable.toml b/conformance/results/zuban/protocols_runtime_checkable.toml
@@ -1,7 +1,3 @@
-conformant = "Partial"
-notes = """
-Does not report unsafe overlap for runtime_checkable protocol.
-"""
 conformance_automated = "Fail"
 errors_diff = """
 Line 88: Expected 1 errors
diff --git a/conformance/results/zuban/qualifiers_final_annotation.toml b/conformance/results/zuban/qualifiers_final_annotation.toml
@@ -1,8 +1,3 @@
-conformant = "Partial"
-notes = """
-Does not treat use of Final name as if it was replaced by the literal in NamedTuple definition.
-Does not allow conditional assignment of Final instance variable in __init__ method.
-"""
 conformance_automated = "Fail"
 errors_diff = """
 Line 134: Expected 1 errors
diff --git a/conformance/results/zuban/tuples_type_compat.toml b/conformance/results/zuban/tuples_type_compat.toml
@@ -1,4 +1,3 @@
-conformant = "Pass"
 conformance_automated = "Pass"
 errors_diff = """
 """
diff --git a/conformance/results/zuban/typeddicts_alt_syntax.toml b/conformance/results/zuban/typeddicts_alt_syntax.toml
@@ -1,7 +1,4 @@
 conformance_automated = "Pass"
-notes = """
-Does not support keyword-argument form of alternative syntax (deprecated in 3.11).
-"""
 errors_diff = """
 """
 output = """
diff --git a/conformance/results/zuban/typeddicts_readonly_inheritance.toml b/conformance/results/zuban/typeddicts_readonly_inheritance.toml
@@ -1,9 +1,3 @@
-conformant = "Partial"
-notes = """
-Incorrectly rejects non-ReadOnly override of ReadOnly item.
-Incorrectly rejects override of ReadOnly item with another ReadOnly item with narrower type.
-Incorrectly rejects override of NotRequired ReadOnly item with a Required ReadOnly item.
-"""
 conformance_automated = "Fail"
 errors_diff = """
 Line 19: Unexpected errors ['typeddicts_readonly_inheritance.py:19: error: Overwriting TypedDict field "name" while extending  [misc]']
diff --git a/conformance/results/zuban/typeddicts_readonly_update.toml b/conformance/results/zuban/typeddicts_readonly_update.toml
@@ -1,7 +1,3 @@
-conformant = "Partial"
-notes = """
-Incorrectly allows update of ReadOnly item.
-"""
 conformance_automated = "Fail"
 errors_diff = """
 Line 23: Expected 1 errors
