Skip to content

Commit 322ab67

Browse files
yangdanny97yangdanny97
authored
Update conformance results for Pyrefly v1.3.0-dev1 (#2333)
pyrefly-1.3.0-dev1
1 parent 4f470b0 commit 322ab67

10 files changed

Lines changed: 153 additions & 190 deletions

‎conformance/pyproject.toml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ dependencies = [
77
"markdown",
88
"mypy",
99
"pycroscope",
10-
"pyrefly",
10+
"pyrefly==1.3.0.dev1",
1111
"pyright",
1212
"tomlkit",
1313
"ty",

‎conformance/results/pyrefly/aliases_recursive.toml‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -3,13 +3,13 @@ conformance_automated = "Pass"
33
errors_diff = """
44
"""
55
output = """
6-
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]
6+
ERROR aliases_recursive.py:19:26-28: `complex` is not assignable to dict value type `Json` [bad-assignment]
77
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]
88
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]
99
ERROR aliases_recursive.py:39:22-30: `tuple[Literal[1], list[int]]` is not assignable to `int | str | tuple[RecursiveTuple, ...]` [bad-assignment]
10-
ERROR aliases_recursive.py:50:24-34: `dict[str, list[int]]` is not assignable to `Mapping[str, RecursiveMapping] | int | str` [bad-assignment]
11-
ERROR aliases_recursive.py:51:24-55: `dict[str, int | list[int] | str]` is not assignable to `Mapping[str, RecursiveMapping] | int | str` [bad-assignment]
12-
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]
10+
ERROR aliases_recursive.py:50:30-33: `list[int]` is not assignable to dict value type `RecursiveMapping` [bad-assignment]
11+
ERROR aliases_recursive.py:51:48-54: `list[int]` is not assignable to dict value type `RecursiveMapping` [bad-assignment]
12+
ERROR aliases_recursive.py:52:72-81: `list[int]` is not assignable to dict value type `RecursiveMapping` [bad-assignment]
1313
ERROR aliases_recursive.py:63:30-43: `list[list[float] | str]` is not assignable to `list[str | GenericTypeAlias1[str]]` [bad-assignment]
1414
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]
1515
ERROR aliases_recursive.py:72:29-57: Found cyclic self-reference in `RecursiveUnion` [invalid-type-alias]

‎conformance/results/pyrefly/callables_annotation.toml‎

Lines changed: 3 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,6 @@
1-
conformant = "Partial"
2-
notes = """
3-
Parameter names are lost when resolving `ParamSpec`.
4-
"""
5-
conformance_automated = "Fail"
1+
conformant = "Pass"
2+
conformance_automated = "Pass"
63
errors_diff = """
7-
Line 159: Expected 1 errors
84
"""
95
output = """
106
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
2117
ERROR callables_annotation.py:59:15-18: Invalid position for `...` [invalid-argument]
2218
ERROR callables_annotation.py:91:7-15: `() -> str` is not assignable to variable `cb3` with type `(int, ...) -> str` [bad-assignment]
2319
ERROR callables_annotation.py:93:7-15: `(*, a: int) -> str` is not assignable to variable `cb3` with type `(int, ...) -> str` [bad-assignment]
20+
ERROR callables_annotation.py:159:25-27: `Proto8` is not assignable to `Proto5[Any]` [bad-assignment]
2421
ERROR callables_annotation.py:172:26-29: `() -> str` is not assignable to `(int, ...) -> str` [bad-assignment]
2522
ERROR callables_annotation.py:187:48-50: `(int, str) -> str` is not assignable to `(str, ...) -> str` [bad-assignment]
2623
ERROR callables_annotation.py:189:32-34: `(int, str) -> str` is not assignable to `(str, ...) -> str` [bad-assignment]

‎conformance/results/pyrefly/constructors_callable.toml‎

Lines changed: 4 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,6 @@
1-
conformant = "Partial"
2-
notes = """
3-
Converting constructor to callable does not preserve class-scoped type params.
4-
"""
5-
conformance_automated = "Fail"
1+
conformant = "Pass"
2+
conformance_automated = "Pass"
63
errors_diff = """
7-
Line 186: Unexpected errors ['assert_type(Class8[Unknown], Class8[str]) failed [assert-type]']
84
"""
95
output = """
106
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]
2016
ERROR constructors_callable.py:82:4-5: Unexpected keyword argument `y` [unexpected-keyword]
2117
ERROR constructors_callable.py:129:4-5: Expected 0 positional arguments, got 1 [bad-argument-count]
2218
ERROR constructors_callable.py:146:8-9: Expected 0 positional arguments, got 1 [bad-argument-count]
23-
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]
24-
ERROR constructors_callable.py:186:12-41: assert_type(Class8[Unknown], Class8[str]) failed [assert-type]
19+
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]
20+
ERROR constructors_callable.py:187:9-13: Argument `list[str]` is not assignable to parameter `y` with type `list[int]` [bad-argument-type]
2521
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]
2622
ERROR constructors_callable.py:199:9-13: Argument `list[str]` is not assignable to parameter `y` with type `list[int]` [bad-argument-type]
2723
"""

‎conformance/results/pyrefly/exceptions_context_managers.toml‎

Lines changed: 2 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,6 @@
1-
conformant = "Partial"
2-
notes = """
3-
Some error suppressing context managers are not detected.
4-
"""
5-
conformance_automated = "Fail"
1+
conformant = "Pass"
2+
conformance_automated = "Pass"
63
errors_diff = """
7-
Line 50: Unexpected errors ['assert_type(str, int | str) failed [assert-type]']
8-
Line 57: Unexpected errors ['assert_type(str, int | str) failed [assert-type]']
94
"""
105
output = """
11-
ERROR exceptions_context_managers.py:50:16-30: assert_type(str, int | str) failed [assert-type]
12-
ERROR exceptions_context_managers.py:57:16-30: assert_type(str, int | str) failed [assert-type]
136
"""

‎conformance/results/pyrefly/generics_scoping.toml‎

Lines changed: 6 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,6 @@
1-
conformant = "Partial"
2-
notes = """
3-
Does not implement several scoping checks/restrictions for generics.
4-
"""
5-
conformance_automated = "Fail"
1+
conformant = "Pass"
2+
conformance_automated = "Pass"
63
errors_diff = """
7-
Line 86: Expected 1 errors
8-
Line 89: Expected 1 errors
9-
Line 98: Expected 1 errors
10-
Line 107: Expected 1 errors
114
"""
125
output = """
136
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 [
1811
ERROR generics_scoping.py:61:8-15: Type variable `S` is not in scope [invalid-type-var]
1912
ERROR generics_scoping.py:65:14-21: Type variable `S` is not in scope [invalid-type-var]
2013
ERROR generics_scoping.py:76:11-20: Redundant type parameter declaration [invalid-type-var]
14+
ERROR generics_scoping.py:86:15-26: Type variable `T` is not in scope [invalid-type-var]
15+
ERROR generics_scoping.py:89:12-19: Type variable `T` is not in scope [invalid-type-var]
16+
ERROR generics_scoping.py:98:24-31: Type variable `T` is not in scope [invalid-type-var]
2117
ERROR generics_scoping.py:105:14-15: Type variable `T` is not in scope [invalid-type-var]
2218
ERROR generics_scoping.py:106:14-21: Type variable `T` is not in scope [invalid-type-var]
19+
ERROR generics_scoping.py:107:1-8: Type variable `T` is not in scope [invalid-type-var]
2320
"""

‎conformance/results/pyrefly/typeddicts_readonly_inheritance.toml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,6 +12,6 @@ ERROR typeddicts_readonly_inheritance.py:84:5-7: Missing required key `ident` fo
1212
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]
1313
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]
1414
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]
15-
ERROR typeddicts_readonly_inheritance.py:119:7-11: Field `x` is declared `float` in ancestor `class TD_A2: ...
15+
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]
1616
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]
1717
"""

‎conformance/results/pyrefly/version.toml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
version = "pyrefly 1.1.0"
1+
version = "pyrefly 1.3.0-dev.1"

‎conformance/results/results.html‎

Lines changed: 10 additions & 30 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)