spec: clarify Final reassignment semantics

Author: KotlinIsland

conformance/results/mypy/qualifiers_final_annotation.toml

@@ -8,41 +8,49 @@ Does not report modification of local Final variable via "for" statement.
 output = """
 qualifiers_final_annotation.py:16: error: Type in Final[...] can only be omitted if there is an initializer  [misc]
 qualifiers_final_annotation.py:18: error: Final[...] takes at most one type argument  [misc]
-qualifiers_final_annotation.py:34: error: Type in Final[...] can only be omitted if there is an initializer  [misc]
-qualifiers_final_annotation.py:38: error: Final name must be initialized with a value  [misc]
-qualifiers_final_annotation.py:54: error: Cannot assign to final attribute "ID5"  [misc]
-qualifiers_final_annotation.py:59: error: Cannot assign to final attribute "ID6"  [misc]
-qualifiers_final_annotation.py:62: error: Can only declare a final attribute in class body or __init__  [misc]
-qualifiers_final_annotation.py:63: error: Can only declare a final attribute in class body or __init__  [misc]
-qualifiers_final_annotation.py:65: error: Cannot assign to final attribute "ID7"  [misc]
-qualifiers_final_annotation.py:67: error: Cannot assign to final attribute "ID7"  [misc]
-qualifiers_final_annotation.py:71: error: Cannot assign to final name "RATE"  [misc]
-qualifiers_final_annotation.py:81: error: Cannot assign to final attribute "DEFAULT_ID"  [misc]
-qualifiers_final_annotation.py:94: error: Cannot assign to final name "BORDER_WIDTH"  [misc]
-qualifiers_final_annotation.py:96: error: Cannot assign to final name "__private"  [misc]
-qualifiers_final_annotation.py:107: error: Final can be only used as an outermost qualifier in a variable annotation  [valid-type]
-qualifiers_final_annotation.py:108: error: Variable should not be annotated with both ClassVar and Final  [misc]
+qualifiers_final_annotation.py:30: error: Missing return statement  [empty-body]
+qualifiers_final_annotation.py:32: error: Final name must be initialized with a value  [misc]
+qualifiers_final_annotation.py:35: error: Cannot assign to final name "ID3"  [misc]
+qualifiers_final_annotation.py:37: error: Cannot assign to final name "ID3"  [misc]
+qualifiers_final_annotation.py:45: error: Type in Final[...] can only be omitted if there is an initializer  [misc]
+qualifiers_final_annotation.py:49: error: Final name must be initialized with a value  [misc]
+qualifiers_final_annotation.py:65: error: Cannot assign to final attribute "ID5"  [misc]
+qualifiers_final_annotation.py:70: error: Cannot assign to final attribute "ID6"  [misc]
+qualifiers_final_annotation.py:73: error: Can only declare a final attribute in class body or __init__  [misc]
+qualifiers_final_annotation.py:74: error: Can only declare a final attribute in class body or __init__  [misc]
+qualifiers_final_annotation.py:76: error: Cannot assign to final attribute "ID7"  [misc]
+qualifiers_final_annotation.py:78: error: Cannot assign to final attribute "ID7"  [misc]
+qualifiers_final_annotation.py:82: error: Cannot assign to final name "RATE"  [misc]
+qualifiers_final_annotation.py:92: error: Cannot assign to final attribute "DEFAULT_ID"  [misc]
+qualifiers_final_annotation.py:105: error: Cannot assign to final name "BORDER_WIDTH"  [misc]
+qualifiers_final_annotation.py:107: error: Cannot assign to final name "__private"  [misc]
 qualifiers_final_annotation.py:118: error: Final can be only used as an outermost qualifier in a variable annotation  [valid-type]
-qualifiers_final_annotation.py:121: error: Final can be only used as an outermost qualifier in a variable annotation  [valid-type]
-qualifiers_final_annotation.py:131: error: Invalid "NamedTuple()" field name  [misc]
-qualifiers_final_annotation.py:133: error: Unexpected keyword argument "x" for "N"  [call-arg]
-qualifiers_final_annotation.py:133: error: Unexpected keyword argument "y" for "N"  [call-arg]
-qualifiers_final_annotation.py:134: error: Unexpected keyword argument "a" for "N"  [call-arg]
-qualifiers_final_annotation.py:135: error: Unexpected keyword argument "x" for "N"  [call-arg]
-qualifiers_final_annotation.py:135: error: Unexpected keyword argument "y" for "N"  [call-arg]
-qualifiers_final_annotation.py:141: error: Cannot assign to final name "ID1"  [misc]
-qualifiers_final_annotation.py:145: error: Cannot assign to final name "x"  [misc]
-qualifiers_final_annotation.py:147: error: Cannot assign to final name "x"  [misc]
-qualifiers_final_annotation.py:152: error: Incompatible types in assignment (expression has type "TextIOWrapper[_WrappedBuffer]", variable has type "int")  [assignment]
-qualifiers_final_annotation.py:155: error: Cannot assign to final name "x"  [misc]
-qualifiers_final_annotation.py:166: error: Cannot assign to final name "TEN"  [misc]
-qualifiers_final_annotation.py:170: error: Cannot assign to final name "PI"  [misc]
+qualifiers_final_annotation.py:119: error: Variable should not be annotated with both ClassVar and Final  [misc]
+qualifiers_final_annotation.py:129: error: Final can be only used as an outermost qualifier in a variable annotation  [valid-type]
+qualifiers_final_annotation.py:132: error: Final can be only used as an outermost qualifier in a variable annotation  [valid-type]
+qualifiers_final_annotation.py:142: error: Invalid "NamedTuple()" field name  [misc]
+qualifiers_final_annotation.py:144: error: Unexpected keyword argument "x" for "N"  [call-arg]
+qualifiers_final_annotation.py:144: error: Unexpected keyword argument "y" for "N"  [call-arg]
+qualifiers_final_annotation.py:145: error: Unexpected keyword argument "a" for "N"  [call-arg]
+qualifiers_final_annotation.py:146: error: Unexpected keyword argument "x" for "N"  [call-arg]
+qualifiers_final_annotation.py:146: error: Unexpected keyword argument "y" for "N"  [call-arg]
+qualifiers_final_annotation.py:152: error: Cannot assign to final name "ID1"  [misc]
+qualifiers_final_annotation.py:156: error: Cannot assign to final name "x"  [misc]
+qualifiers_final_annotation.py:158: error: Cannot assign to final name "x"  [misc]
+qualifiers_final_annotation.py:163: error: Incompatible types in assignment (expression has type "TextIOWrapper[_WrappedBuffer]", variable has type "int")  [assignment]
+qualifiers_final_annotation.py:166: error: Cannot assign to final name "x"  [misc]
+qualifiers_final_annotation.py:177: error: Cannot assign to final name "TEN"  [misc]
+qualifiers_final_annotation.py:181: error: Cannot assign to final name "PI"  [misc]
 """
 conformance_automated = "Fail"
 errors_diff = """
-Line 149: Expected 1 errors
-Line 59: Unexpected errors ['qualifiers_final_annotation.py:59: error: Cannot assign to final attribute "ID6"  [misc]']
-Line 96: Unexpected errors ['qualifiers_final_annotation.py:96: error: Cannot assign to final name "__private"  [misc]']
-Line 131: Unexpected errors ['qualifiers_final_annotation.py:131: error: Invalid "NamedTuple()" field name  [misc]']
-Line 133: Unexpected errors ['qualifiers_final_annotation.py:133: error: Unexpected keyword argument "x" for "N"  [call-arg]', 'qualifiers_final_annotation.py:133: error: Unexpected keyword argument "y" for "N"  [call-arg]']
+Line 160: Expected 1 errors
+Line 30: Unexpected errors ['qualifiers_final_annotation.py:30: error: Missing return statement  [empty-body]']
+Line 32: Unexpected errors ['qualifiers_final_annotation.py:32: error: Final name must be initialized with a value  [misc]']
+Line 35: Unexpected errors ['qualifiers_final_annotation.py:35: error: Cannot assign to final name "ID3"  [misc]']
+Line 37: Unexpected errors ['qualifiers_final_annotation.py:37: error: Cannot assign to final name "ID3"  [misc]']
+Line 70: Unexpected errors ['qualifiers_final_annotation.py:70: error: Cannot assign to final attribute "ID6"  [misc]']
+Line 107: Unexpected errors ['qualifiers_final_annotation.py:107: error: Cannot assign to final name "__private"  [misc]']
+Line 142: Unexpected errors ['qualifiers_final_annotation.py:142: error: Invalid "NamedTuple()" field name  [misc]']
+Line 144: Unexpected errors ['qualifiers_final_annotation.py:144: error: Unexpected keyword argument "x" for "N"  [call-arg]', 'qualifiers_final_annotation.py:144: error: Unexpected keyword argument "y" for "N"  [call-arg]']
 """

