Skip to content

Commit 62491d5

Browse files
migeed-zmigeed-z
authored
Update pyrefly conformance results to v0.56.0 (#2217)
Bump pyrefly from 0.54.0 to 0.56.0 and update conformance results. Three tests improved from Partial to Pass (annotations_generators, generics_typevartuple_specialization, qualifiers_annotated). Score 20 previously unscored tests that pass automated conformance. Pass rate: 100/139 (72%) -> 123/139 (88.5%)
1 parent a1bbdf2 commit 62491d5

34 files changed

+71
-82
lines changed

‎conformance/results/pyrefly/aliases_typealiastype.toml‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
conformant = "Pass"
12
conformance_automated = "Pass"
23
errors_diff = """
34
"""

‎conformance/results/pyrefly/annotations_forward_refs.toml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ Does not reject some type forms that require quotes.
66
conformance_automated = "Fail"
77
errors_diff = """
88
Line 87: Unexpected errors ['Expected a type form, got instance of `(self: Self@ClassD) -> None` [not-a-type]']
9-
Line 96: Unexpected errors ['assert_type(Any, int) failed [assert-type]']
9+
Line 96: Unexpected errors ['assert_type(Unknown, int) failed [assert-type]']
1010
"""
1111
output = """
1212
ERROR annotations_forward_refs.py:24:7-21: `|` union syntax does not work with string literals [invalid-annotation]
@@ -29,5 +29,5 @@ ERROR annotations_forward_refs.py:55:11-16: Expected a type form, got instance o
2929
ERROR annotations_forward_refs.py:80:14-20: Could not find name `ClassF` [unknown-name]
3030
ERROR annotations_forward_refs.py:87:9-12: Expected a type form, got instance of `(self: Self@ClassD) -> None` [not-a-type]
3131
ERROR annotations_forward_refs.py:89:8-11: Expected a type form, got instance of `(self: Self@ClassD) -> None` [not-a-type]
32-
ERROR annotations_forward_refs.py:96:12-27: assert_type(Any, int) failed [assert-type]
32+
ERROR annotations_forward_refs.py:96:12-27: assert_type(Unknown, int) failed [assert-type]
3333
"""

‎conformance/results/pyrefly/annotations_generators.toml‎

Lines changed: 5 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,6 @@
1-
conformant = "Partial"
2-
notes = """
3-
Does not detect that invalid yield is unreachable
4-
"""
5-
conformance_automated = "Fail"
1+
conformant = "Pass"
2+
conformance_automated = "Pass"
63
errors_diff = """
7-
Line 140: Unexpected errors ['This `yield` expression is unreachable [unreachable]']
8-
Line 145: Unexpected errors ['This `yield` expression is unreachable [unreachable]']
9-
Line 190: Unexpected errors ['This `yield` expression is unreachable [unreachable]']
104
"""
115
output = """
126
ERROR annotations_generators.py:51:21-39: Function declared to return `C`, but one or more paths are missing an explicit `return` [bad-return]
@@ -17,10 +11,7 @@ ERROR annotations_generators.py:71:12-16: Returned type `Literal[True]` is not a
1711
ERROR annotations_generators.py:75:11-14: Yielded type `B` is not assignable to declared yield type `A` [invalid-yield]
1812
ERROR annotations_generators.py:86:21-24: Generator function should return `Generator` [bad-return]
1913
ERROR annotations_generators.py:91:27-30: Async generator function should return `AsyncGenerator` [bad-return]
20-
ERROR annotations_generators.py:118:5-29: Cannot yield from `Generator[A, None, None]`, which is not assignable to declared return type `Generator[B, None, Unknown]` [invalid-yield]
21-
ERROR annotations_generators.py:119:5-19: Cannot yield from `Generator[int, None, None]`, which is not assignable to declared return type `Generator[B, None, Unknown]` [invalid-yield]
22-
ERROR annotations_generators.py:135:5-29: Cannot yield from `Generator[None, int, None]`, which is not assignable to declared return type `Generator[None, str, Unknown]` [invalid-yield]
23-
ERROR annotations_generators.py:140:5-13: This `yield` expression is unreachable [unreachable]
24-
ERROR annotations_generators.py:145:5-13: This `yield` expression is unreachable [unreachable]
25-
ERROR annotations_generators.py:190:5-12: This `yield` expression is unreachable [unreachable]
14+
ERROR annotations_generators.py:118:5-29: Cannot yield from `Generator[A]`, which is not assignable to declared return type `Generator[B, None, Unknown]` [invalid-yield]
15+
ERROR annotations_generators.py:119:5-19: Cannot yield from `Generator[int]`, which is not assignable to declared return type `Generator[B, None, Unknown]` [invalid-yield]
16+
ERROR annotations_generators.py:135:5-29: Cannot yield from `Generator[None, int]`, which is not assignable to declared return type `Generator[None, str, Unknown]` [invalid-yield]
2617
"""

‎conformance/results/pyrefly/callables_annotation.toml‎

Lines changed: 1 addition & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -4,8 +4,7 @@ Parameter names are lost when resolving ParamSpec
44
"""
55
conformance_automated = "Fail"
66
errors_diff = """
7-
Line 156: Unexpected errors ['`Proto4[Ellipsis]` is not assignable to `Proto3` [bad-assignment]']
8-
Line 157: Unexpected errors ['`Proto7` is not assignable to `Proto6` [bad-assignment]']
7+
Line 159: Expected 1 errors
98
"""
109
output = """
1110
ERROR callables_annotation.py:25:7-10: Expected 1 more positional argument [bad-argument-count]
@@ -22,9 +21,6 @@ ERROR callables_annotation.py:58:5-28: `Callable` requires exactly two arguments
2221
ERROR callables_annotation.py:59:15-18: Invalid position for `...` [invalid-argument]
2322
ERROR callables_annotation.py:91:7-15: `() -> str` is not assignable to variable `cb3` with type `(int, ...) -> str` [bad-assignment]
2423
ERROR callables_annotation.py:93:7-15: `(*, a: int) -> str` is not assignable to variable `cb3` with type `(int, ...) -> str` [bad-assignment]
25-
ERROR callables_annotation.py:156:20-22: `Proto4[Ellipsis]` is not assignable to `Proto3` [bad-assignment]
26-
ERROR callables_annotation.py:157:20-22: `Proto7` is not assignable to `Proto6` [bad-assignment]
27-
ERROR callables_annotation.py:159:25-27: `Proto8` is not assignable to `Proto5[Any]` [bad-assignment]
2824
ERROR callables_annotation.py:172:26-29: `() -> str` is not assignable to `(int, ...) -> str` [bad-assignment]
2925
ERROR callables_annotation.py:187:48-50: `(int, str) -> str` is not assignable to `(str, ...) -> str` [bad-assignment]
3026
ERROR callables_annotation.py:189:32-34: `(int, str) -> str` is not assignable to `(str, ...) -> str` [bad-assignment]

‎conformance/results/pyrefly/callables_kwargs.toml‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
conformant = "Pass"
12
conformance_automated = "Pass"
23
errors_diff = """
34
"""

‎conformance/results/pyrefly/constructors_callable.toml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ errors_diff = """
99
Line 186: Expected 1 errors
1010
Line 197: Expected 1 errors
1111
Line 167: Unexpected errors ['assert_type(Class7[int], Class7[str]) failed [assert-type]', "Argument `Literal['']` is not assignable to parameter `x` with type `int` [bad-argument-type]"]
12-
Line 185: Unexpected errors ['assert_type(Class8[Any], Class8[str]) failed [assert-type]']
12+
Line 185: Unexpected errors ['assert_type(Class8[Unknown], Class8[str]) failed [assert-type]']
1313
"""
1414
output = """
1515
ERROR constructors_callable.py:38:3-5: Missing argument `x` [missing-argument]
@@ -27,5 +27,5 @@ ERROR constructors_callable.py:129:4-5: Expected 0 positional arguments, got 1 [
2727
ERROR constructors_callable.py:146:8-9: Expected 0 positional arguments, got 1 [bad-argument-count]
2828
ERROR constructors_callable.py:167:12-33: assert_type(Class7[int], Class7[str]) failed [assert-type]
2929
ERROR constructors_callable.py:167:16-18: Argument `Literal['']` is not assignable to parameter `x` with type `int` [bad-argument-type]
30-
ERROR constructors_callable.py:185:12-41: assert_type(Class8[Any], Class8[str]) failed [assert-type]
30+
ERROR constructors_callable.py:185:12-41: assert_type(Class8[Unknown], Class8[str]) failed [assert-type]
3131
"""

‎conformance/results/pyrefly/dataclasses_final.toml‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
conformant = "Pass"
12
conformance_automated = "Pass"
23
errors_diff = """
34
"""

‎conformance/results/pyrefly/directives_version_platform.toml‎

Lines changed: 2 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,6 @@ output = """
66
ERROR directives_version_platform.py:33:19-23: Could not find name `val3` [unknown-name]
77
ERROR directives_version_platform.py:50:19-23: Could not find name `val6` [unknown-name]
88
ERROR directives_version_platform.py:59:19-23: Could not find name `val9` [unknown-name]
9-
ERROR directives_version_platform.py:66:19-24: `val10` may be uninitialized [unbound-name]
10-
ERROR directives_version_platform.py:67:22-27: `val11` may be uninitialized [unbound-name]
11-
ERROR directives_version_platform.py:74:22-27: `val12` may be uninitialized [unbound-name]
12-
ERROR directives_version_platform.py:75:19-24: `val13` may be uninitialized [unbound-name]
9+
ERROR directives_version_platform.py:66:19-24: Could not find name `val10` [unknown-name]
10+
ERROR directives_version_platform.py:75:19-24: Could not find name `val13` [unknown-name]
1311
"""

‎conformance/results/pyrefly/enums_behaviors.toml‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
conformant = "Pass"
12
conformance_automated = "Pass"
23
errors_diff = """
34
"""

‎conformance/results/pyrefly/enums_members.toml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,9 +8,9 @@ ERROR enums_members.py:82:20-34: `Pet4.converter` is not a valid enum member [in
88
ERROR enums_members.py:83:20-34: `Pet4.transform` is not a valid enum member [invalid-literal]
99
ERROR enums_members.py:84:18-30: `Pet4.species` is not a valid enum member [invalid-literal]
1010
ERROR enums_members.py:85:16-26: `Pet4.speak` is not a valid enum member [invalid-literal]
11-
ERROR enums_members.py:116:12-43: assert_type(int, Any) failed [assert-type]
11+
ERROR enums_members.py:116:12-43: assert_type(int, Unknown) failed [assert-type]
1212
ERROR enums_members.py:116:32-41: `Example.b` is not a valid enum member [invalid-literal]
13-
ERROR enums_members.py:129:20-57: assert_type(int, Any) failed [assert-type]
13+
ERROR enums_members.py:129:20-57: assert_type(int, Unknown) failed [assert-type]
1414
ERROR enums_members.py:129:43-55: `Example2.__B` is not a valid enum member [invalid-literal]
1515
ERROR enums_members.py:146:12-27: assert_type(Literal[Pet5.DOG], int) failed [assert-type]
1616
ERROR enums_members.py:147:12-28: assert_type(Literal[Pet5.FISH], int) failed [assert-type]

0 commit comments

Comments
 (0)