regenerate conformance

Author: yangdanny97

conformance/results/mypy/generics_defaults_referential.toml

@@ -3,20 +3,18 @@ notes = """
 Does not correctly handle defaults referencing other `TypeVar`s.
 """
 output = """
-generics_defaults_referential.py:23: error: Expression is of type "type[slice[StartT, StopT, StepT]]", not "type[slice[int, int, int | None]]"  [assert-type]
-generics_defaults_referential.py:38: error: Argument 1 to "Foo" has incompatible type "str"; expected "int"  [arg-type]
-generics_defaults_referential.py:54: error: Type parameter "Start2T" has a default type that refers to one or more type variables that are out of scope  [misc]
-generics_defaults_referential.py:61: error: Type variable S1 referenced in the default of S2 is unbound  [misc]
-generics_defaults_referential.py:75: error: TypeVar default must be one of the constraint types  [misc]
+generics_defaults_referential.py:37: error: Argument 1 to "Foo" has incompatible type "str"; expected "int"  [arg-type]
+generics_defaults_referential.py:53: error: Type parameter "Start2T" has a default type that refers to one or more type variables that are out of scope  [misc]
+generics_defaults_referential.py:60: error: Type variable S1 referenced in the default of S2 is unbound  [misc]
+generics_defaults_referential.py:74: error: TypeVar default must be one of the constraint types  [misc]
+generics_defaults_referential.py:77: error: TypeVar default must be one of the constraint types  [misc]
 generics_defaults_referential.py:78: error: TypeVar default must be one of the constraint types  [misc]
-generics_defaults_referential.py:79: error: TypeVar default must be one of the constraint types  [misc]
-generics_defaults_referential.py:104: error: Expression is of type "Bar[int, list[Never]]", not "Bar[int, list[int]]"  [assert-type]
+generics_defaults_referential.py:103: error: Expression is of type "Bar[int, list[Never]]", not "Bar[int, list[int]]"  [assert-type]
 """
 conformance_automated = "Fail"
 errors_diff = """
-Line 37: Expected 1 errors
-Line 69: Expected 1 errors
-Line 23: Unexpected errors ['generics_defaults_referential.py:23: error: Expression is of type "type[slice[StartT, StopT, StepT]]", not "type[slice[int, int, int | None]]"  [assert-type]']
-Line 78: Unexpected errors ['generics_defaults_referential.py:78: error: TypeVar default must be one of the constraint types  [misc]']
-Line 104: Unexpected errors ['generics_defaults_referential.py:104: error: Expression is of type "Bar[int, list[Never]]", not "Bar[int, list[int]]"  [assert-type]']
+Line 36: Expected 1 errors
+Line 68: Expected 1 errors
+Line 77: Unexpected errors ['generics_defaults_referential.py:77: error: TypeVar default must be one of the constraint types  [misc]']
+Line 103: Unexpected errors ['generics_defaults_referential.py:103: error: Expression is of type "Bar[int, list[Never]]", not "Bar[int, list[int]]"  [assert-type]']
 """

conformance/results/mypy/generics_type_erasure.toml

@@ -1,7 +1,6 @@
 conformant = "Partial"
 notes = """
 Infers `Node[Never]` instead of `Node[Any]` when argument is not provided.
-False negative on instance attribute access on `type(node)`.
 """
 output = """
 generics_type_erasure.py:19: error: Expression is of type "Node[Never]", not "Node[Any]"  [assert-type]
@@ -15,7 +14,6 @@ generics_type_erasure.py:45: error: Access to generic instance variables via cla
 """
 conformance_automated = "Fail"
 errors_diff = """
-Line 46: Expected 1 errors
 Line 19: Unexpected errors ['generics_type_erasure.py:19: error: Expression is of type "Node[Never]", not "Node[Any]"  [assert-type]']
 Line 22: Unexpected errors ['generics_type_erasure.py:22: error: Expression is of type "Never", not "Any"  [assert-type]']
 """

conformance/results/pycroscope/aliases_implicit.toml

@@ -13,16 +13,12 @@ Line 113: Expected 1 errors
 Line 117: Expected 1 errors
 Line 118: Expected 1 errors
 Line 119: Expected 1 errors
