Update results for pyrefly 0.36.2.

Author: rchen152

conformance/results/pyrefly/aliases_explicit.toml

@@ -24,6 +24,6 @@ ERROR aliases_explicit.py:89:22-23: number literal cannot be used in annotations
 ERROR aliases_explicit.py:90:22-33: boolean operation cannot be used in annotations [invalid-annotation]
 ERROR aliases_explicit.py:91:22-32: f-string cannot be used in annotations [invalid-annotation]
 ERROR aliases_explicit.py:100:5-19: `TypeAlias[ListAlias, type[list[Unknown]]]` is not subscriptable [unsupported-operation]
-ERROR aliases_explicit.py:101:6-20: Expected a callable, got TypeAlias[ListOrSetAlias, type[list[Unknown] | set[Unknown]]] [not-callable]
+ERROR aliases_explicit.py:101:6-20: Expected a callable, got `TypeAlias[ListOrSetAlias, type[list[Unknown] | set[Unknown]]]` [not-callable]
 ERROR aliases_explicit.py:102:5-24: `TypeAlias[ListOrSetAlias, type[list[Unknown] | set[Unknown]]]` is not subscriptable [unsupported-operation]
 """

conformance/results/pyrefly/aliases_implicit.toml

@@ -26,6 +26,6 @@ ERROR aliases_implicit.py:115:10-24: Expected a type form, got instance of `Lite
 ERROR aliases_implicit.py:116:10-24: Expected a type form, got instance of `Literal[1]` [not-a-type]
 ERROR aliases_implicit.py:118:10-24: Expected a type form, got instance of `Literal['int']` [not-a-type]
 ERROR aliases_implicit.py:119:10-24: Expected a type form, got instance of `Literal['int | str']` [not-a-type]
-ERROR aliases_implicit.py:133:6-20: Expected a callable, got type[list[Unknown] | set[Unknown]] [not-callable]
+ERROR aliases_implicit.py:133:6-20: Expected a callable, got `type[list[Unknown] | set[Unknown]]` [not-callable]
 ERROR aliases_implicit.py:135:5-24: `type[list[Unknown] | set[Unknown]]` is not subscriptable [unsupported-operation]
 """

conformance/results/pyrefly/aliases_recursive.toml

@@ -8,26 +8,12 @@ Line 39: Expected 1 errors
 Line 50: Expected 1 errors
 Line 51: Expected 1 errors
 Line 52: Expected 1 errors
+Line 63: Expected 1 errors
+Line 69: Expected 1 errors
 Line 72: Expected 1 errors
 Line 75: Expected 1 errors
-Line 30: Unexpected errors ["Expected a type form, got instance of `Literal['RecursiveTuple']` [not-a-type]"]
 Line 42: Unexpected errors ["Expected a type form, got instance of `Literal['RecursiveMapping']` [not-a-type]"]
-Line 58: Unexpected errors ['Expected a type form, got instance of `_SpecialForm` [not-a-type]']
-Line 59: Unexpected errors ['`type[list[Unknown]]` is not subscriptable [unsupported-operation]']
-Line 62: Unexpected errors ['`type[list[Unknown]]` is not subscriptable [unsupported-operation]']
-Line 65: Unexpected errors ['Expected a type form, got instance of `_SpecialForm` [not-a-type]']
-Line 67: Unexpected errors ['`type[list[Unknown]]` is not subscriptable [unsupported-operation]']
-Line 68: Unexpected errors ['`type[list[Unknown]]` is not subscriptable [unsupported-operation]']
 """
 output = """
-ERROR aliases_recursive.py:30:36-52: Expected a type form, got instance of `Literal['RecursiveTuple']` [not-a-type]
 ERROR aliases_recursive.py:42:45-63: Expected a type form, got instance of `Literal['RecursiveMapping']` [not-a-type]