conformance/results/pyrefly/qualifiers_final_annotation.toml

@@ -5,40 +5,42 @@ Issues with NamedTuple interaction.
 """
 conformance_automated = "Fail"
 errors_diff = """
-Line 107: Expected 1 errors
-Line 131: Unexpected errors ['Expected first item to be a string literal [invalid-argument]', 'Expected first item to be a string literal [invalid-argument]']
-Line 133: Unexpected errors ['Unexpected keyword argument `x` in function `N.__new__` [unexpected-keyword]', 'Unexpected keyword argument `y` in function `N.__new__` [unexpected-keyword]']
+Line 118: Expected 1 errors
+Line 32: Unexpected errors ['Final name must be initialized with a value [invalid-annotation]']
+Line 142: Unexpected errors ['Expected first item to be a string literal [invalid-argument]', 'Expected first item to be a string literal [invalid-argument]']
+Line 144: Unexpected errors ['Unexpected keyword argument `x` in function `N.__new__` [unexpected-keyword]', 'Unexpected keyword argument `y` in function `N.__new__` [unexpected-keyword]']
 """
 output = """
 ERROR qualifiers_final_annotation.py:16:7-12: Expected a type argument for `Final` [invalid-annotation]
 ERROR qualifiers_final_annotation.py:18:7-22: Expected 1 type argument for `Final`, got 2 [invalid-annotation]