-Line 68: Unexpected errors ['./aliases_implicit.py:68:16:   .GoodTypeAlias9[<list containing [str, str]>, None] = (int, /, ****P) -> ~R is not equivalent to (int, str, str, /) -> None']
 Line 70: Unexpected errors ['./aliases_implicit.py:70:16:   Any[from_another] is not equivalent to int | str | list[list[int]] | None']
-Line 72: Unexpected errors ['./aliases_implicit.py:72:16:   .GoodTypeAlias13 = (**__P: **P) -> None is not equivalent to (...) -> None']
 Line 95: Unexpected errors ["./aliases_implicit.py:95:16: Cannot resolve subscripted annotation: <list containing [type 'int']> [invalid_annotation]"]
 Line 100: Unexpected errors ["./aliases_implicit.py:100:17: Annotated[type 'list', (<+list is_truthy None> == NullConstraint())] is always True because it does not provide __bool__ [type_always_true]"]
 """
 output = """
-./aliases_implicit.py:68:16:   .GoodTypeAlias9[<list containing [str, str]>, None] = (int, /, ****P) -> ~R is not equivalent to (int, str, str, /) -> None
 ./aliases_implicit.py:70:16:   Any[from_another] is not equivalent to int | str | list[list[int]] | None
-./aliases_implicit.py:72:16:   .GoodTypeAlias13 = (**__P: **P) -> None is not equivalent to (...) -> None
 ./aliases_implicit.py:77:8: Unrecognized annotation types.GenericAlias [invalid_annotation]
 ./aliases_implicit.py:78:8: Expected 1 type arguments for type alias, got 2 [invalid_specialization]
 ./aliases_implicit.py:79:8: Expected 1 type arguments for type alias, got 2 [invalid_specialization]

conformance/results/pycroscope/aliases_type_statement.toml

@@ -1,6 +1,7 @@
 conformant = "Partial"
 notes = """
 Fails to reject various weird annotations.
+Rejects a valid recursive generic type alias.
 """
 conformance_automated = "Fail"
 errors_diff = """
@@ -16,6 +17,7 @@ Line 45: Expected 1 errors
 Line 46: Expected 1 errors
 Line 47: Expected 1 errors
 Line 49: Expected 1 errors
+Line 61: Unexpected errors ['./aliases_type_statement.py:61:0: Unrecognized annotation typing._SpecialForm [invalid_annotation]']
 """
 output = """
 ./aliases_type_statement.py:17:0: typing.TypeAliasType has no attribute 'bit_count' [undefined_attribute]
@@ -26,6 +28,7 @@ output = """
 ./aliases_type_statement.py:48:22: Annotated[type 'list', (<+list is_truthy None> == NullConstraint())] is always True because it does not provide __bool__ [type_always_true]
 ./aliases_type_statement.py:53:22: Type alias cannot combine old-style TypeVar declarations with type statement parameters [invalid_type_alias]
 ./aliases_type_statement.py:58:16: Type alias must declare type parameters in the type statement [invalid_type_alias]
+./aliases_type_statement.py:61:0: Unrecognized annotation typing._SpecialForm [invalid_annotation]
 ./aliases_type_statement.py:68:6: Type argument str is not compatible with ~S@./aliases_type_statement.py.RecursiveTypeAlias2 [invalid_specialization]
 ./aliases_type_statement.py:70:6: Type argument int is not compatible with ~T@./aliases_type_statement.py.RecursiveTypeAlias2 [invalid_specialization]
 ./aliases_type_statement.py:73:0: Type alias RecursiveTypeAlias3 has a circular definition [invalid_type_alias]

conformance/results/pycroscope/aliases_typealiastype.toml

@@ -1,14 +1,8 @@
-conformant = "Partial"
-notes = """
-Rejects valid `ParamSpec` specialization.
-"""
-conformance_automated = "Fail"
+conformance_automated = "Pass"
 errors_diff = """
-Line 39: Unexpected errors ["./aliases_typealiastype.py:39:4: Unrecognized annotation <list containing [type 'int', type 'str']> [invalid_annotation]"]
 """
 output = """
 ./aliases_typealiastype.py:32:6: typing.TypeAliasType has no attribute 'other_attrib' [undefined_attribute]
-./aliases_typealiastype.py:39:4: Unrecognized annotation <list containing [type 'int', type 'str']> [invalid_annotation]
 ./aliases_typealiastype.py:40:4: Type argument int is not compatible with ~TStr@./aliases_typealiastype.py.GoodAlias5 [invalid_specialization]
 ./aliases_typealiastype.py:43:44: Type alias cannot combine old-style TypeVar declarations with type statement parameters [invalid_type_alias]
 ./aliases_typealiastype.py:44:44: Type alias must declare type parameters in the type statement [invalid_type_alias]

conformance/results/pycroscope/callables_annotation.toml

@@ -1,10 +1,5 @@
-conformant = "Partial"
-notes = """
-Does not support callback protocols with PEP 695 ParamSpec type parameters.
-"""
-conformance_automated = "Fail"
+conformance_automated = "Pass"
 errors_diff = """