-ERROR aliases_recursive.py:58:26-54: Expected a type form, got instance of `_SpecialForm` [not-a-type]
-ERROR aliases_recursive.py:59:25-47: `type[list[Unknown]]` is not subscriptable [unsupported-operation]
-ERROR aliases_recursive.py:62:5-27: `type[list[Unknown]]` is not subscriptable [unsupported-operation]
-ERROR aliases_recursive.py:63:5-27: `type[list[Unknown]]` is not subscriptable [unsupported-operation]
-ERROR aliases_recursive.py:65:26-63: Expected a type form, got instance of `_SpecialForm` [not-a-type]
-ERROR aliases_recursive.py:67:5-32: `type[list[Unknown]]` is not subscriptable [unsupported-operation]
-ERROR aliases_recursive.py:68:5-34: `type[list[Unknown]]` is not subscriptable [unsupported-operation]
-ERROR aliases_recursive.py:69:5-32: `type[list[Unknown]]` is not subscriptable [unsupported-operation]
 """

conformance/results/pyrefly/aliases_type_statement.toml

@@ -6,16 +6,16 @@ Does not detect circular definitions.
 """
 conformance_automated = "Fail"
 errors_diff = """
-Line 26: Expected 1 errors
 Line 82: Expected 1 errors
 Line 84: Expected 1 errors
 Lines 51, 52: Expected error (tag 'TA14')
 Lines 88, 89: Expected error (tag 'RTA6')
 """
 output = """
 ERROR aliases_type_statement.py:17:1-21: Object of class `TypeAliasType` has no attribute `bit_count` [missing-attribute]
-ERROR aliases_type_statement.py:19:1-11: Expected a callable, got TypeAlias[GoodAlias1, type[int]] [not-callable]
+ERROR aliases_type_statement.py:19:1-11: Expected a callable, got `TypeAlias[GoodAlias1, type[int]]` [not-callable]
 ERROR aliases_type_statement.py:23:7-30: Object of class `TypeAliasType` has no attribute `other_attrib` [missing-attribute]
+ERROR aliases_type_statement.py:26:18-28: Cannot use scoped type alias `GoodAlias1` as a base class. Use a legacy type alias instead: `GoodAlias1: TypeAlias = type[int]` [invalid-inheritance]
 ERROR aliases_type_statement.py:31:22-32: Expected class object, got `TypeAliasType` [invalid-argument]
 ERROR aliases_type_statement.py:37:22-62: function call cannot be used in annotations [invalid-annotation]
 ERROR aliases_type_statement.py:38:22-32: list literal cannot be used in annotations [invalid-annotation]

conformance/results/pyrefly/aliases_typealiastype.toml

@@ -1,49 +1,30 @@
 conformant = "Unsupported"
 conformance_automated = "Fail"
 errors_diff = """
-Line 44: Expected 1 errors
 Line 46: Expected 1 errors
+Line 47: Expected 1 errors
 Line 48: Expected 1 errors
-Line 52: Expected 1 errors
-Line 53: Expected 1 errors
-Line 54: Expected 1 errors
-Line 55: Expected 1 errors
-Line 56: Expected 1 errors
-Line 57: Expected 1 errors
-Line 58: Expected 1 errors
-Line 59: Expected 1 errors
-Line 60: Expected 1 errors
-Line 61: Expected 1 errors
-Line 62: Expected 1 errors
-Line 63: Expected 1 errors
-Line 64: Expected 1 errors
-Line 17: Unexpected errors ['Argument `tuple[type[TypeVar[T]]]` is not assignable to parameter `type_params` with type `tuple[ParamSpec | TypeVar | TypeVarTuple, ...]` in function `typing.TypeAliasType.__new__` [bad-argument-type]']
-Line 18: Unexpected errors ['Argument `tuple[type[TypeVar[S]], type[TypeVar[T]]]` is not assignable to parameter `type_params` with type `tuple[ParamSpec | TypeVar | TypeVarTuple, ...]` in function `typing.TypeAliasType.__new__` [bad-argument-type]']
-Line 19: Unexpected errors ['Argument `tuple[type[TypeVar[T]]]` is not assignable to parameter `type_params` with type `tuple[ParamSpec | TypeVar | TypeVarTuple, ...]` in function `typing.TypeAliasType.__new__` [bad-argument-type]']
-Line 22: Unexpected errors ["Expected a type form, got instance of `Literal['GoodAlias5[S, TStr, P]']` [not-a-type]"]
-Line 23: Unexpected errors ['Argument `tuple[type[TypeVar[S]], type[TypeVar[TStr]], type[ParamSpec[P]], type[TypeVarTuple[Ts]]]` is not assignable to parameter `type_params` with type `tuple[ParamSpec | TypeVar | TypeVarTuple, ...]` in function `typing.TypeAliasType.__new__` [bad-argument-type]']
-Line 35: Unexpected errors ['Expected a type form, got instance of `GenericAlias` [not-a-type]']
-Line 36: Unexpected errors ['Expected a type form, got instance of `GenericAlias` [not-a-type]']
-Line 37: Unexpected errors ['Expected a type form, got instance of `GenericAlias` [not-a-type]']
-Line 38: Unexpected errors ['Expected a type form, got instance of `GenericAlias` [not-a-type]']
-Line 39: Unexpected errors ['Expected a type form, got instance of `GenericAlias` [not-a-type]', 'Expected an iterable, got `type[tuple[int, str, int]]` [not-iterable]']
+Line 66: Expected 1 errors
 """
 output = """
