Update conformance results (#2379)

Update conformance results.

Author: rchen152

conformance/pyproject.toml

@@ -7,7 +7,7 @@ dependencies = [
     "markdown",
     "mypy",
     "pycroscope",
-    "pyrefly==1.3.0.dev1",
+    "pyrefly",
     "pyright",
     "tomlkit",
     "ty",

conformance/results/mypy/callables_kwargs.toml

@@ -6,7 +6,7 @@ output = """
 callables_kwargs.py:46: error: Missing named argument "v1" for "func1"  [call-arg]
 callables_kwargs.py:46: error: Missing named argument "v3" for "func1"  [call-arg]
 callables_kwargs.py:51: error: Unexpected keyword argument "v4" for "func1"  [call-arg]
-callables_kwargs.py:52: error: Too many positional arguments for "func1"  [misc]
+callables_kwargs.py:52: error: Too many positional arguments for "func1"  [call-arg]
 callables_kwargs.py:58: error: Argument 1 to "func1" has incompatible type "**dict[str, str]"; expected "int"  [arg-type]
 callables_kwargs.py:61: error: Argument 1 to "func1" has incompatible type "**dict[str, object]"; expected "int"  [arg-type]
 callables_kwargs.py:61: error: Argument 1 to "func1" has incompatible type "**dict[str, object]"; expected "str"  [arg-type]

conformance/results/mypy/constructors_callable.toml

@@ -9,7 +9,6 @@ errors_diff = """
 Line 129: Expected 1 errors
 Line 146: Expected 1 errors
 Line 74: Unexpected errors ['constructors_callable.py:74: error: Incompatible return type for "__new__" (returns "int", but must return a subtype of "Class4")  [misc]']
-Line 80: Unexpected errors ['constructors_callable.py:80: error: Expression is of type "Class4", not "int"  [assert-type]']
 Line 102: Unexpected errors ['constructors_callable.py:102: error: Expression is of type "Class5", not "Never"  [assert-type]']
 Line 107: Unexpected errors ['constructors_callable.py:107: error: Expression is of type "Class5", not "Never"  [assert-type]']
 Line 118: Unexpected errors ['constructors_callable.py:118: error: Incompatible return type for "__new__" (returns "Class6Proxy", but must return a subtype of "Class6")  [misc]']
@@ -27,8 +26,7 @@ constructors_callable.py:66: error: Too few arguments  [call-arg]
 constructors_callable.py:67: error: Unexpected keyword argument "y"  [call-arg]
 constructors_callable.py:68: error: Too many arguments  [call-arg]
 constructors_callable.py:74: error: Incompatible return type for "__new__" (returns "int", but must return a subtype of "Class4")  [misc]
-constructors_callable.py:79: note: Revealed type is "def (x: int) -> constructors_callable.Class4"
-constructors_callable.py:80: error: Expression is of type "Class4", not "int"  [assert-type]
+constructors_callable.py:79: note: Revealed type is "def (x: int) -> int"
 constructors_callable.py:81: error: Too few arguments  [call-arg]
 constructors_callable.py:82: error: Unexpected keyword argument "y"  [call-arg]
 constructors_callable.py:99: note: Revealed type is "def (*args: Any, **kwargs: Any) -> constructors_callable.Class5"

conformance/results/mypy/dataclasses_kwonly.toml

@@ -1,8 +1,8 @@
 conformant = "Pass"
 output = """
-dataclasses_kwonly.py:23: error: Too many positional arguments for "DC1"  [misc]
-dataclasses_kwonly.py:38: error: Too many positional arguments for "DC2"  [misc]
-dataclasses_kwonly.py:53: error: Too many positional arguments for "DC3"  [misc]
+dataclasses_kwonly.py:23: error: Too many positional arguments for "DC1"  [call-arg]
+dataclasses_kwonly.py:38: error: Too many positional arguments for "DC2"  [call-arg]
+dataclasses_kwonly.py:53: error: Too many positional arguments for "DC3"  [call-arg]
 """
 conformance_automated = "Pass"
 errors_diff = """

conformance/results/mypy/dataclasses_transform_class.toml

@@ -2,9 +2,9 @@ conformant = "Pass"
 output = """
 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:66: error: Too many positional arguments for "Customer1"  [call-arg]
 dataclasses_transform_class.py:72: error: Unsupported left operand type for < ("Customer1")  [operator]
-dataclasses_transform_class.py:82: error: Too many positional arguments for "Customer2"  [misc]
+dataclasses_transform_class.py:82: error: Too many positional arguments for "Customer2"  [call-arg]
 dataclasses_transform_class.py:122: error: Property "id" defined in "Customer3" is read-only  [misc]
 """
 conformance_automated = "Pass"

conformance/results/mypy/dataclasses_transform_field.toml

@@ -4,7 +4,7 @@ Does not properly handle field constructor that has default value for `kw_only`
 """
 output = """
 dataclasses_transform_field.py:64: error: Unexpected keyword argument "id" for "CustomerModel1"  [call-arg]
-dataclasses_transform_field.py:75: error: Too many positional arguments for "CustomerModel2"  [misc]
+dataclasses_transform_field.py:75: error: Too many positional arguments for "CustomerModel2"  [call-arg]
 dataclasses_transform_field.py:75: error: Missing named argument "name" for "CustomerModel2"  [call-arg]
 dataclasses_transform_field.py:77: error: Missing named argument "id" for "CustomerModel2"  [call-arg]
 """

conformance/results/mypy/dataclasses_transform_func.toml

@@ -4,15 +4,15 @@ Does not handle `kw_only=False` override when `kw_only_default=True`.
 Does not report error when `order=False` and comparison operators are used.
 """
 output = """
-dataclasses_transform_func.py:52: error: Too many positional arguments for "Customer1"  [misc]
+dataclasses_transform_func.py:52: error: Too many positional arguments for "Customer1"  [call-arg]
 dataclasses_transform_func.py:56: error: Incompatible types in assignment (expression has type "int", variable has type "str")  [assignment]
 dataclasses_transform_func.py:64: error: Unexpected keyword argument "salary" for "Customer1"  [call-arg]
-dataclasses_transform_func.py:70: error: Too many positional arguments for "Customer2"  [misc]
+dataclasses_transform_func.py:70: error: Too many positional arguments for "Customer2"  [call-arg]
 dataclasses_transform_func.py:89: error: Non-frozen dataclass cannot inherit from a frozen dataclass  [misc]
 dataclasses_transform_func.py:96: error: Property "id" defined in "Customer3" is read-only  [misc]
 """
 conformance_automated = "Fail"
 errors_diff = """
 Line 60: Expected 1 errors
-Line 52: Unexpected errors ['dataclasses_transform_func.py:52: error: Too many positional arguments for "Customer1"  [misc]']
+Line 52: Unexpected errors ['dataclasses_transform_func.py:52: error: Too many positional arguments for "Customer1"  [call-arg]']
 """

conformance/results/mypy/dataclasses_transform_meta.toml

@@ -2,9 +2,9 @@ conformant = "Pass"
 output = """
 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:66: error: Too many positional arguments for "Customer1"  [call-arg]
 dataclasses_transform_meta.py:73: error: Unsupported left operand type for < ("Customer1")  [operator]
-dataclasses_transform_meta.py:83: error: Too many positional arguments for "Customer2"  [misc]
+dataclasses_transform_meta.py:83: error: Too many positional arguments for "Customer2"  [call-arg]
 dataclasses_transform_meta.py:103: error: Property "id" defined in "Customer3" is read-only  [misc]
 """
 conformance_automated = "Pass"

conformance/results/mypy/directives_type_ignore.toml

@@ -3,12 +3,12 @@ notes = """
 Does not honor `# type: ignore` comment if comment includes additional text.
 """
 output = """
-directives_type_ignore.py:11: error: Invalid "type: ignore" comment  [syntax]
 directives_type_ignore.py:11: error: Incompatible types in assignment (expression has type "str", variable has type "int")  [assignment]
+directives_type_ignore.py:11: error: Invalid "type: ignore" comment  [syntax]
 directives_type_ignore.py:16: error: Incompatible types in assignment (expression has type "str", variable has type "int")  [assignment]
 directives_type_ignore.py:16: note: Error code "assignment" not covered by "type: ignore[an-empty-str-is-not-an-int]" comment
 """
 conformance_automated = "Fail"
 errors_diff = """
-Line 11: Unexpected errors ['directives_type_ignore.py:11: error: Invalid "type: ignore" comment  [syntax]', 'directives_type_ignore.py:11: error: Incompatible types in assignment (expression has type "str", variable has type "int")  [assignment]']
+Line 11: Unexpected errors ['directives_type_ignore.py:11: error: Incompatible types in assignment (expression has type "str", variable has type "int")  [assignment]', 'directives_type_ignore.py:11: error: Invalid "type: ignore" comment  [syntax]']
 """

conformance/results/mypy/generics_defaults.toml

@@ -6,18 +6,16 @@ Does not fully support defaults on `TypeVarTuple` and `ParamSpec`.
 output = """
 generics_defaults.py:24: error: "T" cannot appear after "DefaultStrT" in type parameter list because it has no default type  [misc]
 generics_defaults.py:66: error: "AllTheDefaults" expects between 2 and 5 type arguments, but 1 given  [type-arg]
-generics_defaults.py:139: error: Expression is of type "tuple[*tuple[str, int], ...]", not "tuple[str, int]"  [assert-type]
 generics_defaults.py:152: error: TypeVar default must be a subtype of the bound type  [misc]
 generics_defaults.py:159: error: TypeVar default must be one of the constraint types  [misc]
 generics_defaults.py:177: error: Expression is of type "int", not "Any"  [assert-type]
+generics_defaults.py:188: error: A type variable with default cannot follow TypeVarTuple  [type-var]
 generics_defaults.py:203: error: Can only replace ParamSpec with a parameter types list or another ParamSpec, got "str"  [valid-type]
 generics_defaults.py:204: error: Expression is of type "tuple[Any, ...]", not "tuple[int, str]"  [assert-type]
 generics_defaults.py:205: error: Expression is of type "def (*Any, **Any) -> None", not "Callable[[float, bool], None]"  [assert-type]
 """
 conformance_automated = "Fail"
 errors_diff = """
-Line 188: Expected 1 errors
-Line 139: Unexpected errors ['generics_defaults.py:139: error: Expression is of type "tuple[*tuple[str, int], ...]", not "tuple[str, int]"  [assert-type]']
 Line 203: Unexpected errors ['generics_defaults.py:203: error: Can only replace ParamSpec with a parameter types list or another ParamSpec, got "str"  [valid-type]']
 Line 204: Unexpected errors ['generics_defaults.py:204: error: Expression is of type "tuple[Any, ...]", not "tuple[int, str]"  [assert-type]']
 Line 205: Unexpected errors ['generics_defaults.py:205: error: Expression is of type "def (*Any, **Any) -> None", not "Callable[[float, bool], None]"  [assert-type]']