-ERROR qualifiers_final_annotation.py:34:5-8: Final attribute declared in class body must be initialized with a value or in `__init__` [invalid-annotation]
-ERROR qualifiers_final_annotation.py:38:5-8: Final attribute declared in class body must be initialized with a value or in `__init__` [invalid-annotation]
-ERROR qualifiers_final_annotation.py:54:9-17: Cannot set field `ID5` [read-only]
-ERROR qualifiers_final_annotation.py:62:9-17: Cannot set field `id3` [read-only]
-ERROR qualifiers_final_annotation.py:63:9-17: Cannot set field `id4` [read-only]
-ERROR qualifiers_final_annotation.py:65:9-17: Cannot set field `ID7` [read-only]
-ERROR qualifiers_final_annotation.py:67:9-17: Cannot set field `ID7` [read-only]
-ERROR qualifiers_final_annotation.py:71:8-11: Cannot assign to variable `RATE` because it is marked final [bad-assignment]
-ERROR qualifiers_final_annotation.py:81:1-18: Cannot set field `DEFAULT_ID` [read-only]
-ERROR qualifiers_final_annotation.py:94:5-17: `BORDER_WIDTH` is declared as final in parent class `ClassC` [bad-override]
-ERROR qualifiers_final_annotation.py:108:19-27: `ClassVar` may not be nested inside `Final` [invalid-annotation]
-ERROR qualifiers_final_annotation.py:118:9-19: `Final` is not allowed in this context [invalid-annotation]
-ERROR qualifiers_final_annotation.py:121:14-19: `Final` is only allowed on a class or local variable annotation [invalid-annotation]
-ERROR qualifiers_final_annotation.py:121:14-30: `Final` is not allowed in this context [invalid-annotation]
-ERROR qualifiers_final_annotation.py:131:23-24: Expected first item to be a string literal [invalid-argument]
-ERROR qualifiers_final_annotation.py:131:33-34: Expected first item to be a string literal [invalid-argument]
-ERROR qualifiers_final_annotation.py:133:3-4: Unexpected keyword argument `x` in function `N.__new__` [unexpected-keyword]
-ERROR qualifiers_final_annotation.py:133:8-9: Unexpected keyword argument `y` in function `N.__new__` [unexpected-keyword]
-ERROR qualifiers_final_annotation.py:134:3-4: Unexpected keyword argument `a` in function `N.__new__` [unexpected-keyword]
-ERROR qualifiers_final_annotation.py:135:3-4: Unexpected keyword argument `x` in function `N.__new__` [unexpected-keyword]
-ERROR qualifiers_final_annotation.py:135:9-10: Unexpected keyword argument `y` in function `N.__new__` [unexpected-keyword]
-ERROR qualifiers_final_annotation.py:141:11-12: Cannot assign to variable `ID1` because it is marked final [bad-assignment]
-ERROR qualifiers_final_annotation.py:145:5-11: Cannot assign to variable `x` because it is marked final [bad-assignment]
-ERROR qualifiers_final_annotation.py:147:15-16: Cannot assign to variable `x` because it is marked final [bad-assignment]
-ERROR qualifiers_final_annotation.py:149:14-23: Cannot assign to variable `x` because it is marked final [bad-assignment]
-ERROR qualifiers_final_annotation.py:152:10-26: Cannot assign to variable `x` because it is marked final [bad-assignment]
-ERROR qualifiers_final_annotation.py:155:5-11: Cannot assign to variable `x` because it is marked final [bad-assignment]
-ERROR qualifiers_final_annotation.py:166:1-4: Cannot assign to `TEN` because it is imported as final [bad-assignment]
-ERROR qualifiers_final_annotation.py:170:1-3: Cannot assign to `PI` because it is imported as final [bad-assignment]
+ERROR qualifiers_final_annotation.py:32:1-4: Final name must be initialized with a value [invalid-annotation]
+ERROR qualifiers_final_annotation.py:45:5-8: Final attribute declared in class body must be initialized with a value or in `__init__` [invalid-annotation]
+ERROR qualifiers_final_annotation.py:49:5-8: Final attribute declared in class body must be initialized with a value or in `__init__` [invalid-annotation]
+ERROR qualifiers_final_annotation.py:65:9-17: Cannot set field `ID5` [read-only]
+ERROR qualifiers_final_annotation.py:73:9-17: Cannot set field `id3` [read-only]
+ERROR qualifiers_final_annotation.py:74:9-17: Cannot set field `id4` [read-only]
+ERROR qualifiers_final_annotation.py:76:9-17: Cannot set field `ID7` [read-only]
+ERROR qualifiers_final_annotation.py:78:9-17: Cannot set field `ID7` [read-only]
+ERROR qualifiers_final_annotation.py:82:8-11: Cannot assign to variable `RATE` because it is marked final [bad-assignment]
+ERROR qualifiers_final_annotation.py:92:1-18: Cannot set field `DEFAULT_ID` [read-only]
+ERROR qualifiers_final_annotation.py:105:5-17: `BORDER_WIDTH` is declared as final in parent class `ClassC` [bad-override]
+ERROR qualifiers_final_annotation.py:119:19-27: `ClassVar` may not be nested inside `Final` [invalid-annotation]
+ERROR qualifiers_final_annotation.py:129:9-19: `Final` is not allowed in this context [invalid-annotation]
+ERROR qualifiers_final_annotation.py:132:14-19: `Final` is only allowed on a class or local variable annotation [invalid-annotation]
+ERROR qualifiers_final_annotation.py:132:14-30: `Final` is not allowed in this context [invalid-annotation]
+ERROR qualifiers_final_annotation.py:142:23-24: Expected first item to be a string literal [invalid-argument]
+ERROR qualifiers_final_annotation.py:142:33-34: Expected first item to be a string literal [invalid-argument]
+ERROR qualifiers_final_annotation.py:144:3-4: Unexpected keyword argument `x` in function `N.__new__` [unexpected-keyword]
+ERROR qualifiers_final_annotation.py:144:8-9: Unexpected keyword argument `y` in function `N.__new__` [unexpected-keyword]
+ERROR qualifiers_final_annotation.py:145:3-4: Unexpected keyword argument `a` in function `N.__new__` [unexpected-keyword]
+ERROR qualifiers_final_annotation.py:146:3-4: Unexpected keyword argument `x` in function `N.__new__` [unexpected-keyword]
+ERROR qualifiers_final_annotation.py:146:9-10: Unexpected keyword argument `y` in function `N.__new__` [unexpected-keyword]
+ERROR qualifiers_final_annotation.py:152:11-12: Cannot assign to variable `ID1` because it is marked final [bad-assignment]
+ERROR qualifiers_final_annotation.py:156:5-11: Cannot assign to variable `x` because it is marked final [bad-assignment]
+ERROR qualifiers_final_annotation.py:158:15-16: Cannot assign to variable `x` because it is marked final [bad-assignment]
+ERROR qualifiers_final_annotation.py:160:14-23: Cannot assign to variable `x` because it is marked final [bad-assignment]
+ERROR qualifiers_final_annotation.py:163:10-26: Cannot assign to variable `x` because it is marked final [bad-assignment]
+ERROR qualifiers_final_annotation.py:166:5-11: Cannot assign to variable `x` because it is marked final [bad-assignment]
+ERROR qualifiers_final_annotation.py:177:1-4: Cannot assign to `TEN` because it is imported as final [bad-assignment]
+ERROR qualifiers_final_annotation.py:181:1-3: Cannot assign to `PI` because it is imported as final [bad-assignment]
 """