Finagle tests more

Author: srittau

conformance/results/mypy/qualifiers_final_annotation.toml

@@ -7,47 +7,45 @@ Does not report modification of local `Final` variable via `for` statement.
 """
 output = """
 qualifiers_final_annotation.py:20: error: Argument 1 to "expects_one" has incompatible type "int"; expected "Literal[1]"  [arg-type]
-qualifiers_final_annotation.py:23: error: Expression is of type "Literal[1.0]", not "float"  [assert-type]
-qualifiers_final_annotation.py:29: error: Type in Final[...] can only be omitted if there is an initializer  [misc]
-qualifiers_final_annotation.py:31: error: Final[...] takes at most one type argument  [misc]
-qualifiers_final_annotation.py:47: error: Type in Final[...] can only be omitted if there is an initializer  [misc]
-qualifiers_final_annotation.py:51: error: Final name must be initialized with a value  [misc]
-qualifiers_final_annotation.py:67: error: Cannot assign to final attribute "ID5"  [misc]
-qualifiers_final_annotation.py:72: error: Cannot assign to final attribute "ID6"  [misc]
-qualifiers_final_annotation.py:75: error: Can only declare a final attribute in class body or __init__  [misc]
-qualifiers_final_annotation.py:76: error: Can only declare a final attribute in class body or __init__  [misc]
-qualifiers_final_annotation.py:78: error: Cannot assign to final attribute "ID7"  [misc]
+qualifiers_final_annotation.py:31: error: Type in Final[...] can only be omitted if there is an initializer  [misc]
+qualifiers_final_annotation.py:33: error: Final[...] takes at most one type argument  [misc]
+qualifiers_final_annotation.py:49: error: Type in Final[...] can only be omitted if there is an initializer  [misc]
+qualifiers_final_annotation.py:53: error: Final name must be initialized with a value  [misc]
+qualifiers_final_annotation.py:69: error: Cannot assign to final attribute "ID5"  [misc]
+qualifiers_final_annotation.py:74: error: Cannot assign to final attribute "ID6"  [misc]
+qualifiers_final_annotation.py:77: error: Can only declare a final attribute in class body or __init__  [misc]
+qualifiers_final_annotation.py:78: error: Can only declare a final attribute in class body or __init__  [misc]
 qualifiers_final_annotation.py:80: error: Cannot assign to final attribute "ID7"  [misc]
-qualifiers_final_annotation.py:84: error: Cannot assign to final name "RATE"  [misc]
-qualifiers_final_annotation.py:94: error: Cannot assign to final attribute "DEFAULT_ID"  [misc]
-qualifiers_final_annotation.py:107: error: Cannot assign to final name "BORDER_WIDTH"  [misc]
-qualifiers_final_annotation.py:109: error: Cannot assign to final name "__private"  [misc]
-qualifiers_final_annotation.py:120: error: Final can be only used as an outermost qualifier in a variable annotation  [valid-type]
-qualifiers_final_annotation.py:121: error: Variable should not be annotated with both ClassVar and Final  [misc]
-qualifiers_final_annotation.py:131: error: Final can be only used as an outermost qualifier in a variable annotation  [valid-type]
-qualifiers_final_annotation.py:134: error: Final can be only used as an outermost qualifier in a variable annotation  [valid-type]
-qualifiers_final_annotation.py:144: error: Final[...] can't be used inside a TypedDict  [valid-type]
-qualifiers_final_annotation.py:149: error: Final[...] can't be used inside a NamedTuple  [valid-type]
-qualifiers_final_annotation.py:158: error: Invalid "NamedTuple()" field name  [misc]
-qualifiers_final_annotation.py:160: error: Unexpected keyword argument "x" for "N"  [call-arg]
-qualifiers_final_annotation.py:160: error: Unexpected keyword argument "y" for "N"  [call-arg]
-qualifiers_final_annotation.py:161: error: Unexpected keyword argument "a" for "N"  [call-arg]
+qualifiers_final_annotation.py:82: error: Cannot assign to final attribute "ID7"  [misc]
+qualifiers_final_annotation.py:86: error: Cannot assign to final name "RATE"  [misc]
+qualifiers_final_annotation.py:96: error: Cannot assign to final attribute "DEFAULT_ID"  [misc]
+qualifiers_final_annotation.py:109: error: Cannot assign to final name "BORDER_WIDTH"  [misc]
+qualifiers_final_annotation.py:111: error: Cannot assign to final name "__private"  [misc]
+qualifiers_final_annotation.py:122: error: Final can be only used as an outermost qualifier in a variable annotation  [valid-type]
+qualifiers_final_annotation.py:123: error: Variable should not be annotated with both ClassVar and Final  [misc]
+qualifiers_final_annotation.py:133: error: Final can be only used as an outermost qualifier in a variable annotation  [valid-type]
+qualifiers_final_annotation.py:136: error: Final can be only used as an outermost qualifier in a variable annotation  [valid-type]
+qualifiers_final_annotation.py:146: error: Final[...] can't be used inside a TypedDict  [valid-type]
+qualifiers_final_annotation.py:151: error: Final[...] can't be used inside a NamedTuple  [valid-type]
+qualifiers_final_annotation.py:160: error: Invalid "NamedTuple()" field name  [misc]
 qualifiers_final_annotation.py:162: error: Unexpected keyword argument "x" for "N"  [call-arg]
 qualifiers_final_annotation.py:162: error: Unexpected keyword argument "y" for "N"  [call-arg]