-ERROR aliases_typealiastype.py:17:63-67: Argument `tuple[type[TypeVar[T]]]` is not assignable to parameter `type_params` with type `tuple[ParamSpec | TypeVar | TypeVarTuple, ...]` in function `typing.TypeAliasType.__new__` [bad-argument-type]
-ERROR aliases_typealiastype.py:18:73-79: Argument `tuple[type[TypeVar[S]], type[TypeVar[T]]]` is not assignable to parameter `type_params` with type `tuple[ParamSpec | TypeVar | TypeVarTuple, ...]` in function `typing.TypeAliasType.__new__` [bad-argument-type]
-ERROR aliases_typealiastype.py:19:81-85: Argument `tuple[type[TypeVar[T]]]` is not assignable to parameter `type_params` with type `tuple[ParamSpec | TypeVar | TypeVarTuple, ...]` in function `typing.TypeAliasType.__new__` [bad-argument-type]
-ERROR aliases_typealiastype.py:22:40-64: Expected a type form, got instance of `Literal['GoodAlias5[S, TStr, P]']` [not-a-type]
-ERROR aliases_typealiastype.py:23:17-33: Argument `tuple[type[TypeVar[S]], type[TypeVar[TStr]], type[ParamSpec[P]], type[TypeVarTuple[Ts]]]` is not assignable to parameter `type_params` with type `tuple[ParamSpec | TypeVar | TypeVarTuple, ...]` in function `typing.TypeAliasType.__new__` [bad-argument-type]
 ERROR aliases_typealiastype.py:32:7-30: Object of class `TypeAliasType` has no attribute `other_attrib` [missing-attribute]
-ERROR aliases_typealiastype.py:35:5-20: Expected a type form, got instance of `GenericAlias` [not-a-type]
-ERROR aliases_typealiastype.py:36:5-20: Expected a type form, got instance of `GenericAlias` [not-a-type]
-ERROR aliases_typealiastype.py:37:5-40: Expected a type form, got instance of `GenericAlias` [not-a-type]
-ERROR aliases_typealiastype.py:38:5-40: Expected a type form, got instance of `GenericAlias` [not-a-type]
-ERROR aliases_typealiastype.py:39:5-60: Expected a type form, got instance of `GenericAlias` [not-a-type]
-ERROR aliases_typealiastype.py:39:16-59: Expected an iterable, got `type[tuple[int, str, int]]` [not-iterable]
-ERROR aliases_typealiastype.py:40:5-30: Expected a type form, got instance of `GenericAlias` [not-a-type]
-ERROR aliases_typealiastype.py:43:61-65: Argument `tuple[type[TypeVar[T]]]` is not assignable to parameter `type_params` with type `tuple[ParamSpec | TypeVar | TypeVarTuple, ...]` in function `typing.TypeAliasType.__new__` [bad-argument-type]
-ERROR aliases_typealiastype.py:45:57-65: Argument `tuple[type[TypeVar[S]], type[TypeVar[T]]]` is not assignable to parameter `type_params` with type `tuple[ParamSpec | TypeVar | TypeVarTuple, ...]` in function `typing.TypeAliasType.__new__` [bad-argument-type]
-ERROR aliases_typealiastype.py:47:74-78: Argument `tuple[type[TypeVar[T]]]` is not assignable to parameter `type_params` with type `tuple[ParamSpec | TypeVar | TypeVarTuple, ...]` in function `typing.TypeAliasType.__new__` [bad-argument-type]
-ERROR aliases_typealiastype.py:66:47-57: `BadAlias21` is uninitialized [unbound-name]
+ERROR aliases_typealiastype.py:40:5-30: Type `int` is not assignable to upper bound `str` of type variable `TStr` [bad-specialization]
+ERROR aliases_typealiastype.py:43:40-47: Type variable `S` is out of scope for this `TypeAliasType` [type-alias-error]
+ERROR aliases_typealiastype.py:44:40-47: Type variable `S` is out of scope for this `TypeAliasType` [type-alias-error]
+ERROR aliases_typealiastype.py:45:45-65: Value for argument `type_params` must be a tuple literal [type-alias-error]
+ERROR aliases_typealiastype.py:52:40-80: function call cannot be used in annotations [invalid-annotation]
+ERROR aliases_typealiastype.py:53:40-50: list literal cannot be used in annotations [invalid-annotation]
+ERROR aliases_typealiastype.py:54:42-55: tuple literal cannot be used in annotations [invalid-annotation]
+ERROR aliases_typealiastype.py:55:42-65: list comprehension cannot be used in annotations [invalid-annotation]
+ERROR aliases_typealiastype.py:56:42-52: dict literal cannot be used in annotations [invalid-annotation]
+ERROR aliases_typealiastype.py:56:44-45: Could not find name `a` [unknown-name]
+ERROR aliases_typealiastype.py:56:49-50: Could not find name `b` [unknown-name]
+ERROR aliases_typealiastype.py:57:42-57: function call cannot be used in annotations [invalid-annotation]
+ERROR aliases_typealiastype.py:58:42-50: invalid subscript expression cannot be used in annotations [invalid-annotation]
+ERROR aliases_typealiastype.py:59:42-63: if expression cannot be used in annotations [invalid-annotation]
+ERROR aliases_typealiastype.py:60:42-46: Expected `BadAlias16` to be a type alias, got `Literal[3]` [type-alias-error]
+ERROR aliases_typealiastype.py:61:42-46: bool literal cannot be used in annotations [invalid-annotation]
+ERROR aliases_typealiastype.py:62:42-43: number literal cannot be used in annotations [invalid-annotation]
+ERROR aliases_typealiastype.py:63:42-53: boolean operation cannot be used in annotations [invalid-annotation]
+ERROR aliases_typealiastype.py:64:42-52: f-string cannot be used in annotations [invalid-annotation]
 """

conformance/results/pyrefly/callables_kwargs.toml

@@ -2,9 +2,8 @@ conformant = "Partial"
 notes = """
 Does not reject overlap between unpacked TypedDict kwarg and named parameters
 """
-conformance_automated = "Fail"
+conformance_automated = "Pass"
 errors_diff = """