-Line 115: Unexpected errors ['./callables_annotation.py:115:38: Traceback (most recent call last):', './callables_annotation.py:115:4: Traceback (most recent call last):']
 """
 output = """
 ./callables_annotation.py:25:4: Missing required positional argument at position 1 [incompatible_call]
@@ -19,10 +14,8 @@ output = """
 ./callables_annotation.py:59:4: Ellipsis must be used directly in Callable[..., T], not in Callable[[...], T] [invalid_annotation]
 ./callables_annotation.py:91:0: Incompatible assignment: expected (int, /, **Any[explicit]) -> str, got () -> str [incompatible_assignment]
 ./callables_annotation.py:93:0: Incompatible assignment: expected (int, /, **Any[explicit]) -> str, got (*, a: int) -> str [incompatible_assignment]
-./callables_annotation.py:115:38: Traceback (most recent call last):
-./callables_annotation.py:115:4: Traceback (most recent call last):
 ./callables_annotation.py:159:4: Incompatible assignment: expected ./callables_annotation.py.Proto5[Any[explicit]], got ./callables_annotation.py.Proto8 [incompatible_assignment]
-./callables_annotation.py:172:4: Incompatible assignment: expected .Callback2[Any[ellipsis_callable]] = (int, /, ****P) -> str, got () -> str [incompatible_assignment]
+./callables_annotation.py:172:4: Incompatible assignment: expected .Callback2[AnySig()] = (int, /, ****P) -> str, got () -> str [incompatible_assignment]
 ./callables_annotation.py:187:4: Incompatible assignment: expected (str, /, **Any[explicit]) -> str, got (int, str, /) -> str [incompatible_assignment]
-./callables_annotation.py:189:4: Incompatible assignment: expected .CallbackWithStr[Any[ellipsis_callable]] = (str, /, ****P) -> str, got (int, str, /) -> str [incompatible_assignment]
+./callables_annotation.py:189:4: Incompatible assignment: expected .CallbackWithStr[AnySig()] = (str, /, ****P) -> str, got (int, str, /) -> str [incompatible_assignment]
 """

conformance/results/pycroscope/callables_kwargs.toml

@@ -9,27 +9,13 @@ Incorrectly rejects assigning a callable without `**kwargs` to a callable whose
 conformance_automated = "Fail"
 errors_diff = """
 Line 210: Expected 1 errors
-Line 212: Expected 1 errors
 Line 213: Expected 1 errors
-Line 215: Expected 1 errors
 Line 216: Expected 1 errors
 Line 217: Expected 1 errors
 Line 221: Expected 1 errors
-Line 223: Expected 1 errors
 Line 224: Expected 1 errors
-Line 226: Expected 1 errors
 Line 227: Expected 1 errors
 Line 228: Expected 1 errors
-Line 243: Expected 1 errors
-Line 244: Expected 1 errors
-Line 246: Expected 1 errors
-Line 247: Expected 1 errors
-Line 249: Expected 1 errors
-Line 250: Expected 1 errors
-Line 251: Expected 1 errors
-Line 252: Expected 1 errors
-Line 155: Unexpected errors ["./callables_kwargs.py:155:0: Incompatible assignment: expected callables_kwargs.TDProtocol7, got function 'callables_kwargs.func7' [incompatible_assignment]"]
-Line 156: Unexpected errors ["./callables_kwargs.py:156:0: Incompatible assignment: expected callables_kwargs.TDProtocol8, got function 'callables_kwargs.func7' [incompatible_assignment]"]
 """
 output = """
 ./callables_kwargs.py:55:4: In call to callables_kwargs.func1: Missing required argument 'v1' [incompatible_call]
@@ -46,6 +32,16 @@ output = """
 ./callables_kwargs.py:131:21: Parameter v1 overlaps with TypedDict key in **kwargs [invalid_annotation]
 ./callables_kwargs.py:142:12: Expected TypedDict type inside Unpack[] for **kwargs [invalid_annotation]
 ./callables_kwargs.py:154:0: Incompatible assignment: expected callables_kwargs.TDProtocol6, got function 'callables_kwargs.func7' [incompatible_assignment]