-qualifiers_final_annotation.py:168: error: Cannot assign to final name "ID1"  [misc]
-qualifiers_final_annotation.py:172: error: Cannot assign to final name "x"  [misc]
+qualifiers_final_annotation.py:163: error: Unexpected keyword argument "a" for "N"  [call-arg]
+qualifiers_final_annotation.py:164: error: Unexpected keyword argument "x" for "N"  [call-arg]
+qualifiers_final_annotation.py:164: error: Unexpected keyword argument "y" for "N"  [call-arg]
+qualifiers_final_annotation.py:170: error: Cannot assign to final name "ID1"  [misc]
 qualifiers_final_annotation.py:174: error: Cannot assign to final name "x"  [misc]
-qualifiers_final_annotation.py:179: error: Incompatible types in assignment (expression has type "TextIOWrapper[_WrappedBuffer]", variable has type "int")  [assignment]
-qualifiers_final_annotation.py:182: error: Cannot assign to final name "x"  [misc]
-qualifiers_final_annotation.py:193: error: Cannot assign to final name "TEN"  [misc]
-qualifiers_final_annotation.py:197: error: Cannot assign to final name "PI"  [misc]
+qualifiers_final_annotation.py:176: error: Cannot assign to final name "x"  [misc]
+qualifiers_final_annotation.py:181: error: Incompatible types in assignment (expression has type "TextIOWrapper[_WrappedBuffer]", variable has type "int")  [assignment]
+qualifiers_final_annotation.py:184: error: Cannot assign to final name "x"  [misc]
+qualifiers_final_annotation.py:195: error: Cannot assign to final name "TEN"  [misc]
+qualifiers_final_annotation.py:199: error: Cannot assign to final name "PI"  [misc]
 """
 conformance_automated = "Fail"
 errors_diff = """
-Line 176: Expected 1 errors
-Line 23: Unexpected errors ['qualifiers_final_annotation.py:23: error: Expression is of type "Literal[1.0]", not "float"  [assert-type]']
-Line 72: Unexpected errors ['qualifiers_final_annotation.py:72: error: Cannot assign to final attribute "ID6"  [misc]']
-Line 109: Unexpected errors ['qualifiers_final_annotation.py:109: error: Cannot assign to final name "__private"  [misc]']
-Line 158: Unexpected errors ['qualifiers_final_annotation.py:158: error: Invalid "NamedTuple()" field name  [misc]']
-Line 160: Unexpected errors ['qualifiers_final_annotation.py:160: error: Unexpected keyword argument "x" for "N"  [call-arg]', 'qualifiers_final_annotation.py:160: error: Unexpected keyword argument "y" for "N"  [call-arg]']
+Line 178: Expected 1 errors
+Line 74: Unexpected errors ['qualifiers_final_annotation.py:74: error: Cannot assign to final attribute "ID6"  [misc]']
+Line 111: Unexpected errors ['qualifiers_final_annotation.py:111: error: Cannot assign to final name "__private"  [misc]']
+Line 160: Unexpected errors ['qualifiers_final_annotation.py:160: error: Invalid "NamedTuple()" field name  [misc]']
+Line 162: Unexpected errors ['qualifiers_final_annotation.py:162: error: Unexpected keyword argument "x" for "N"  [call-arg]', 'qualifiers_final_annotation.py:162: error: Unexpected keyword argument "y" for "N"  [call-arg]']
 """

conformance/results/pycroscope/qualifiers_final_annotation.toml

@@ -1,38 +1,38 @@
 conformance_automated = "Fail"
 errors_diff = """