-Line 111: Expected 1 errors
 """
 output = """
 ERROR callables_kwargs.py:46:10-12: Missing argument `v1` in function `func1` [missing-argument]
@@ -24,6 +23,7 @@ ERROR callables_kwargs.py:65:17-22: Multiple values for argument `v1` in functio
 ERROR callables_kwargs.py:101:19-24: `(**kwargs: Unpack[TypedDict[TD2]]) -> None` is not assignable to `TDProtocol3` [bad-assignment]
 ERROR callables_kwargs.py:102:19-24: `(**kwargs: Unpack[TypedDict[TD2]]) -> None` is not assignable to `TDProtocol4` [bad-assignment]
 ERROR callables_kwargs.py:103:19-24: `(**kwargs: Unpack[TypedDict[TD2]]) -> None` is not assignable to `TDProtocol5` [bad-assignment]
+ERROR callables_kwargs.py:111:20-41: TypedDict key 'v1' in **kwargs overlaps with parameter 'v1' [bad-function-definition]
 ERROR callables_kwargs.py:122:21-30: `Unpack` in **kwargs annotation must be used only with a `TypedDict` [invalid-annotation]
 ERROR callables_kwargs.py:134:19-24: `(*, v1: int, v3: str, v2: str = '') -> None` is not assignable to `TDProtocol6` [bad-assignment]
 """

conformance/results/pyrefly/constructors_call_metaclass.toml

@@ -3,6 +3,6 @@ conformance_automated = "Pass"
 errors_diff = """
 """
 output = """