-./callables_kwargs.py:155:0: Incompatible assignment: expected callables_kwargs.TDProtocol7, got function 'callables_kwargs.func7' [incompatible_assignment]
-./callables_kwargs.py:156:0: Incompatible assignment: expected callables_kwargs.TDProtocol8, got function 'callables_kwargs.func7' [incompatible_assignment]
+./callables_kwargs.py:212:4: Incompatible argument type for kwargs: expected dict[str, str] but got <dict containing {**{str?: object}}> [incompatible_argument]
+./callables_kwargs.py:215:4: Incompatible argument type for kwargs: expected dict[str, str] but got <dict containing {**{str?: object}}> [incompatible_argument]
+./callables_kwargs.py:223:4: Incompatible argument type for kwargs: expected dict[str, str] but got <dict containing {**{str?: object}}> [incompatible_argument]
+./callables_kwargs.py:226:4: Incompatible argument type for kwargs: expected dict[str, str] but got <dict containing {**{str?: object}}> [incompatible_argument]
+./callables_kwargs.py:243:4: In call to callables_kwargs.takes_name: **kwargs provided but not used [incompatible_call]
+./callables_kwargs.py:244:4: Incompatible argument type for kwargs: expected dict[str, str] but got <dict containing {**{str: int}}> [incompatible_argument]
+./callables_kwargs.py:246:4: In call to callables_kwargs.takes_name: **kwargs provided but not used [incompatible_call]
+./callables_kwargs.py:247:4: Incompatible argument type for kwargs: expected dict[str, str] but got <dict containing {**{str: int}}> [incompatible_argument]
+./callables_kwargs.py:249:4: In call to callables_kwargs.takes_closed: **kwargs provided but not used [incompatible_call]
+./callables_kwargs.py:250:4: In call to callables_kwargs.takes_closed: **kwargs provided but not used [incompatible_call]
+./callables_kwargs.py:251:4: Incompatible argument type for label: expected str but got int [incompatible_argument]
+./callables_kwargs.py:252:4: Incompatible argument type for label: expected str but got int [incompatible_argument]
 """

conformance/results/pycroscope/callables_protocol.toml

@@ -1,10 +1,5 @@
-conformant = "Partial"
-notes = """
-Does not support callback protocols with PEP 695 ParamSpec type parameters.
-"""
-conformance_automated = "Fail"
+conformance_automated = "Pass"
 errors_diff = """
-Line 179: Unexpected errors ['./callables_protocol.py:179:30: Traceback (most recent call last):', './callables_protocol.py:179:4: Traceback (most recent call last):']
 """
 output = """
 ./callables_protocol.py:35:0: Incompatible assignment: expected ./callables_protocol.py.Proto1, got (*vals: tuple[bytes, ...], max_items: int | None) -> list[bytes] [incompatible_assignment]
@@ -17,8 +12,6 @@ output = """
 ./callables_protocol.py:97:0: Incompatible assignment: expected ./callables_protocol.py.Proto4, got (x: int) -> None [incompatible_assignment]
 ./callables_protocol.py:121:0: Incompatible assignment: expected ./callables_protocol.py.NotProto6, got (*vals: tuple[bytes, ...], max_len: int | None = None) -> list[bytes] [incompatible_assignment]
 ./callables_protocol.py:169:0: Incompatible assignment: expected ./callables_protocol.py.Proto8, got (x: int) -> Any[explicit] [incompatible_assignment]
-./callables_protocol.py:179:30: Traceback (most recent call last):
-./callables_protocol.py:179:4: Traceback (most recent call last):
 ./callables_protocol.py:186:4: Incompatible types in assignment to attribute 'other_attribute': expected int, got Literal['str'] [incompatible_assignment]
 ./callables_protocol.py:187:4: ./callables_protocol.py.Proto9[**P@./callables_protocol.py.decorator1.<locals>.decorator1, +R@./callables_protocol.py.decorator1.<locals>.decorator1] has no attribute 'xxx' [undefined_attribute]
 ./callables_protocol.py:197:6: ./callables_protocol.py.Proto9[(x: int) -> Any[unannotated], str] has no attribute 'other_attribute2' [undefined_attribute]

conformance/results/pycroscope/callables_subtyping.toml

@@ -1,11 +1,5 @@
-conformant = "Partial"
-notes = """
-Does not support callback protocols with PEP 695 ParamSpec type parameters.
-"""
-conformance_automated = "Fail"
+conformance_automated = "Pass"
 errors_diff = """