-Line 23: Unexpected errors ['./qualifiers_final_annotation.py:23:12:   Literal[1.0] is not equivalent to float | int']
+Line 25: Unexpected errors ['./qualifiers_final_annotation.py:25:12:   Literal[range(0, 1)] is not equivalent to range']
 """
 output = """
 ./qualifiers_final_annotation.py:20:12: Incompatible argument type for x: expected Literal[1] but got int [incompatible_argument]
-./qualifiers_final_annotation.py:23:12:   Literal[1.0] is not equivalent to float | int
-./qualifiers_final_annotation.py:29:6: Final annotation without assignment requires an explicit type [invalid_qualifier]
-./qualifiers_final_annotation.py:31:6: Invalid type annotation (<class 'str'>, <class 'int'>) [invalid_annotation]
-./qualifiers_final_annotation.py:47:9: Final annotation without assignment requires an explicit type [invalid_qualifier]
-./qualifiers_final_annotation.py:47:4: Final class attributes without initializers must be assigned in __init__ [invalid_qualifier]
-./qualifiers_final_annotation.py:51:4: Final class attributes without initializers must be assigned in __init__ [invalid_qualifier]
-./qualifiers_final_annotation.py:67:8: Cannot assign to final name ID5 [incompatible_assignment]
-./qualifiers_final_annotation.py:75:18: Final instance attributes may be declared only in __init__ [invalid_qualifier]
-./qualifiers_final_annotation.py:76:18: Final instance attributes may be declared only in __init__ [invalid_qualifier]
-./qualifiers_final_annotation.py:78:8: Cannot assign to final name ID7 [incompatible_assignment]
+./qualifiers_final_annotation.py:25:12:   Literal[range(0, 1)] is not equivalent to range
+./qualifiers_final_annotation.py:31:6: Final annotation without assignment requires an explicit type [invalid_qualifier]
+./qualifiers_final_annotation.py:33:6: Invalid type annotation (<class 'str'>, <class 'int'>) [invalid_annotation]
+./qualifiers_final_annotation.py:49:9: Final annotation without assignment requires an explicit type [invalid_qualifier]
+./qualifiers_final_annotation.py:49:4: Final class attributes without initializers must be assigned in __init__ [invalid_qualifier]
+./qualifiers_final_annotation.py:53:4: Final class attributes without initializers must be assigned in __init__ [invalid_qualifier]
+./qualifiers_final_annotation.py:69:8: Cannot assign to final name ID5 [incompatible_assignment]
+./qualifiers_final_annotation.py:77:18: Final instance attributes may be declared only in __init__ [invalid_qualifier]
+./qualifiers_final_annotation.py:78:18: Final instance attributes may be declared only in __init__ [invalid_qualifier]
 ./qualifiers_final_annotation.py:80:8: Cannot assign to final name ID7 [incompatible_assignment]
