Update conformance results for Pyrefly v1.3.0-dev1

conformance/pyproject.toml

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

conformance/results/pyrefly/aliases_recursive.toml

@@ -3,13 +3,13 @@ conformance_automated = "Pass"
 errors_diff = """
 """
 output = """
-ERROR aliases_recursive.py:19:12-29: `dict[str, complex | int]` is not assignable to `dict[str, Json] | float | int | list[Json] | str | None` [bad-assignment]
+ERROR aliases_recursive.py:19:26-28: `complex` is not assignable to dict value type `Json` [bad-assignment]
 ERROR aliases_recursive.py:20:12-19: `list[complex | int]` is not assignable to `dict[str, Json] | float | int | list[Json] | str | None` [bad-assignment]
 ERROR aliases_recursive.py:38:22-50: `tuple[Literal[1], tuple[Literal['1'], Literal[1]], tuple[Literal[1], tuple[Literal[1], list[int]]]]` is not assignable to `int | str | tuple[RecursiveTuple, ...]` [bad-assignment]
 ERROR aliases_recursive.py:39:22-30: `tuple[Literal[1], list[int]]` is not assignable to `int | str | tuple[RecursiveTuple, ...]` [bad-assignment]
-ERROR aliases_recursive.py:50:24-34: `dict[str, list[int]]` is not assignable to `Mapping[str, RecursiveMapping] | int | str` [bad-assignment]
-ERROR aliases_recursive.py:51:24-55: `dict[str, int | list[int] | str]` is not assignable to `Mapping[str, RecursiveMapping] | int | str` [bad-assignment]
-ERROR aliases_recursive.py:52:24-83: `dict[str, dict[str, int | list[int] | str] | int | str]` is not assignable to `Mapping[str, RecursiveMapping] | int | str` [bad-assignment]
+ERROR aliases_recursive.py:50:30-33: `list[int]` is not assignable to dict value type `RecursiveMapping` [bad-assignment]
+ERROR aliases_recursive.py:51:48-54: `list[int]` is not assignable to dict value type `RecursiveMapping` [bad-assignment]
+ERROR aliases_recursive.py:52:72-81: `list[int]` is not assignable to dict value type `RecursiveMapping` [bad-assignment]
 ERROR aliases_recursive.py:63:30-43: `list[list[float] | str]` is not assignable to `list[str | GenericTypeAlias1[str]]` [bad-assignment]
 ERROR aliases_recursive.py:69:35-64: `list[list[int | list[int | list[float] | str]] | str]` is not assignable to `list[int | str | GenericTypeAlias2[str, int]]` [bad-assignment]
 ERROR aliases_recursive.py:72:29-57: Found cyclic self-reference in `RecursiveUnion` [invalid-type-alias]

conformance/results/pyrefly/callables_annotation.toml

@@ -1,10 +1,6 @@
-conformant = "Partial"
-notes = """
-Parameter names are lost when resolving `ParamSpec`.
-"""
-conformance_automated = "Fail"
+conformant = "Pass"
+conformance_automated = "Pass"
 errors_diff = """
-Line 159: Expected 1 errors
 """
 output = """
 ERROR callables_annotation.py:25:7-10: Expected 1 more positional argument [bad-argument-count]
@@ -21,6 +17,7 @@ ERROR callables_annotation.py:58:5-28: Expected 2 arguments for `Callable`, got
 ERROR callables_annotation.py:59:15-18: Invalid position for `...` [invalid-argument]
 ERROR callables_annotation.py:91:7-15: `() -> str` is not assignable to variable `cb3` with type `(int, ...) -> str` [bad-assignment]
 ERROR callables_annotation.py:93:7-15: `(*, a: int) -> str` is not assignable to variable `cb3` with type `(int, ...) -> str` [bad-assignment]
+ERROR callables_annotation.py:159:25-27: `Proto8` is not assignable to `Proto5[Any]` [bad-assignment]
 ERROR callables_annotation.py:172:26-29: `() -> str` is not assignable to `(int, ...) -> str` [bad-assignment]
 ERROR callables_annotation.py:187:48-50: `(int, str) -> str` is not assignable to `(str, ...) -> str` [bad-assignment]
 ERROR callables_annotation.py:189:32-34: `(int, str) -> str` is not assignable to `(str, ...) -> str` [bad-assignment]

conformance/results/pyrefly/constructors_callable.toml

