Update manual conformance.

rchen152 · rchen152 · commit f124c3375f90 · 2025-10-09T15:27:10.000-07:00
diff --git a/conformance/results/pyre/namedtuples_define_class.toml b/conformance/results/pyre/namedtuples_define_class.toml
@@ -1,12 +1,3 @@
-conformant = "Partial"
-notes = """
-Does not evaluate correct type for indexed named tuple instance with integer.
-Does not evaluate correct type for indexed named tuple instance with slice.
-Does not report out-of-range index access with named tuple instance.
-Does not reject named tuple element with no default value after one with a default.
-Incorrectly rejects assignment of named tuple to a tuple with compatible type.
-Does not reject attempt to use NamedTuple with multiple inheritance.
-"""
 output = """
 namedtuples_define_class.py:32:6 Invalid tuple index [73]: Index 3 is out of bounds for concrete tuple with 3 members.
 namedtuples_define_class.py:33:6 Invalid tuple index [73]: Index -4 is out of bounds for concrete tuple with 3 members.
diff --git a/conformance/results/pyre/namedtuples_usage.toml b/conformance/results/pyre/namedtuples_usage.toml
@@ -1,6 +1,3 @@
-conformant = "Partial"
-notes = """
-"""
 output = """
 namedtuples_usage.py:34:6 Invalid tuple index [73]: Index 3 is out of bounds for concrete tuple with 3 members.
 namedtuples_usage.py:35:6 Invalid tuple index [73]: Index -4 is out of bounds for concrete tuple with 3 members.
diff --git a/conformance/results/pyrefly/callables_kwargs.toml b/conformance/results/pyrefly/callables_kwargs.toml
@@ -1,7 +1,3 @@
-conformant = "Partial"
-notes = """
-Does not reject overlap between unpacked TypedDict kwarg and named parameters
-"""
 conformance_automated = "Pass"
 errors_diff = """
 """
diff --git a/conformance/results/pyrefly/enums_behaviors.toml b/conformance/results/pyrefly/enums_behaviors.toml
@@ -1,7 +1,3 @@
-conformant = "Partial"
-notes = """
-Iterating an enum class gives Any
-"""
 conformance_automated = "Pass"
 errors_diff = """
 """
diff --git a/conformance/results/pyrefly/generics_defaults.toml b/conformance/results/pyrefly/generics_defaults.toml
@@ -1,6 +1,8 @@
-conformant = "Pass"
+conformant = "Partial"
 notes = """
 Unsolved type var is not always resolved to default (optional)
+Defaults are not bound by attribute access
+Generic attribute is not visible on class
 """
 conformance_automated = "Fail"
 errors_diff = """
diff --git a/conformance/results/pyrefly/generics_self_attributes.toml b/conformance/results/pyrefly/generics_self_attributes.toml
@@ -1,7 +1,3 @@
-conformant = "Partial"
-notes = """
-Does not reject incorrect direct assignment to attribute w/ Self
-"""
 conformance_automated = "Pass"
 errors_diff = """
 """
diff --git a/conformance/results/pyrefly/generics_self_protocols.toml b/conformance/results/pyrefly/generics_self_protocols.toml
@@ -1,7 +1,3 @@
-conformant = "Partial"
-notes = """
-Protocol subtyping does not work with Self in return annotation
-"""
 conformance_automated = "Pass"
 errors_diff = """
 """
diff --git a/conformance/results/pyrefly/generics_upper_bound.toml b/conformance/results/pyrefly/generics_upper_bound.toml
@@ -1,7 +1,3 @@
-conformant = "Partial"
-notes = """
-Instantiation is not validated against bound
-"""
 conformance_automated = "Pass"
 errors_diff = """
 """
diff --git a/conformance/results/pyrefly/literals_literalstring.toml b/conformance/results/pyrefly/literals_literalstring.toml
@@ -1,7 +1,3 @@
-conformant = "Partial"
-notes = """
-LiteralString is sometimes converted to str
-"""
 conformance_automated = "Pass"
 errors_diff = """
 """
diff --git a/conformance/results/pyrefly/overloads_definitions_stub.toml b/conformance/results/pyrefly/overloads_definitions_stub.toml
@@ -1,8 +1,3 @@
-conformant = "Partial"
-notes = """
-Does not restrict some decorators to the first overload
-Does not require some decorators that need to appear on every overload
-"""
 conformance_automated = "Pass"
 errors_diff = """
 """
diff --git a/conformance/results/pyrefly/protocols_generic.toml b/conformance/results/pyrefly/protocols_generic.toml
@@ -1,7 +1,3 @@
-conformant = "Partial"
-notes = """
-Fails one protocol subtyping example involving @property
-"""
 conformance_automated = "Pass"
 errors_diff = """
 """
diff --git a/conformance/results/pyrefly/protocols_merging.toml b/conformance/results/pyrefly/protocols_merging.toml
@@ -1,7 +1,3 @@
-conformant = "Partial"
-notes = """
-Does not check against abstract class instantiations
-"""
 conformance_automated = "Pass"
 errors_diff = """
 """
diff --git a/conformance/results/pyrefly/protocols_self.toml b/conformance/results/pyrefly/protocols_self.toml
@@ -1,7 +1,3 @@
-conformant = "Partial"
-notes = """
-Fails some protocol subtyping examples when self is annotated with a type var
-"""
 conformance_automated = "Pass"
 errors_diff = """
 """
diff --git a/conformance/results/pyrefly/protocols_variance.toml b/conformance/results/pyrefly/protocols_variance.toml
@@ -1,3 +1,4 @@
+conformant = "Unsupported"
 conformance_automated = "Fail"
 errors_diff = """
 Line 21: Expected 1 errors
diff --git a/conformance/results/pyrefly/qualifiers_final_decorator.toml b/conformance/results/pyrefly/qualifiers_final_decorator.toml
@@ -1,7 +1,3 @@
-conformant = "Partial"
-notes = """
-Does not ban final decorator on overload when implementation exists
-"""
 conformance_automated = "Pass"
 errors_diff = """
 """
diff --git a/conformance/results/pyrefly/typeddicts_extra_items.toml b/conformance/results/pyrefly/typeddicts_extra_items.toml
@@ -1,7 +1,3 @@
-conformant = "Partial"
-notes = """
-Does not fully support extra_items for typed dicts
-"""
 conformance_automated = "Pass"
 errors_diff = """
 """