-./qualifiers_final_annotation.py:84:0: Cannot assign to final name RATE [incompatible_assignment]
-./qualifiers_final_annotation.py:94:0: Cannot assign to final name DEFAULT_ID [incompatible_assignment]
-./qualifiers_final_annotation.py:107:4: Cannot override final attribute BORDER_WIDTH [incompatible_override]
-./qualifiers_final_annotation.py:120:12: Final cannot be combined with ClassVar [invalid_qualifier]
-./qualifiers_final_annotation.py:121:12: Final cannot be combined with ClassVar [invalid_qualifier]
-./qualifiers_final_annotation.py:131:3: Unrecognized annotation typing.Final[<class 'int'>] [invalid_annotation]
-./qualifiers_final_annotation.py:134:13: Unexpected Final annotation [invalid_qualifier]
-./qualifiers_final_annotation.py:144:7: Unexpected Final annotation [invalid_qualifier]
-./qualifiers_final_annotation.py:149:4: Final class attributes without initializers must be assigned in __init__ [invalid_qualifier]
-./qualifiers_final_annotation.py:161:0: In call to pycroscope.signature.N: Missing required argument 'x' [incompatible_call]
-./qualifiers_final_annotation.py:162:4: Incompatible argument type for x: expected int but got Literal[''] [incompatible_argument]
-./qualifiers_final_annotation.py:162:10: Incompatible argument type for y: expected int but got Literal[''] [incompatible_argument]
-./qualifiers_final_annotation.py:168:4: Cannot assign to final name ID1 [incompatible_assignment]
-./qualifiers_final_annotation.py:172:4: Cannot assign to final name x [incompatible_assignment]
-./qualifiers_final_annotation.py:174:9: Cannot assign to final name x [incompatible_assignment]
-./qualifiers_final_annotation.py:176:8: Cannot assign to final name x [incompatible_assignment]
-./qualifiers_final_annotation.py:179:29: Cannot assign to final name x [incompatible_assignment]
-./qualifiers_final_annotation.py:182:8: Cannot assign to final name x [incompatible_assignment]
-./qualifiers_final_annotation.py:193:0: Cannot assign to final name TEN [incompatible_assignment]
-./qualifiers_final_annotation.py:197:0: Cannot assign to final name PI [incompatible_assignment]
+./qualifiers_final_annotation.py:82:8: Cannot assign to final name ID7 [incompatible_assignment]
+./qualifiers_final_annotation.py:86:0: Cannot assign to final name RATE [incompatible_assignment]
+./qualifiers_final_annotation.py:96:0: Cannot assign to final name DEFAULT_ID [incompatible_assignment]
+./qualifiers_final_annotation.py:109:4: Cannot override final attribute BORDER_WIDTH [incompatible_override]
+./qualifiers_final_annotation.py:122:12: Final cannot be combined with ClassVar [invalid_qualifier]
+./qualifiers_final_annotation.py:123:12: Final cannot be combined with ClassVar [invalid_qualifier]
+./qualifiers_final_annotation.py:133:3: Unrecognized annotation typing.Final[<class 'int'>] [invalid_annotation]
+./qualifiers_final_annotation.py:136:13: Unexpected Final annotation [invalid_qualifier]
+./qualifiers_final_annotation.py:146:7: Unexpected Final annotation [invalid_qualifier]
+./qualifiers_final_annotation.py:151:4: Final class attributes without initializers must be assigned in __init__ [invalid_qualifier]
+./qualifiers_final_annotation.py:163:0: In call to pycroscope.signature.N: Missing required argument 'x' [incompatible_call]
+./qualifiers_final_annotation.py:164:4: Incompatible argument type for x: expected int but got Literal[''] [incompatible_argument]
+./qualifiers_final_annotation.py:164:10: Incompatible argument type for y: expected int but got Literal[''] [incompatible_argument]
+./qualifiers_final_annotation.py:170:4: Cannot assign to final name ID1 [incompatible_assignment]
+./qualifiers_final_annotation.py:174:4: Cannot assign to final name x [incompatible_assignment]
+./qualifiers_final_annotation.py:176:9: Cannot assign to final name x [incompatible_assignment]
+./qualifiers_final_annotation.py:178:8: Cannot assign to final name x [incompatible_assignment]
+./qualifiers_final_annotation.py:181:29: Cannot assign to final name x [incompatible_assignment]
+./qualifiers_final_annotation.py:184:8: Cannot assign to final name x [incompatible_assignment]
+./qualifiers_final_annotation.py:195:0: Cannot assign to final name TEN [incompatible_assignment]
+./qualifiers_final_annotation.py:199:0: Cannot assign to final name PI [incompatible_assignment]
 """