-ERROR constructors_call_metaclass.py:51:7-9: Missing argument `x` in function `Class3.__new__` [missing-argument]
-ERROR constructors_call_metaclass.py:65:7-9: Missing argument `x` in function `Class4.__new__` [missing-argument]
+ERROR constructors_call_metaclass.py:54:7-9: Missing argument `x` in function `Class3.__new__` [missing-argument]
+ERROR constructors_call_metaclass.py:68:7-9: Missing argument `x` in function `Class4.__new__` [missing-argument]
 """

conformance/results/pyrefly/constructors_callable.toml

@@ -18,28 +18,18 @@ Line 165: Unexpected errors ['assert_type(Class7[Any], Class7[str]) failed [asse
 Line 183: Unexpected errors ['assert_type(Class8[Any], Class8[str]) failed [assert-type]']
 """
 output = """
- constructors_callable.py:36:12-16: revealed type: (x: int) -> Class1 [reveal-type]
 ERROR constructors_callable.py:38:3-5: Missing argument `x` [missing-argument]
 ERROR constructors_callable.py:39:3-8: Missing argument `x` [missing-argument]
 ERROR constructors_callable.py:39:4-5: Unexpected keyword argument `y` [unexpected-keyword]
- constructors_callable.py:49:12-16: revealed type: () -> Class2 [reveal-type]
 ERROR constructors_callable.py:51:4-5: Expected 0 positional arguments, got 1 [bad-argument-count]
 ERROR constructors_callable.py:62:23-29: Argument `type[Class3]` is not assignable to parameter `cb` with type `(*args: Unknown, **kwargs: Unknown) -> Class3` in function `accepts_callable` [bad-argument-type]
- constructors_callable.py:63:12-16: revealed type: (*args: Unknown, **kwargs: Unknown) -> Class3 [reveal-type]
- constructors_callable.py:77:12-16: revealed type: (x: int) -> int [reveal-type]
 ERROR constructors_callable.py:79:3-5: Missing argument `x` [missing-argument]
 ERROR constructors_callable.py:80:3-8: Missing argument `x` [missing-argument]
 ERROR constructors_callable.py:80:4-5: Unexpected keyword argument `y` [unexpected-keyword]
- constructors_callable.py:97:12-16: revealed type: (*args: Any, **kwargs: Any) -> NoReturn [reveal-type]
- constructors_callable.py:125:12-16: revealed type: () -> Class6Proxy [reveal-type]
 ERROR constructors_callable.py:127:4-5: Expected 0 positional arguments, got 1 [bad-argument-count]
- constructors_callable.py:142:12-20: revealed type: () -> Any [reveal-type]
 ERROR constructors_callable.py:144:8-9: Expected 0 positional arguments, got 1 [bad-argument-count]
- constructors_callable.py:161:12-163:2: revealed type: (x: int) -> Class7[Unknown] [reveal-type]
 ERROR constructors_callable.py:164:12-32: assert_type(Class7[Any], Class7[int]) failed [assert-type]
 ERROR constructors_callable.py:165:12-33: assert_type(Class7[Any], Class7[str]) failed [assert-type]
 ERROR constructors_callable.py:165:16-18: Argument `Literal['']` is not assignable to parameter `x` with type `int` [bad-argument-type]
- constructors_callable.py:182:12-16: revealed type: (x: list[Unknown], y: list[Unknown]) -> Class8[Unknown] [reveal-type]
 ERROR constructors_callable.py:183:12-41: assert_type(Class8[Any], Class8[str]) failed [assert-type]
- constructors_callable.py:193:12-16: revealed type: (x: list[@_], y: list[@_]) -> Class9 [reveal-type]
 """

conformance/results/pyrefly/dataclasses_final.toml

@@ -5,10 +5,10 @@ Allows assignment to final attributes that are not initialized on the class
 conformance_automated = "Fail"
 errors_diff = """
 Line 35: Expected 1 errors
+Line 37: Expected 1 errors
 """
 output = """
 ERROR dataclasses_final.py:27:1-17: Cannot set field `final_classvar` [read-only]
 ERROR dataclasses_final.py:36:1-21: Cannot set field `final_with_default` [read-only]
-ERROR dataclasses_final.py:37:1-19: Instance-only attribute `final_no_default` of class `D` is not visible on the class [no-access]
 ERROR dataclasses_final.py:38:1-21: Cannot set field `final_with_default` [read-only]
 """

conformance/results/pyrefly/dataclasses_postinit.toml

@@ -3,8 +3,8 @@ conformance_automated = "Pass"
 errors_diff = """
 """
 output = """
-ERROR dataclasses_postinit.py:19:9-22: `__post_init__` type `BoundMethod[DC1, (self: Self@DC1, x: int, y: int) -> None]` is not assignable to expected type `(x: int, y: str) -> object` generated from the dataclass's `InitVar` fields [bad-function-definition]
+ERROR dataclasses_postinit.py:19:9-22: `__post_init__` type `BoundMethod[DC1, (self: DC1, x: int, y: int) -> None]` is not assignable to expected type `(x: int, y: str) -> object` generated from the dataclass's `InitVar` fields [bad-function-definition]
 ERROR dataclasses_postinit.py:28:7-12: Object of class `DC1` has no attribute `x` [missing-attribute]
 ERROR dataclasses_postinit.py:29:7-12: Object of class `DC1` has no attribute `y` [missing-attribute]
-ERROR dataclasses_postinit.py:36:9-22: `__post_init__` type `BoundMethod[DC2, (self: Self@DC2, x: int) -> None]` is not assignable to expected type `(x: int, y: str) -> object` generated from the dataclass's `InitVar` fields [bad-function-definition]
+ERROR dataclasses_postinit.py:36:9-22: `__post_init__` type `BoundMethod[DC2, (self: DC2, x: int) -> None]` is not assignable to expected type `(x: int, y: str) -> object` generated from the dataclass's `InitVar` fields [bad-function-definition]
 """