Skip to content

Commit bd82c91

Browse files
yangdanny97yangdanny97
committed
manually audit pyrefly results
1 parent d8ad4fd commit bd82c91

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

51 files changed

+216
-0
lines changed

‎conformance/results/pyrefly/aliases_implicit.toml‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,7 @@
1+
conformant = "Partial"
2+
notes = """
3+
Does not reject invalid syntax in implicit type aliases.
4+
"""
15
conformance_automated = "Fail"
26
errors_diff = """
37
Line 106: Expected 1 errors

‎conformance/results/pyrefly/aliases_type_statement.toml‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,9 @@
1+
conformant = "Partial"
2+
notes = """
3+
Does not reject type alias defined with type statement in base class list
4+
Does not reject redeclaration of type alias with the same name.
5+
Does not detect circular definitions.
6+
"""
17
conformance_automated = "Fail"
28
errors_diff = """
39
Line 26: Expected 1 errors

‎conformance/results/pyrefly/annotations_forward_refs.toml‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,8 @@
1+
conformant = "Partial"
2+
notes = """
3+
Types in quotes incorrectly refer to shadowing class member.
4+
Does not reject some type forms that require quotes.
5+
"""
16
conformance_automated = "Fail"
27
errors_diff = """
38
Line 22: Expected 1 errors

‎conformance/results/pyrefly/annotations_generators.toml‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,7 @@
1+
conformant = "Partial"
2+
notes = """
3+
Does not detect that invalid yield is unreachable
4+
"""
15
conformance_automated = "Fail"
26
errors_diff = """
37
Line 190: Unexpected errors ['Expected to yield a value of type `int`, but a bare `yield` gives `None` instead [invalid-yield]']

‎conformance/results/pyrefly/callables_annotation.toml‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,7 @@
1+
conformant = "Partial"
2+
notes = """
3+
Parameter names are lost when resolving ParamSpec
4+
"""
15
conformance_automated = "Fail"
26
errors_diff = """
37
Line 156: Unexpected errors ['`Proto4[Ellipsis]` is not assignable to `Proto3` [bad-assignment]']

‎conformance/results/pyrefly/callables_kwargs.toml‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,7 @@
1+
conformant = "Partial"
2+
notes = """
3+
Does not reject overlap between unpacked TypedDict kwarg and named parameters
4+
"""
15
conformance_automated = "Fail"
26
errors_diff = """
37
Line 111: Expected 1 errors

‎conformance/results/pyrefly/constructors_call_init.toml‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,7 @@
1+
conformant = "Partial"
2+
notes = """
3+
Does not reject class-scoped type var in self param annotation
4+
"""
15
conformance_automated = "Fail"
26
errors_diff = """
37
Line 107: Expected 1 errors

‎conformance/results/pyrefly/constructors_call_type.toml‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,7 @@
1+
conformant = "Partial"
2+
notes = """
3+
Does not check TypeVar type constructor using upper bound's __new__
4+
"""
15
conformance_automated = "Fail"
26
errors_diff = """
37
Line 64: Expected 1 errors

‎conformance/results/pyrefly/constructors_callable.toml‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,10 @@
1+
conformant = "Partial"
2+
notes = """
3+
Some overloaded constructors are not resolved correctly.
4+
Converting constructor to callable does not preserve class-scoped type params.
5+
Converting constructor to callable does not substitute Self in __new__
6+
Converting constructor to callable uses __new__ signature instead of __init__
7+
"""
18
conformance_automated = "Fail"
29
errors_diff = """
310
Line 65: Expected 1 errors

‎conformance/results/pyrefly/dataclasses_final.toml‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,7 @@
1+
conformant = "Partial"
2+
notes = """
3+
Allows assignment to final attributes that are not initialized on the class
4+
"""
15
conformance_automated = "Fail"
26
errors_diff = """
37
Line 35: Expected 1 errors

0 commit comments

Comments
 (0)