-Line 205: Unexpected errors ['./callables_subtyping.py:205:30: Traceback (most recent call last):', './callables_subtyping.py:205:4: Traceback (most recent call last):']
-Line 214: Unexpected errors ['./callables_subtyping.py:214:4: Incompatible assignment: expected callables_subtyping.ProtocolWithP[**P@callables_subtyping.func7.<locals>.func7], got callables_subtyping.TypeAliasWithP[**P@callables_subtyping.func7.<locals>.func7] = (**__P: **P) -> None [incompatible_assignment]']
 """
 output = """
 ./callables_subtyping.py:26:4: Incompatible assignment: expected (float | int, /) -> float | int, got (int, /) -> int [incompatible_assignment]
@@ -34,9 +28,6 @@ output = """
 ./callables_subtyping.py:195:4: Incompatible assignment: expected callables_subtyping.IntKwargs6, got callables_subtyping.StrKwargs6 [incompatible_assignment]
 ./callables_subtyping.py:196:4: Incompatible assignment: expected callables_subtyping.Standard6, got callables_subtyping.IntStrKwargs6 [incompatible_assignment]
 ./callables_subtyping.py:197:4: Incompatible assignment: expected callables_subtyping.Standard6, got callables_subtyping.StrKwargs6 [incompatible_assignment]
-./callables_subtyping.py:205:30: Traceback (most recent call last):
-./callables_subtyping.py:205:4: Traceback (most recent call last):
-./callables_subtyping.py:214:4: Incompatible assignment: expected callables_subtyping.ProtocolWithP[**P@callables_subtyping.func7.<locals>.func7], got callables_subtyping.TypeAliasWithP[**P@callables_subtyping.func7.<locals>.func7] = (**__P: **P) -> None [incompatible_assignment]
 ./callables_subtyping.py:236:4: Incompatible assignment: expected callables_subtyping.DefaultArg8, got callables_subtyping.NoDefaultArg8 [incompatible_assignment]
 ./callables_subtyping.py:237:4: Incompatible assignment: expected callables_subtyping.DefaultArg8, got callables_subtyping.NoX8 [incompatible_assignment]
 ./callables_subtyping.py:240:4: Incompatible assignment: expected callables_subtyping.NoDefaultArg8, got callables_subtyping.NoX8 [incompatible_assignment]

conformance/results/pycroscope/classes_classvar.toml

@@ -1,10 +1,5 @@
-conformant = "Partial"
-notes = """
-Does not reject use of `ClassVar` as a qualifier for a NamedTuple field.
-"""
-conformance_automated = "Fail"
+conformance_automated = "Pass"
 errors_diff = """
-Line 94: Expected 1 errors
 """
 output = """
 ./classes_classvar.py:40:10: Invalid type annotation (<class 'int'>, <class 'str'>) [invalid_annotation]
@@ -23,6 +18,7 @@ output = """
 ./classes_classvar.py:79:7: ClassVar can only be used for assignments in class body [invalid_qualifier]
 ./classes_classvar.py:80:19: ClassVar cannot be used in type aliases [invalid_qualifier]
 ./classes_classvar.py:89:7: Unexpected ClassVar annotation [invalid_qualifier]
+./classes_classvar.py:94:7: ClassVar cannot be used for NamedTuple fields [invalid_qualifier]
 ./classes_classvar.py:127:0: Cannot assign to class variable 'stats' via instance [incompatible_assignment]
 ./classes_classvar.py:156:0: Incompatible assignment: expected ./classes_classvar.py.ProtoA, got ./classes_classvar.py.ProtoAImpl [incompatible_assignment]
 """