Updated conformance results for mypy 1.16. (#2019)

It addresses a bugs detected by tuples_unpacked, overload_definitions, generics_typevartuple_specialization, and classes_override conformance tests.

Author: erictraut

conformance/results/mypy/classes_override.toml

@@ -1,16 +1,11 @@
-conformant = "Partial"
-notes = """
-Does not handle case where parent class derives from Any.
-"""
+conformant = "Pass"
 output = """
 classes_override.py:53: error: Method "method3" is marked as an override, but no base method was found with this name  [misc]
 classes_override.py:56: error: Method "method4" is marked as an override, but no base method was found with this name  [misc]
 classes_override.py:79: error: Method "static_method1" is marked as an override, but no base method was found with this name  [misc]
 classes_override.py:84: error: Method "class_method1" is marked as an override, but no base method was found with this name  [misc]
 classes_override.py:89: error: Method "property1" is marked as an override, but no base method was found with this name  [misc]
-classes_override.py:101: error: Method "method1" is marked as an override, but no base method was found with this name  [misc]
 """
-conformance_automated = "Fail"
+conformance_automated = "Pass"
 errors_diff = """
-Line 101: Unexpected errors ['classes_override.py:101: error: Method "method1" is marked as an override, but no base method was found with this name  [misc]']
 """

conformance/results/mypy/dataclasses_frozen.toml

@@ -2,8 +2,8 @@ conformant = "Pass"
 output = """
 dataclasses_frozen.py:16: error: Property "a" defined in "DC1" is read-only  [misc]
 dataclasses_frozen.py:17: error: Property "b" defined in "DC1" is read-only  [misc]
-dataclasses_frozen.py:23: error: Cannot inherit non-frozen dataclass from a frozen one  [misc]
-dataclasses_frozen.py:33: error: Cannot inherit frozen dataclass from a non-frozen one  [misc]
+dataclasses_frozen.py:23: error: Non-frozen dataclass cannot inherit from a frozen dataclass  [misc]
+dataclasses_frozen.py:33: error: Frozen dataclass cannot inherit from a non-frozen dataclass  [misc]
 """
 conformance_automated = "Pass"
 errors_diff = """

conformance/results/mypy/dataclasses_transform_class.toml

@@ -1,6 +1,6 @@
 conformant = "Pass"
 output = """
-dataclasses_transform_class.py:51: error: Cannot inherit non-frozen dataclass from a frozen one  [misc]
+dataclasses_transform_class.py:51: error: Non-frozen dataclass cannot inherit from a frozen dataclass  [misc]
 dataclasses_transform_class.py:63: error: Property "id" defined in "Customer1" is read-only  [misc]
 dataclasses_transform_class.py:66: error: Too many positional arguments for "Customer1"  [misc]
 dataclasses_transform_class.py:72: error: Unsupported left operand type for < ("Customer1")  [operator]

conformance/results/mypy/dataclasses_transform_func.toml

@@ -8,7 +8,7 @@ dataclasses_transform_func.py:53: error: Too many positional arguments for "Cust
 dataclasses_transform_func.py:57: error: Incompatible types in assignment (expression has type "int", variable has type "str")  [assignment]
 dataclasses_transform_func.py:65: error: Unexpected keyword argument "salary" for "Customer1"  [call-arg]
 dataclasses_transform_func.py:71: error: Too many positional arguments for "Customer2"  [misc]
-dataclasses_transform_func.py:90: error: Cannot inherit non-frozen dataclass from a frozen one  [misc]
+dataclasses_transform_func.py:90: error: Non-frozen dataclass cannot inherit from a frozen dataclass  [misc]
 dataclasses_transform_func.py:97: error: Property "id" defined in "Customer3" is read-only  [misc]
 """
 conformance_automated = "Fail"

conformance/results/mypy/dataclasses_transform_meta.toml

@@ -1,6 +1,6 @@
 conformant = "Pass"
 output = """
-dataclasses_transform_meta.py:51: error: Cannot inherit non-frozen dataclass from a frozen one  [misc]
+dataclasses_transform_meta.py:51: error: Non-frozen dataclass cannot inherit from a frozen dataclass  [misc]
 dataclasses_transform_meta.py:63: error: Property "id" defined in "Customer1" is read-only  [misc]
 dataclasses_transform_meta.py:66: error: Too many positional arguments for "Customer1"  [misc]
 dataclasses_transform_meta.py:73: error: Unsupported left operand type for < ("Customer1")  [operator]

conformance/results/mypy/generics_typevartuple_specialization.toml

@@ -2,23 +2,21 @@ conformant = "Partial"
 notes = """
 Incorrectly specializes generic alias that includes a TypeVar and TypeVarTuple if no type arguments are provided.
 Rejects specialization of generic type alias defined as a tuple containing a TypeVar.
-"More than one Unpack" error message has no line number.
 """
 output = """
-generics_typevartuple_specialization.py: error: More than one Unpack in a type is not allowed  [misc]
 generics_typevartuple_specialization.py:85: error: Argument 1 to "takes_float_array_with_specific_shape" has incompatible type "Array2[float, *tuple[Any, ...]]"; expected "Array2[float, Height, Width]"  [arg-type]
 generics_typevartuple_specialization.py:108: error: Type application is only supported for generic classes  [misc]
 generics_typevartuple_specialization.py:109: error: Type application is only supported for generic classes  [misc]
 generics_typevartuple_specialization.py:109: error: Unpack is only valid in a variadic position  [valid-type]
 generics_typevartuple_specialization.py:110: error: Type application is only supported for generic classes  [misc]
 generics_typevartuple_specialization.py:110: error: Unpack is only valid in a variadic position  [valid-type]
+generics_typevartuple_specialization.py:121: error: More than one Unpack in a type is not allowed  [misc]
+generics_typevartuple_specialization.py:122: error: More than one Unpack in a type is not allowed  [misc]
 generics_typevartuple_specialization.py:127: error: Bad number of arguments for type alias, expected at least 2, given 1  [type-arg]
 generics_typevartuple_specialization.py:163: error: TypeVarTuple cannot be split  [type-arg]
 """
 conformance_automated = "Fail"
 errors_diff = """
-Line 121: Expected 1 errors
-Line 122: Expected 1 errors
 Line 85: Unexpected errors ['generics_typevartuple_specialization.py:85: error: Argument 1 to "takes_float_array_with_specific_shape" has incompatible type "Array2[float, *tuple[Any, ...]]"; expected "Array2[float, Height, Width]"  [arg-type]']
 Line 108: Unexpected errors ['generics_typevartuple_specialization.py:108: error: Type application is only supported for generic classes  [misc]']
 """

conformance/results/mypy/overloads_definitions.toml

@@ -1,17 +1,14 @@
 conformant = "Partial"
 conformance_automated = "Fail"
 notes = """
-Does not allow an overload with no implementation in an abstract base class.
 Allows @override to be on all overloads and implementation, instead of just implementation.
 """
 errors_diff = """
 Lines 220, 221, 222, 225, 226: Expected error (tag 'override_impl')
-Line 47: Unexpected errors ['overloads_definitions.py:47: error: An overloaded function outside a stub file must have an implementation  [no-overload-impl]']
 """
 output = """
 overloads_definitions.py:15: error: Single overload definition, multiple required  [misc]
 overloads_definitions.py:27: error: An overloaded function outside a stub file must have an implementation  [no-overload-impl]
-overloads_definitions.py:47: error: An overloaded function outside a stub file must have an implementation  [no-overload-impl]
 overloads_definitions.py:58: error: An overloaded function outside a stub file must have an implementation  [no-overload-impl]
 overloads_definitions.py:71: error: Overload does not consistently use the "@staticmethod" decorator on all function signatures.  [misc]
 overloads_definitions.py:84: error: Overload does not consistently use the "@classmethod" decorator on all function signatures.  [misc]

conformance/results/mypy/specialtypes_never.toml

@@ -2,7 +2,7 @@ conformant = "Pass"
 output = """
 specialtypes_never.py:19: error: Implicit return in function which does not return  [misc]
 specialtypes_never.py:86: error: Incompatible types in assignment (expression has type "list[Never]", variable has type "list[int]")  [assignment]
-specialtypes_never.py:86: note: "List" is invariant -- see https://mypy.readthedocs.io/en/stable/common_issues.html#variance
+specialtypes_never.py:86: note: "list" is invariant -- see https://mypy.readthedocs.io/en/stable/common_issues.html#variance
 specialtypes_never.py:86: note: Consider using "Sequence" instead, which is covariant
 specialtypes_never.py:105: error: Incompatible return value type (got "ClassC[Never]", expected "ClassC[U]")  [return-value]
 """

conformance/results/mypy/tuples_unpacked.toml

@@ -1,15 +1,14 @@
 conformant = "Partial"
 notes = """
-"More than one unpack" error is missing a line number.
+"More than one unpack" error is missing in some cases.
 """
 output = """
-tuples_unpacked.py: error: More than one Unpack in a type is not allowed  [misc]
+tuples_unpacked.py:40: error: More than one Unpack in a type is not allowed  [misc]
+tuples_unpacked.py:51: error: More than one Unpack in a type is not allowed  [misc]
 tuples_unpacked.py:59: error: More than one Unpack in a type is not allowed  [misc]
 """
 conformance_automated = "Fail"
 errors_diff = """
-Line 40: Expected 1 errors
 Line 41: Expected 1 errors
-Line 51: Expected 1 errors
 Lines 60, 61: Expected error (tag 't14')
 """

conformance/results/mypy/version.toml

@@ -1,2 +1,2 @@
-version = "mypy 1.15.0"
-test_duration = 1.4
+version = "mypy 1.16.0"
+test_duration = 1.7