@@ -1,10 +1,6 @@
-conformant = "Partial"
-notes = """
-Converting constructor to callable does not preserve class-scoped type params.
-"""
-conformance_automated = "Fail"
+conformant = "Pass"
+conformance_automated = "Pass"
 errors_diff = """
-Line 186: Unexpected errors ['assert_type(Class8[Unknown], Class8[str]) failed [assert-type]']
 """
 output = """
 ERROR constructors_callable.py:38:3-5: Missing argument `x` [missing-argument]
@@ -20,8 +16,8 @@ ERROR constructors_callable.py:82:3-8: Missing argument `x` [missing-argument]
 ERROR constructors_callable.py:82:4-5: Unexpected keyword argument `y` [unexpected-keyword]
 ERROR constructors_callable.py:129:4-5: Expected 0 positional arguments, got 1 [bad-argument-count]
 ERROR constructors_callable.py:146:8-9: Expected 0 positional arguments, got 1 [bad-argument-count]
-ERROR constructors_callable.py:185:10-22: Argument `Literal['not a list']` is not assignable to parameter `y` with type `list[Unknown]` [bad-argument-type]
-ERROR constructors_callable.py:186:12-41: assert_type(Class8[Unknown], Class8[str]) failed [assert-type]
+ERROR constructors_callable.py:185:10-22: Argument `Literal['not a list']` is not assignable to parameter `y` with type `list[str]` [bad-argument-type]
+ERROR constructors_callable.py:187:9-13: Argument `list[str]` is not assignable to parameter `y` with type `list[int]` [bad-argument-type]
 ERROR constructors_callable.py:197:10-22: Argument `Literal['not a list']` is not assignable to parameter `y` with type `list[str]` [bad-argument-type]
 ERROR constructors_callable.py:199:9-13: Argument `list[str]` is not assignable to parameter `y` with type `list[int]` [bad-argument-type]
 """

conformance/results/pyrefly/exceptions_context_managers.toml

@@ -1,13 +1,6 @@
-conformant = "Partial"
-notes = """
-Some error suppressing context managers are not detected.
-"""
-conformance_automated = "Fail"
+conformant = "Pass"
+conformance_automated = "Pass"
 errors_diff = """
-Line 50: Unexpected errors ['assert_type(str, int | str) failed [assert-type]']
-Line 57: Unexpected errors ['assert_type(str, int | str) failed [assert-type]']
 """
 output = """
-ERROR exceptions_context_managers.py:50:16-30: assert_type(str, int | str) failed [assert-type]
-ERROR exceptions_context_managers.py:57:16-30: assert_type(str, int | str) failed [assert-type]
 """

conformance/results/pyrefly/generics_scoping.toml

@@ -1,13 +1,6 @@
-conformant = "Partial"
-notes = """
-Does not implement several scoping checks/restrictions for generics.
-"""
-conformance_automated = "Fail"
+conformant = "Pass"
+conformance_automated = "Pass"
 errors_diff = """
-Line 86: Expected 1 errors
-Line 89: Expected 1 errors
-Line 98: Expected 1 errors
-Line 107: Expected 1 errors
 """
 output = """
 ERROR generics_scoping.py:16:12-34: assert_type(int, Literal[1]) failed [assert-type]
@@ -18,6 +11,10 @@ ERROR generics_scoping.py:54:12-50: assert_type(bytes, Literal[b'abc']) failed [
 ERROR generics_scoping.py:61:8-15: Type variable `S` is not in scope [invalid-type-var]
 ERROR generics_scoping.py:65:14-21: Type variable `S` is not in scope [invalid-type-var]
 ERROR generics_scoping.py:76:11-20: Redundant type parameter declaration [invalid-type-var]
+ERROR generics_scoping.py:86:15-26: Type variable `T` is not in scope [invalid-type-var]
+ERROR generics_scoping.py:89:12-19: Type variable `T` is not in scope [invalid-type-var]
+ERROR generics_scoping.py:98:24-31: Type variable `T` is not in scope [invalid-type-var]
 ERROR generics_scoping.py:105:14-15: Type variable `T` is not in scope [invalid-type-var]
 ERROR generics_scoping.py:106:14-21: Type variable `T` is not in scope [invalid-type-var]
+ERROR generics_scoping.py:107:1-8: Type variable `T` is not in scope [invalid-type-var]
 """

conformance/results/pyrefly/typeddicts_readonly_inheritance.toml

@@ -12,6 +12,6 @@ ERROR typeddicts_readonly_inheritance.py:84:5-7: Missing required key `ident` fo
 ERROR typeddicts_readonly_inheritance.py:94:5-6: TypedDict field `a` in `F3` cannot be marked read-only; parent TypedDict `F1` defines it as mutable [bad-typed-dict-key]
 ERROR typeddicts_readonly_inheritance.py:98:5-6: TypedDict field `a` in `F4` must remain required because parent TypedDict `F1` defines it as required [bad-typed-dict-key]
 ERROR typeddicts_readonly_inheritance.py:106:5-6: TypedDict field `c` in `F6` cannot be made non-required; parent TypedDict `F1` defines it as required [bad-typed-dict-key]
-ERROR typeddicts_readonly_inheritance.py:119:7-11: Field `x` is declared `float` in ancestor `class TD_A2: ...
+ERROR typeddicts_readonly_inheritance.py:119:7-11: Field `x` is declared `float` in ancestor `class TD_A2: ... `, which is not assignable to the type `int` implied by multiple inheritance [inconsistent-inheritance]
 ERROR typeddicts_readonly_inheritance.py:132:7-11: TypedDict field `x` in `TD_B` cannot be made non-required; parent TypedDict `TD_B2` defines it as required [bad-typed-dict-key]
 """

conformance/results/pyrefly/version.toml

@@ -1 +1 @@
-version = "pyrefly 1.1.0"
+version = "pyrefly 1.3.0-dev.1"