mypy on mypy, with --strict-optional

notes

... actually, see https://paper.dropbox.com/doc/Mypy-strict-optional-UQPcKDn5VDdSXQme37o1G for much more easily-editable notes.

output

mypy/util.py: note: In function "dump_tagged":
mypy/util.py:59: error: Argument 2 to "dump_tagged" has incompatible type None; expected "str"
mypy/stubutil.py: note: In function "parse_signature":
mypy/stubutil.py:21: error: Incompatible return value type (got tuple(length 3), expected "Optional[Tuple[str, List[str], List[str]]]")
mypy/options.py: note: In member "__init__" of class "Options":
mypy/options.py:19: error: Incompatible types in assignment (expression has type None, variable has type "str")
mypy/docstring.py: note: In function "parse_args":
mypy/docstring.py:166: error: Incompatible types in assignment (expression has type "Optional[str]", target has type "str")
mypy/docstring.py: note: In function "parse_docstring":
mypy/docstring.py:189: error: Incompatible types in assignment (expression has type Dict[str, str], variable has type Dict[str, Optional[str]])
mypy/docstring.py:199: error: Incompatible return value type (got None, expected "DocstringTypes")
mypy/codec/pytokenize.py: note: At top level:
mypy/codec/pytokenize.py:98: error: Incompatible types in assignment (expression has type None, variable has type "str")
mypy/lex.py: note: In member "__init__" of class "Lexer":
mypy/lex.py:328: error: Incompatible types in assignment (expression has type Callable[[], None], target has type Callable[[], None])
mypy/lex.py: note: In member "lex" of class "Lexer":
mypy/lex.py:378: error: Argument 2 to "get" of "dict" has incompatible type Callable[[], None]; expected "Optional[Callable[[], None]]"
mypy/lex.py: note: In member "lex_triple_quoted_str" of class "Lexer":
mypy/lex.py:628: error: Incompatible types in assignment (expression has type None, variable has type "Token")
mypy/myunit/__init__.py: note: In function "assert_raises":
mypy/myunit/__init__.py:76: error: Incompatible types in assignment (expression has type None, variable has type "str")
mypy/myunit/__init__.py: note: In member "__init__" of class "TestCase":
mypy/myunit/__init__.py:115: error: Incompatible types in assignment (expression has type None, variable has type "str")
mypy/myunit/__init__.py:116: error: Incompatible types in assignment (expression has type None, variable has type "TemporaryDirectory")
mypy/myunit/__init__.py: note: In member "tear_down" of class "TestCase":
mypy/myunit/__init__.py:136: error: Incompatible types in assignment (expression has type None, variable has type "str")
mypy/myunit/__init__.py:137: error: Incompatible types in assignment (expression has type None, variable has type "TemporaryDirectory")
mypy/myunit/__init__.py: note: In function "run_test_recursive":
mypy/myunit/__init__.py:274: error: Incompatible types in assignment (expression has type None, variable has type "Suite")
mypy/errors.py: note: In member "__init__" of class "Errors":
mypy/errors.py:98: error: List item 0 has incompatible type None
mypy/errors.py:99: error: List item 0 has incompatible type None
mypy/errors.py: note: In member "set_file_ignored_lines" of class "Errors":
mypy/errors.py:136: error: Incompatible types in assignment (expression has type "Optional[Set[int]]", target has type Set[int])
mypy/errors.py: note: In member "mark_file_ignored_lines_used" of class "Errors":
mypy/errors.py:140: error: Argument 1 to "__ior__" of "set" has incompatible type "Optional[Set[int]]"; expected AbstractSet[int]
mypy/errors.py:140: error: Incompatible types in assignment (expression has type "Optional[Set[int]]", target has type Set[int])
mypy/errors.py: note: In member "report" of class "Errors":
mypy/errors.py:186: error: Incompatible types in assignment (expression has type None, variable has type "str")
mypy/errors.py: note: In member "generate_unused_ignore_notes" of class "Errors":
mypy/errors.py:212: error: Argument 3 to "ErrorInfo" has incompatible type None; expected "str"
mypy/errors.py:212: error: Argument 4 to "ErrorInfo" has incompatible type None; expected "str"
mypy/errors.py: note: In member "render_messages" of class "Errors":
mypy/errors.py:273: error: Incompatible types in assignment (expression has type None, variable has type "str")
mypy/errors.py:274: error: Incompatible types in assignment (expression has type None, variable has type "str")
mypy/errors.py:293: error: Argument 1 to "append" of "list" has incompatible type "Tuple[None, int, str, str]"; expected "Tuple[str, int, str, str]"
mypy/waiter.py: note: In member "__init__" of class "LazySubprocess":
mypy/waiter.py:30: error: Incompatible types in assignment (expression has type None, variable has type "float")
mypy/waiter.py:31: error: Incompatible types in assignment (expression has type None, variable has type "float")
mypy/waiter.py: note: In member "start" of class "LazySubprocess":
mypy/waiter.py:36: error: Argument 2 to "Popen" has incompatible type "Optional[str]"; expected "str"
mypy/waiter.py:36: error: Argument 3 to "Popen" has incompatible type "Optional[Dict[str, str]]"; expected Mapping[str, str]
mypy/waiter.py: note: In member "__init__" of class "Waiter":
mypy/waiter.py:128: error: Incompatible types in assignment (expression has type None, variable has type "Noter")
mypy/waiter.py: note: In member "_wait_next" of class "Waiter":
mypy/waiter.py:209: error: Incompatible types in assignment (expression has type None, variable has type "str")
mypy/test/data.py: note: In function "parse_test_data":
mypy/test/data.py:227: error: Incompatible types in assignment (expression has type None, variable has type "str")
mypy/test/data.py:228: error: Incompatible types in assignment (expression has type None, variable has type "str")
mypy/test/data.py:242: error: Incompatible types in assignment (expression has type None, variable has type "str")
mypy/nodes.py: note: In member "__init__" of class "MypyFile":
mypy/nodes.py:187: error: Incompatible types in assignment (expression has type "Optional[Set[str]]", variable has type Set[str])
mypy/nodes.py: note: In member "deserialize" of class "Argument":
mypy/nodes.py:402: error: Argument 2 to "Argument" has incompatible type "object"; expected "Optional[Type]"
mypy/nodes.py: note: In member "__init__" of class "FuncItem":
mypy/nodes.py:431: error: Incompatible types in assignment (expression has type "Optional[FunctionLike]", variable has type "Type")
mypy/nodes.py: note: In member "deserialize" of class "FuncDef":
mypy/nodes.py:503: error: Argument 4 to "FuncDef" has incompatible type "object"; expected "Optional[FunctionLike]"
mypy/nodes.py: note: In member "__init__" of class "Var":
mypy/nodes.py:588: error: Incompatible types in assignment (expression has type "Optional[Type]", variable has type "Type")
mypy/nodes.py: note: In member "deserialize" of class "Var":
mypy/nodes.py:623: error: Argument 2 to "Var" has incompatible type "object"; expected "Optional[Type]"
mypy/nodes.py: note: In member "__init__" of class "ClassDef":
mypy/nodes.py:659: error: Incompatible types in assignment (expression has type "Optional[str]", variable has type "str")
mypy/nodes.py: note: In member "__init__" of class "AssignmentStmt":
mypy/nodes.py:761: error: Incompatible types in assignment (expression has type "Optional[Type]", variable has type "Type")
mypy/nodes.py: note: In member "__init__" of class "RaiseStmt":
mypy/nodes.py:883: error: Incompatible types in assignment (expression has type "Optional[Node]", variable has type "Node")
mypy/nodes.py: note: In member "deserialize" of class "NameExpr":
mypy/nodes.py:1134: error: Incompatible types in assignment (expression has type "object", variable has type "SymbolNode")
mypy/nodes.py: note: In member "__init__" of class "CallExpr":
mypy/nodes.py:1192: error: List item 0 has incompatible type None
mypy/nodes.py: note: In member "__init__" of class "IndexExpr":
mypy/nodes.py:1240: error: Incompatible types in assignment (expression has type None, variable has type "Union[TypeApplication, TypeAliasExpr]")
mypy/nodes.py: note: In member "expr" of class "FuncExpr":
mypy/nodes.py:1432: error: Incompatible return value type (got "Optional[Node]", expected "Node")
mypy/nodes.py: note: In member "get" of class "TypeInfo":
mypy/nodes.py:1839: error: Incompatible return value type (got None, expected "SymbolTableNode")
mypy/nodes.py: note: In member "get_var" of class "TypeInfo":
mypy/nodes.py:1873: error: Incompatible return value type (got None, expected "Var")
mypy/nodes.py:1874: error: Incompatible return value type (got None, expected "Var")
mypy/nodes.py: note: In member "get_method" of class "TypeInfo":
mypy/nodes.py:1893: error: Incompatible return value type (got None, expected "FuncBase")
mypy/nodes.py:1894: error: Incompatible return value type (got None, expected "FuncBase")
mypy/nodes.py: note: In member "__str__" of class "TypeInfo":
mypy/nodes.py:1952: error: Incompatible types in assignment (expression has type None, variable has type "str")
mypy/nodes.py: note: In member "deserialize" of class "TypeInfo":
mypy/nodes.py:1994: error: Incompatible types in assignment (expression has type "object", variable has type "Type")
mypy/nodes.py:1996: error: Incompatible types in assignment (expression has type "object", variable has type "TupleType")
mypy/nodes.py: note: In member "__init__" of class "SymbolTableNode":
mypy/nodes.py:2036: error: Incompatible types in assignment (expression has type "Optional[str]", variable has type "str")
mypy/nodes.py: note: In member "fullname" of class "SymbolTableNode":
mypy/nodes.py:2045: error: Incompatible return value type (got None, expected "str")
mypy/nodes.py: note: In member "type" of class "SymbolTableNode":
mypy/nodes.py:2059: error: Incompatible return value type (got None, expected "Type")
mypy/nodes.py: note: In member "serialize" of class "SymbolTableNode":
mypy/nodes.py:2086: error: Some element of union has no attribute "fullname"
mypy/types.py: note: In member "__init__" of class "TypeVarDef":
mypy/types.py:117: error: Incompatible types in assignment (expression has type "Optional[List[Type]]", variable has type List[Type])
mypy/types.py: note: In member "deserialize" of class "TypeVarDef":
mypy/types.py:152: error: Argument 3 to "TypeVarDef" has incompatible type "object"; expected "Optional[List[Type]]"
mypy/types.py: note: In member "__init__" of class "Void":
mypy/types.py:265: error: Incompatible types in assignment (expression has type "Optional[str]", variable has type "str")
mypy/types.py: note: In member "__init__" of class "DeletedType":
mypy/types.py:365: error: Incompatible types in assignment (expression has type "Optional[str]", variable has type "str")
mypy/types.py: note: In member "deserialize" of class "Instance":
mypy/types.py:420: error: Argument 1 to "Instance" has incompatible type None; expected "TypeInfo"
mypy/types.py: note: In member "__init__" of class "CallableType":
mypy/types.py:555: error: Incompatible types in assignment (expression has type "Optional[str]", variable has type "str")
mypy/types.py:556: error: Incompatible types in assignment (expression has type "Optional[SymbolNode]", variable has type "SymbolNode")
mypy/types.py: note: In member "deserialize" of class "CallableType":
mypy/types.py:656: error: List comprehension has incompatible type List[object]
mypy/types.py: note: In function "strip_type":
mypy/types.py:1374: error: Argument 1 to "copy_modified" of "CallableType" has incompatible type None; expected "str"
mypy/subtypes.py: note: In function "unify_generic_callable":
mypy/subtypes.py:336: error: Incompatible return value type (got None, expected "CallableType")
mypy/subtypes.py:340: error: Incompatible return value type (got None, expected "CallableType")
mypy/constraints.py: note: In function "infer_constraints_for_callable":
mypy/constraints.py:57: error: Argument 1 to "get_actual_type" has incompatible type "Optional[Type]"; expected "Type"
mypy/constraints.py: note: In function "any_constraints":
mypy/constraints.py:187: error: Incompatible return value type (got "Optional[List[Constraint]]", expected List[Constraint])
mypy/join.py: note: In function "join_instances_via_supertype":
mypy/join.py:291: error: Incompatible types in assignment (expression has type None, variable has type "Type")
mypy/join.py: note: In function "combine_similar_callables":
mypy/join.py:333: error: Argument 4 to "copy_modified" of "CallableType" has incompatible type None; expected "str"
mypy/meet.py: note: In function "nearest_builtin_ancestor":
mypy/meet.py:122: error: Incompatible return value type (got None, expected "TypeInfo")
mypy/solve.py: note: In function "solve_constraints":
mypy/solve.py:28: error: Argument 1 to "get" of "dict" has incompatible type "Optional[TypeVarId]"; expected "TypeVarId"
mypy/solve.py:30: error: Invalid index type "Optional[TypeVarId]" for "dict"
mypy/solve.py:36: error: Incompatible types in assignment (expression has type None, variable has type "Type")
mypy/solve.py:37: error: Incompatible types in assignment (expression has type None, variable has type "Type")
mypy/solve.py:74: error: Incompatible types in assignment (expression has type None, variable has type "Type")
mypy/solve.py:76: error: Argument 1 to "append" of "list" has incompatible type None; expected "Type"
mypy/treetransform.py: note: In member "copy_argument" of class "TransformVisitor":
mypy/treetransform.py:72: error: Incompatible types in assignment (expression has type None, variable has type "AssignmentStmt")
mypy/treetransform.py: note: In member "duplicate_inits" of class "TransformVisitor":
mypy/treetransform.py:141: error: Argument 1 to "append" of "list" has incompatible type None; expected "AssignmentStmt"
mypy/treetransform.py: note: In member "visit_return_stmt" of class "TransformVisitor":
mypy/treetransform.py:235: error: Argument 1 to "optional_node" of "TransformVisitor" has incompatible type "Optional[Node]"; expected "Node"
mypy/treetransform.py: note: In member "visit_print_stmt" of class "TransformVisitor":
mypy/treetransform.py:277: error: Argument 1 to "optional_node" of "TransformVisitor" has incompatible type "Optional[Node]"; expected "Node"
mypy/treetransform.py: note: In member "visit_exec_stmt" of class "TransformVisitor":
mypy/treetransform.py:281: error: Argument 1 to "optional_node" of "TransformVisitor" has incompatible type "Optional[Node]"; expected "Node"
mypy/treetransform.py:282: error: Argument 1 to "optional_node" of "TransformVisitor" has incompatible type "Optional[Node]"; expected "Node"
mypy/treetransform.py: note: In member "visit_yield_expr" of class "TransformVisitor":
mypy/treetransform.py:340: error: Argument 1 to "node" of "TransformVisitor" has incompatible type "Optional[Node]"; expected "Node"
mypy/treetransform.py: note: In member "visit_call_expr" of class "TransformVisitor":
mypy/treetransform.py:350: error: Argument 1 to "optional_node" of "TransformVisitor" has incompatible type "Optional[Node]"; expected "Node"
mypy/treetransform.py: note: In member "visit_slice_expr" of class "TransformVisitor":
mypy/treetransform.py:436: error: Argument 1 to "optional_node" of "TransformVisitor" has incompatible type "Optional[Node]"; expected "Node"
mypy/treetransform.py:437: error: Argument 1 to "optional_node" of "TransformVisitor" has incompatible type "Optional[Node]"; expected "Node"
mypy/treetransform.py:438: error: Argument 1 to "optional_node" of "TransformVisitor" has incompatible type "Optional[Node]"; expected "Node"
mypy/treetransform.py: note: In member "optional_node" of class "TransformVisitor":
mypy/treetransform.py:478: error: Incompatible return value type (got None, expected "Node")
mypy/treetransform.py: note: In member "optional_block" of class "TransformVisitor":
mypy/treetransform.py:489: error: Incompatible return value type (got None, expected "Block")
mypy/treetransform.py: note: In member "optional_names" of class "TransformVisitor":
mypy/treetransform.py:509: error: Argument 1 to "append" of "list" has incompatible type None; expected "NameExpr"
mypy/treetransform.py: note: In member "optional_type" of class "TransformVisitor":
mypy/treetransform.py:520: error: Incompatible return value type (got None, expected "Type")
mypy/traverser.py: note: In class "TraverserVisitor":
mypy/traverser.py:27: error: Return type of "visit_mypy_file" incompatible with supertype "NodeVisitor"
mypy/traverser.py:31: error: Return type of "visit_block" incompatible with supertype "NodeVisitor"
mypy/traverser.py:46: error: Return type of "visit_func_def" incompatible with supertype "NodeVisitor"
mypy/traverser.py:49: error: Return type of "visit_overloaded_func_def" incompatible with supertype "NodeVisitor"
mypy/traverser.py:53: error: Return type of "visit_class_def" incompatible with supertype "NodeVisitor"
mypy/traverser.py:56: error: Return type of "visit_decorator" incompatible with supertype "NodeVisitor"
mypy/traverser.py:62: error: Return type of "visit_expression_stmt" incompatible with supertype "NodeVisitor"
mypy/traverser.py:65: error: Return type of "visit_assignment_stmt" incompatible with supertype "NodeVisitor"
mypy/traverser.py:70: error: Return type of "visit_operator_assignment_stmt" incompatible with supertype "NodeVisitor"
mypy/traverser.py:74: error: Return type of "visit_while_stmt" incompatible with supertype "NodeVisitor"
mypy/traverser.py:80: error: Return type of "visit_for_stmt" incompatible with supertype "NodeVisitor"
mypy/traverser.py:87: error: Return type of "visit_return_stmt" incompatible with supertype "NodeVisitor"
mypy/traverser.py:91: error: Return type of "visit_assert_stmt" incompatible with supertype "NodeVisitor"
mypy/traverser.py:95: error: Return type of "visit_del_stmt" incompatible with supertype "NodeVisitor"
mypy/traverser.py:99: error: Return type of "visit_if_stmt" incompatible with supertype "NodeVisitor"
mypy/traverser.py:107: error: Return type of "visit_raise_stmt" incompatible with supertype "NodeVisitor"
mypy/traverser.py:113: error: Return type of "visit_try_stmt" incompatible with supertype "NodeVisitor"
mypy/traverser.py:124: error: Return type of "visit_with_stmt" incompatible with supertype "NodeVisitor"
mypy/traverser.py:131: error: Return type of "visit_member_expr" incompatible with supertype "NodeVisitor"
mypy/traverser.py:134: error: Return type of "visit_yield_from_expr" incompatible with supertype "NodeVisitor"
mypy/traverser.py:137: error: Return type of "visit_yield_expr" incompatible with supertype "NodeVisitor"
mypy/traverser.py:141: error: Return type of "visit_call_expr" incompatible with supertype "NodeVisitor"
mypy/traverser.py:148: error: Return type of "visit_op_expr" incompatible with supertype "NodeVisitor"
mypy/traverser.py:152: error: Return type of "visit_comparison_expr" incompatible with supertype "NodeVisitor"
mypy/traverser.py:156: error: Return type of "visit_slice_expr" incompatible with supertype "NodeVisitor"
mypy/traverser.py:164: error: Return type of "visit_cast_expr" incompatible with supertype "NodeVisitor"
mypy/traverser.py:167: error: Return type of "visit_reveal_type_expr" incompatible with supertype "NodeVisitor"
mypy/traverser.py:170: error: Return type of "visit_unary_expr" incompatible with supertype "NodeVisitor"
mypy/traverser.py:173: error: Return type of "visit_list_expr" incompatible with supertype "NodeVisitor"
mypy/traverser.py:177: error: Return type of "visit_tuple_expr" incompatible with supertype "NodeVisitor"
mypy/traverser.py:181: error: Return type of "visit_dict_expr" incompatible with supertype "NodeVisitor"
mypy/traverser.py:186: error: Return type of "visit_set_expr" incompatible with supertype "NodeVisitor"
mypy/traverser.py:190: error: Return type of "visit_index_expr" incompatible with supertype "NodeVisitor"
mypy/traverser.py:196: error: Return type of "visit_generator_expr" incompatible with supertype "NodeVisitor"
mypy/traverser.py:205: error: Return type of "visit_list_comprehension" incompatible with supertype "NodeVisitor"
mypy/traverser.py:208: error: Return type of "visit_conditional_expr" incompatible with supertype "NodeVisitor"
mypy/traverser.py:213: error: Return type of "visit_type_application" incompatible with supertype "NodeVisitor"
mypy/traverser.py:216: error: Return type of "visit_func_expr" incompatible with supertype "NodeVisitor"
mypy/parsetype.py: note: In member "parse_types" of class "TypeParser":
mypy/parsetype.py:102: error: Argument 2 to "TupleType" has incompatible type None; expected "Instance"
mypy/parsetype.py: note: In function "parse_signature":
mypy/parsetype.py:259: error: Argument 5 to "CallableType" has incompatible type None; expected "Instance"
mypy/parsetype.py:261: error: List item 0 has incompatible type None
mypy/fixup.py: note: In class "NodeFixer":
mypy/fixup.py:88: error: Return type of "visit_func_def" incompatible with supertype "NodeVisitor"
mypy/fixup.py:97: error: Return type of "visit_overloaded_func_def" incompatible with supertype "NodeVisitor"
mypy/fixup.py:105: error: Return type of "visit_decorator" incompatible with supertype "NodeVisitor"
mypy/fixup.py:115: error: Return type of "visit_class_def" incompatible with supertype "NodeVisitor"
mypy/fixup.py:121: error: Return type of "visit_type_var_expr" incompatible with supertype "NodeVisitor"
mypy/fixup.py:126: error: Return type of "visit_var" incompatible with supertype "NodeVisitor"
mypy/fixup.py: note: In class "TypeFixer":
mypy/fixup.py:137: error: Return type of "visit_instance" incompatible with supertype "TypeVisitor"
mypy/fixup.py:154: error: Return type of "visit_any" incompatible with supertype "TypeVisitor"
mypy/fixup.py:157: error: Return type of "visit_callable_type" incompatible with supertype "TypeVisitor"
mypy/fixup.py:172: error: Return type of "visit_ellipsis_type" incompatible with supertype "TypeVisitor"
mypy/fixup.py:175: error: Return type of "visit_overloaded" incompatible with supertype "TypeVisitor"
mypy/fixup.py:179: error: Return type of "visit_deleted_type" incompatible with supertype "TypeVisitor"
mypy/fixup.py:182: error: Return type of "visit_none_type" incompatible with supertype "TypeVisitor"
mypy/fixup.py:185: error: Return type of "visit_uninhabited_type" incompatible with supertype "TypeVisitor"
mypy/fixup.py:188: error: Return type of "visit_partial_type" incompatible with supertype "TypeVisitor"
mypy/fixup.py:191: error: Return type of "visit_tuple_type" incompatible with supertype "TypeVisitor"
mypy/fixup.py:198: error: Return type of "visit_type_list" incompatible with supertype "TypeVisitor"
mypy/fixup.py:202: error: Return type of "visit_type_var" incompatible with supertype "TypeVisitor"
mypy/fixup.py:209: error: Return type of "visit_unbound_type" incompatible with supertype "TypeVisitor"
mypy/fixup.py:213: error: Return type of "visit_union_type" incompatible with supertype "TypeVisitor"
mypy/fixup.py:218: error: Return type of "visit_void" incompatible with supertype "TypeVisitor"
mypy/fixup.py:221: error: Return type of "visit_type_type" incompatible with supertype "TypeVisitor"
mypy/fixup.py: note: In function "lookup_qualified":
mypy/fixup.py:230: error: Incompatible return value type (got "Optional[SymbolNode]", expected "SymbolNode")
mypy/fastparse.py: note: In function "parse":
mypy/fastparse.py:60: error: Some element of union has no attribute "endswith"
mypy/fastparse.py:63: error: Argument 2 to "parse" has incompatible type "Optional[str]"; expected "Union[str, bytes]"
mypy/fastparse.py:65: error: Argument 2 to "parse" has incompatible type "Optional[str]"; expected "Union[str, bytes]"
mypy/fastparse.py: note: In function "find":
mypy/fastparse.py:112: error: Incompatible return value type (got None, expected "V")
mypy/fastparse.py: note: In member "as_block" of class "ASTConverter":
mypy/fastparse.py:185: error: Some element of union has no attribute "set_line"
mypy/fastparse.py:186: error: Incompatible return value type (got "Optional[Block]", expected "Block")
mypy/fastparse.py: note: In member "do_func_def" of class "ASTConverter":
mypy/fastparse.py:263: error: Incompatible types in assignment (expression has type None, variable has type List[Type])
mypy/fastparse.py:284: error: List comprehension has incompatible type List[Optional[Type]]
mypy/fastparse.py:285: error: Argument 1 to "visit" of "NodeVisitor" has incompatible type "Optional[expr]"; expected "AST"
mypy/fastparse.py:292: error: Argument 5 to "CallableType" has incompatible type None; expected "Instance"
mypy/fastparse.py: note: In function "make_argument":
mypy/fastparse.py:331: error: Argument 1 to "visit" of "NodeVisitor" has incompatible type "Optional[expr]"; expected "AST"
mypy/fastparse.py:332: error: Argument 1 to "visit" of "NodeVisitor" has incompatible type "Optional[expr]"; expected "AST"
mypy/fastparse.py: note: In member "visit_Return" of class "ASTConverter":
mypy/fastparse.py:398: error: Argument 1 to "visit" of "NodeVisitor" has incompatible type "Optional[expr]"; expected "AST"
mypy/fastparse.py: note: In member "visit_With" of class "ASTConverter":
mypy/fastparse.py:464: error: Argument 1 to "visit" of "NodeVisitor" has incompatible type "Optional[expr]"; expected "AST"
mypy/fastparse.py: note: In member "visit_AsyncWith" of class "ASTConverter":
mypy/fastparse.py:471: error: Argument 1 to "visit" of "NodeVisitor" has incompatible type "Optional[expr]"; expected "AST"
mypy/fastparse.py: note: In member "visit_Raise" of class "ASTConverter":
mypy/fastparse.py:479: error: Argument 1 to "visit" of "NodeVisitor" has incompatible type "Optional[expr]"; expected "AST"
mypy/fastparse.py: note: In member "visit_Try" of class "ASTConverter":
mypy/fastparse.py:485: error: Argument 1 to "visit" of "NodeVisitor" has incompatible type "Optional[expr]"; expected "AST"
mypy/fastparse.py:488: error: Argument 2 to "TryStmt" has incompatible type List[object]; expected List[NameExpr]
mypy/fastparse.py: note: In member "visit_ImportFrom" of class "ASTConverter":
mypy/fastparse.py:510: error: Incompatible types in assignment (expression has type None, variable has type "ImportBase")
mypy/fastparse.py:512: error: Argument 1 to "ImportAll" has incompatible type "Optional[str]"; expected "str"
mypy/fastparse.py:512: error: Argument 2 to "ImportAll" has incompatible type "Optional[int]"; expected "int"
mypy/fastparse.py:514: error: Argument 2 to "ImportFrom" has incompatible type "Optional[int]"; expected "int"
mypy/fastparse.py: note: In function "group":
mypy/fastparse.py:568: error: Argument 1 to "OpExpr" has incompatible type "Optional[str]"; expected "str"
mypy/fastparse.py:570: error: Argument 1 to "OpExpr" has incompatible type "Optional[str]"; expected "str"
mypy/fastparse.py: note: In member "visit_Yield" of class "ASTConverter":
mypy/fastparse.py:670: error: Argument 1 to "visit" of "NodeVisitor" has incompatible type "Optional[expr]"; expected "AST"
mypy/fastparse.py: note: In member "visit_Call" of class "ASTConverter":
mypy/fastparse.py:699: error: List comprehension has incompatible type List[Optional[str]]
mypy/fastparse.py: note: In member "visit_Slice" of class "ASTConverter":
mypy/fastparse.py:787: error: Argument 1 to "visit" of "NodeVisitor" has incompatible type "Optional[expr]"; expected "AST"
mypy/fastparse.py:788: error: Argument 1 to "visit" of "NodeVisitor" has incompatible type "Optional[expr]"; expected "AST"
mypy/fastparse.py:789: error: Argument 1 to "visit" of "NodeVisitor" has incompatible type "Optional[expr]"; expected "AST"
mypy/fastparse.py: note: In member "visit_NoneType" of class "TypeConverter":
mypy/fastparse.py:808: error: Incompatible return value type (got None, expected "Type")
mypy/fastparse.py: note: In member "visit_Tuple" of class "TypeConverter":
mypy/fastparse.py:840: error: Argument 2 to "TupleType" has incompatible type None; expected "Instance"
mypy/binder.py: note: In member "_get" of class "ConditionalTypeBinder":
mypy/binder.py:97: error: Incompatible return value type (got None, expected "Type")
mypy/binder.py: note: In member "get_declaration" of class "ConditionalTypeBinder":
mypy/binder.py:172: error: Incompatible return value type (got None, expected "Type")
mypy/binder.py:175: error: Incompatible return value type (got None, expected "Type")
mypy/test/testtypes.py: note: In member "callable" of class "TypeOpsSuite":
mypy/test/testtypes.py:252: error: List item 0 has incompatible type None
mypy/test/testcmdline.py: note: In member "cases" of class "PythonEvaluationSuite":
mypy/test/testcmdline.py:31: error: Argument 2 to "parse_test_cases" has incompatible type Callable[[DataDrivenTestCase], None]; expected Callable[[DataDrivenTestCase], None]
mypy/stats.py: note: In class "StatisticsVisitor":
mypy/stats.py:60: error: Return type of "visit_func_def" incompatible with supertype "NodeVisitor"
mypy/stats.py:82: error: Return type of "visit_type_application" incompatible with supertype "NodeVisitor"
mypy/stats.py:88: error: Return type of "visit_assignment_stmt" incompatible with supertype "NodeVisitor"
mypy/stats.py: note: In member "visit_assignment_stmt" of class "StatisticsVisitor":
mypy/stats.py:106: error: Some element of union has no attribute "get"
mypy/stats.py: note: In class "StatisticsVisitor":
mypy/stats.py:115: error: Return type of "visit_name_expr" incompatible with supertype "NodeVisitor"
mypy/stats.py:119: error: Return type of "visit_yield_from_expr" incompatible with supertype "NodeVisitor"
mypy/stats.py:123: error: Return type of "visit_call_expr" incompatible with supertype "NodeVisitor"
mypy/stats.py:132: error: Return type of "visit_member_expr" incompatible with supertype "NodeVisitor"
mypy/stats.py:136: error: Return type of "visit_op_expr" incompatible with supertype "NodeVisitor"
mypy/stats.py:140: error: Return type of "visit_comparison_expr" incompatible with supertype "NodeVisitor"
mypy/stats.py:144: error: Return type of "visit_index_expr" incompatible with supertype "NodeVisitor"
mypy/stats.py:148: error: Return type of "visit_unary_expr" incompatible with supertype "NodeVisitor"
mypy/stats.py: note: In member "process_node" of class "StatisticsVisitor":
mypy/stats.py:154: error: Some element of union has no attribute "get"
mypy/parse.py: note: In member "parse_import_from" of class "Parser":
mypy/parse.py:250: error: Incompatible types in assignment (expression has type None, variable has type "ImportBase")
mypy/parse.py:272: error: Argument 1 to "append" of "list" has incompatible type "Tuple[str, Optional[str]]"; expected "Tuple[str, str]"
mypy/parse.py: note: In member "parse_function" of class "Parser":
mypy/parse.py:446: error: Argument 5 to "CallableType" has incompatible type None; expected "Instance"
mypy/parse.py:459: error: Argument 5 to "CallableType" has incompatible type None; expected "Instance"
mypy/parse.py:469: error: Argument 5 to "CallableType" has incompatible type None; expected "Instance"
mypy/parse.py:480: error: Incompatible return value type (got None, expected "FuncDef")
mypy/parse.py: note: In member "parse_function_header" of class "Parser":
mypy/parse.py:550: error: Incompatible return value type (got tuple(length 5), expected tuple(length 5))
mypy/parse.py: note: In member "parse_args" of class "Parser":
mypy/parse.py:581: error: Argument 1 to "build_func_annotation" of "Parser" has incompatible type "Optional[Type]"; expected "Type"
mypy/parse.py: note: In member "build_func_annotation" of class "Parser":
mypy/parse.py:595: error: Incompatible return value type (got None, expected "CallableType")
mypy/parse.py: note: In member "parse_tuple_arg" of class "Parser":
mypy/parse.py:730: error: Some element of union has no attribute "set_line"
mypy/parse.py:739: error: Incompatible return value type (got tuple(length 3), expected tuple(length 3))
mypy/parse.py: note: In member "parse_normal_arg" of class "Parser":
mypy/parse.py:771: error: Incompatible types in assignment (expression has type None, variable has type "Node")
mypy/parse.py:785: error: Argument 1 to "set_type_optional" of "Parser" has incompatible type "Optional[Type]"; expected "Type"
mypy/parse.py: note: In member "parse_arg_type" of class "Parser":
mypy/parse.py:807: error: Incompatible return value type (got None, expected "Type")
mypy/parse.py: note: In member "construct_function_type" of class "Parser":
mypy/parse.py:833: error: Argument 1 to "CallableType" has incompatible type List[Optional[Type]]; expected List[Type]
mypy/parse.py:833: error: Argument 5 to "CallableType" has incompatible type None; expected "Instance"
mypy/parse.py: note: In member "parse_block" of class "Parser":
mypy/parse.py:855: error: Incompatible return value type (got "Tuple[Block, None]", expected "Tuple[Block, Type]")
mypy/parse.py: note: In member "parse_statement" of class "Parser":
mypy/parse.py:903: error: Incompatible types in assignment (expression has type None, variable has type "Node")
mypy/parse.py: note: In member "parse_assignment" of class "Parser":
mypy/parse.py:999: error: Incompatible types in assignment (expression has type None, variable has type "Type")
mypy/parse.py: note: In member "parse_raise_stmt" of class "Parser":
mypy/parse.py:1022: error: Argument 1 to "RaiseStmt" has incompatible type "Optional[Node]"; expected "Node"
mypy/parse.py: note: In member "parse_yield_or_yield_from_expr" of class "Parser":
mypy/parse.py:1039: error: Argument 1 to "YieldFromExpr" has incompatible type "Optional[Node]"; expected "Node"
mypy/parse.py: note: In member "parse_while_stmt" of class "Parser":
mypy/parse.py:1108: error: Incompatible types in assignment (expression has type None, variable has type "Block")
mypy/parse.py: note: In member "parse_for_stmt" of class "Parser":
mypy/parse.py:1127: error: Incompatible types in assignment (expression has type None, variable has type "Block")
mypy/parse.py: note: In member "parse_if_stmt" of class "Parser":
mypy/parse.py:1180: error: Incompatible types in assignment (expression has type None, variable has type "Block")
mypy/parse.py:1186: error: Incompatible return value type (got None, expected "IfStmt")
mypy/parse.py: note: In member "parse_try_stmt" of class "Parser":
mypy/parse.py:1208: error: Argument 1 to "append" of "list" has incompatible type None; expected "NameExpr"
mypy/parse.py:1212: error: Argument 1 to "append" of "list" has incompatible type None; expected "Node"
mypy/parse.py:1213: error: Argument 1 to "append" of "list" has incompatible type None; expected "NameExpr"
mypy/parse.py:1220: error: Incompatible types in assignment (expression has type None, variable has type "Block")
mypy/parse.py:1225: error: Incompatible types in assignment (expression has type None, variable has type "Block")
mypy/parse.py:1230: error: Incompatible return value type (got None, expected "Node")
mypy/parse.py: note: In member "parse_with_stmt" of class "Parser":
mypy/parse.py:1242: error: Incompatible types in assignment (expression has type None, variable has type "Node")
mypy/parse.py: note: In member "parse_expression" of class "Parser":
mypy/parse.py:1293: error: Incompatible types in assignment (expression has type None, variable has type "Node")
mypy/parse.py: note: In member "parse_arg_expr" of class "Parser":
mypy/parse.py:1675: error: Argument 1 to "append" of "list" has incompatible type None; expected "str"
mypy/parse.py:1681: error: Argument 1 to "append" of "list" has incompatible type None; expected "str"
mypy/parse.py:1685: error: Argument 1 to "append" of "list" has incompatible type None; expected "str"
mypy/parse.py: note: In member "parse_slice_item" of class "Parser":
mypy/parse.py:1733: error: Incompatible types in assignment (expression has type None, variable has type "Node")
mypy/parse.py:1741: error: Incompatible types in assignment (expression has type None, variable has type "Node")
mypy/parse.py: note: In member "parse_type_comment" of class "Parser":
mypy/parse.py:1936: error: Incompatible return value type (got None, expected "Type")
mypy/parse.py:1941: error: Incompatible return value type (got None, expected "Type")
mypy/parse.py:1949: error: Incompatible return value type (got None, expected "Type")
mypy/parse.py:1952: error: Incompatible return value type (got None, expected "Type")
mypy/parse.py:1955: error: Incompatible return value type (got None, expected "Type")
mypy/parse.py: note: In function "token_repr":
mypy/parse.py:1999: error: Incompatible return value type (got "Optional[str]", expected "str")
mypy/parse.py: note: At top level:
mypy/parse.py:2031: error: Argument 3 to "parse" has incompatible type None; expected "Errors"
mypy/exprtotype.py: note: In function "get_member_expr_fullname":
mypy/exprtotype.py:69: error: Incompatible return value type (got None, expected "str")
mypy/typeanal.py: note: In function "analyze_type_alias":
mypy/typeanal.py:40: error: Incompatible return value type (got None, expected "Type")
mypy/typeanal.py:46: error: Incompatible return value type (got None, expected "Type")
mypy/typeanal.py:48: error: Incompatible return value type (got None, expected "Type")
mypy/typeanal.py:50: error: Incompatible return value type (got None, expected "Type")
mypy/typeanal.py:57: error: Incompatible return value type (got None, expected "Type")
mypy/typeanal.py: note: In member "visit_unbound_type" of class "TypeAnalyser":
mypy/typeanal.py:139: error: Incompatible return value type (got "Optional[Type]", expected "Type")
mypy/typeanal.py: note: In member "analyze_callable_type" of class "TypeAnalyser":
mypy/typeanal.py:242: error: List item 0 has incompatible type None
mypy/typeanal.py:242: error: List item 1 has incompatible type None
mypy/typeanal.py:253: error: List item 0 has incompatible type None
mypy/typeanal.py:260: error: List item 0 has incompatible type None
mypy/typeanal.py:260: error: List item 1 has incompatible type None
mypy/typeanal.py: note: In class "TypeAnalyserPass3":
mypy/typeanal.py:318: error: Return type of "visit_instance" incompatible with supertype "TypeVisitor"
mypy/typeanal.py:372: error: Return type of "visit_callable_type" incompatible with supertype "TypeVisitor"
mypy/typeanal.py:377: error: Return type of "visit_tuple_type" incompatible with supertype "TypeVisitor"
mypy/typeanal.py:381: error: Return type of "visit_union_type" incompatible with supertype "TypeVisitor"
mypy/typeanal.py:385: error: Return type of "visit_star_type" incompatible with supertype "TypeVisitor"
mypy/typeanal.py:390: error: Return type of "visit_unbound_type" incompatible with supertype "TypeVisitor"
mypy/typeanal.py:393: error: Return type of "visit_any" incompatible with supertype "TypeVisitor"
mypy/typeanal.py:396: error: Return type of "visit_void" incompatible with supertype "TypeVisitor"
mypy/typeanal.py:399: error: Return type of "visit_none_type" incompatible with supertype "TypeVisitor"
mypy/typeanal.py:402: error: Return type of "visit_uninhabited_type" incompatible with supertype "TypeVisitor"
mypy/typeanal.py:405: error: Return type of "visit_deleted_type" incompatible with supertype "TypeVisitor"
mypy/typeanal.py:408: error: Return type of "visit_type_list" incompatible with supertype "TypeVisitor"
mypy/typeanal.py:411: error: Return type of "visit_type_var" incompatible with supertype "TypeVisitor"
mypy/typeanal.py:414: error: Return type of "visit_partial_type" incompatible with supertype "TypeVisitor"
mypy/typeanal.py:417: error: Return type of "visit_type_type" incompatible with supertype "TypeVisitor"
mypy/report.py: note: In class "FuncCounterVisitor":
mypy/report.py:67: error: Return type of "visit_func_def" incompatible with supertype "NodeVisitor"
mypy/report.py: note: In member "__init__" of class "MemoryXmlReporter":
mypy/report.py:152: error: Incompatible types in assignment (expression has type None, variable has type "_ElementTree")
mypy/report.py: note: In member "on_file" of class "MemoryXmlReporter":
mypy/report.py:158: error: Incompatible types in assignment (expression has type None, variable has type "_ElementTree")
mypy/report.py: note: In member "on_finish" of class "MemoryXmlReporter":
mypy/report.py:195: error: Incompatible types in assignment (expression has type None, variable has type "_ElementTree")
mypy/semanal.py: note: In member "__init__" of class "SemanticAnalyzer":
mypy/semanal.py:206: error: List item 0 has incompatible type None
mypy/semanal.py:208: error: Incompatible types in assignment (expression has type None, variable has type "TypeInfo")
mypy/semanal.py:210: error: Incompatible types in assignment (expression has type None, variable has type List[SymbolTableNode])
mypy/semanal.py: note: In member "visit_func_def" of class "SemanticAnalyzer":
mypy/semanal.py:279: error: Argument 1 to "is_conditional_func" of "SemanticAnalyzer" has incompatible type "Optional[SymbolNode]"; expected "Node"
mypy/semanal.py:291: error: Argument 1 to "is_conditional_func" of "SemanticAnalyzer" has incompatible type "Optional[SymbolNode]"; expected "Node"
mypy/semanal.py: note: In member "analyze_function" of class "SemanticAnalyzer":
mypy/semanal.py:470: error: Some element of union has no attribute "id"
mypy/semanal.py: note: In member "enter_class" of class "SemanticAnalyzer":
mypy/semanal.py:583: error: Argument 1 to "append" of "list" has incompatible type None; expected "SymbolTable"
mypy/semanal.py: note: In member "calculate_abstract_status" of class "SemanticAnalyzer":
mypy/semanal.py:643: error: Incompatible types in assignment (expression has type "Optional[SymbolNode]", variable has type "Node")
mypy/semanal.py: note: In member "setup_type_promotion" of class "SemanticAnalyzer":
mypy/semanal.py:657: error: Incompatible types in assignment (expression has type None, variable has type "Type")
mypy/semanal.py: note: In member "analyze_unbound_tvar" of class "SemanticAnalyzer":
mypy/semanal.py:727: error: Incompatible return value type (got None, expected "Tuple[str, TypeVarExpr]")
mypy/semanal.py:732: error: Incompatible return value type (got None, expected "Tuple[str, TypeVarExpr]")
mypy/semanal.py: note: In member "analyze_base_classes" of class "SemanticAnalyzer":
mypy/semanal.py:792: error: Argument 2 to "calculate_class_mro" has incompatible type Callable[[str, Context], None]; expected Callable[[str, Context], None]
mypy/semanal.py: note: In member "named_type" of class "SemanticAnalyzer":
mypy/semanal.py:864: error: Argument 2 to "lookup_qualified" of "SemanticAnalyzer" has incompatible type None; expected "Context"
mypy/semanal.py: note: In member "named_type_or_none" of class "SemanticAnalyzer":
mypy/semanal.py:870: error: Incompatible return value type (got None, expected "Instance")
mypy/semanal.py: note: In member "process_import_over_existing_name" of class "SemanticAnalyzer":
mypy/semanal.py:953: error: Incompatible types in assignment (expression has type "Optional[SymbolNode]", variable has type "SymbolNode")
mypy/semanal.py: note: In member "anal_type" of class "SemanticAnalyzer":
mypy/semanal.py:1048: error: Argument 3 to "TypeAnalyser" has incompatible type Callable[[str, Context, bool, bool], None]; expected Callable[[str, Context], None]
mypy/semanal.py:1053: error: Incompatible return value type (got None, expected "Type")
mypy/semanal.py: note: In member "process_typevar_declaration" of class "SemanticAnalyzer":
mypy/semanal.py:1314: error: Argument 2 to "process_typevar_parameters" of "SemanticAnalyzer" has incompatible type List[str]; expected List[Optional[str]]
mypy/semanal.py: note: In member "check_namedtuple" of class "SemanticAnalyzer":
mypy/semanal.py:1449: error: Incompatible return value type (got None, expected "TypeInfo")
mypy/semanal.py:1452: error: Incompatible return value type (got None, expected "TypeInfo")
mypy/semanal.py:1456: error: Incompatible return value type (got None, expected "TypeInfo")
mypy/semanal.py: note: In member "visit_name_expr" of class "SemanticAnalyzer":
mypy/semanal.py:1796: error: Incompatible types in assignment (expression has type "Optional[SymbolNode]", variable has type "SymbolNode")
mypy/semanal.py: note: In member "visit_member_expr" of class "SemanticAnalyzer":
mypy/semanal.py:1950: error: Argument 1 to "normalize_type_alias" of "SemanticAnalyzer" has incompatible type "object"; expected "SymbolTableNode"
mypy/semanal.py:1955: error: Incompatible types in assignment (expression has type "Optional[SymbolNode]", variable has type "SymbolNode")
mypy/semanal.py: note: In member "lookup" of class "SemanticAnalyzer":
mypy/semanal.py:2114: error: Incompatible return value type (got None, expected "SymbolTableNode")
mypy/semanal.py:2122: error: Incompatible return value type (got None, expected "SymbolTableNode")
mypy/semanal.py:2140: error: Incompatible return value type (got None, expected "SymbolTableNode")
mypy/semanal.py:2146: error: Incompatible return value type (got None, expected "SymbolTableNode")
mypy/semanal.py: note: In member "lookup_fully_qualified_or_none" of class "SemanticAnalyzer":
mypy/semanal.py:2219: error: Incompatible return value type (got None, expected "SymbolTableNode")
mypy/semanal.py: note: In member "visit_func_def" of class "FirstPass":
mypy/semanal.py:2436: error: Argument 1 to "is_conditional_func" of "SemanticAnalyzer" has incompatible type "Optional[SymbolNode]"; expected "Node"
mypy/semanal.py: note: In class "ThirdPass":
mypy/semanal.py:2553: error: Return type of "visit_block" incompatible with supertype "NodeVisitor"
mypy/semanal.py:2558: error: Return type of "visit_func_def" incompatible with supertype "NodeVisitor"
mypy/semanal.py:2564: error: Return type of "visit_class_def" incompatible with supertype "NodeVisitor"
mypy/semanal.py: note: In member "visit_class_def" of class "ThirdPass":
mypy/semanal.py:2572: error: Argument 2 to "calculate_class_mro" has incompatible type Callable[[str, Context], None]; expected Callable[[str, Context], None]
mypy/semanal.py: note: In class "ThirdPass":
mypy/semanal.py:2575: error: Return type of "visit_decorator" incompatible with supertype "NodeVisitor"
mypy/semanal.py:2625: error: Return type of "visit_assignment_stmt" incompatible with supertype "NodeVisitor"
mypy/semanal.py:2629: error: Return type of "visit_cast_expr" incompatible with supertype "NodeVisitor"
mypy/semanal.py:2633: error: Return type of "visit_reveal_type_expr" incompatible with supertype "NodeVisitor"
mypy/semanal.py:2636: error: Return type of "visit_type_application" incompatible with supertype "NodeVisitor"
mypy/semanal.py: note: In member "analyze" of class "ThirdPass":
mypy/semanal.py:2645: error: Argument 1 to "TypeAnalyserPass3" has incompatible type Callable[[str, Context, bool], None]; expected Callable[[str, Context], None]
mypy/semanal.py: note: In function "find_duplicate":
mypy/semanal.py:2725: error: Incompatible return value type (got None, expected "T")
mypy/semanal.py: note: In class "MarkImportsUnreachableVisitor":
mypy/semanal.py:2955: error: Return type of "visit_import" incompatible with supertype "NodeVisitor"
mypy/semanal.py:2958: error: Return type of "visit_import_from" incompatible with supertype "NodeVisitor"
mypy/semanal.py:2961: error: Return type of "visit_import_all" incompatible with supertype "NodeVisitor"
mypy/checkmember.py: note: In function "lookup_member_var_or_accessor":
mypy/checkmember.py:269: error: Incompatible return value type (got "Optional[SymbolNode]", expected "SymbolNode")
mypy/checkmember.py:271: error: Incompatible return value type (got None, expected "SymbolNode")
mypy/checkmember.py: note: In function "analyze_class_attribute_access":
mypy/checkmember.py:314: error: Incompatible return value type (got None, expected "Type")
mypy/checkmember.py:330: error: Argument 4 to "handle_partial_attribute_type" has incompatible type "Optional[SymbolNode]"; expected "Context"
mypy/checkmember.py: note: In function "type_object_type_from_function":
mypy/checkmember.py:426: error: Incompatible types in assignment (expression has type None, variable has type "str")
mypy/checkmember.py: note: In function "class_callable":
mypy/checkmember.py:445: error: Argument 3 to "copy_modified" of "CallableType" has incompatible type None; expected "str"
mypy/checkstrformat.py: note: In member "analyze_conversion_specifiers" of class "StringFormatterChecker":
mypy/checkstrformat.py:97: error: Incompatible return value type (got None, expected "bool")
mypy/checkstrformat.py:100: error: Incompatible return value type (got None, expected "bool")
mypy/checkstrformat.py: note: In function "check_type":
mypy/checkstrformat.py:217: error: Argument 1 to "check_subtype" of "TypeChecker" has incompatible type "Optional[Type]"; expected "Type"
mypy/checkstrformat.py: note: In member "checkers_for_star" of class "StringFormatterChecker":
mypy/checkstrformat.py:223: error: Incompatible return value type (got tuple(length 2), expected tuple(length 2))
mypy/checkstrformat.py: note: In function "check_type":
mypy/checkstrformat.py:236: error: Argument 1 to "check_subtype" of "TypeChecker" has incompatible type "Optional[Type]"; expected "Type"
mypy/checkstrformat.py: note: In member "checkers_for_regular_type" of class "StringFormatterChecker":
mypy/checkstrformat.py:244: error: Incompatible return value type (got tuple(length 2), expected tuple(length 2))
mypy/checkstrformat.py: note: In function "check_type":
mypy/checkstrformat.py:256: error: Argument 1 to "check_subtype" of "TypeChecker" has incompatible type "Optional[Type]"; expected "Type"
mypy/checkstrformat.py: note: In member "checkers_for_c_type" of class "StringFormatterChecker":
mypy/checkstrformat.py:267: error: Incompatible return value type (got tuple(length 2), expected tuple(length 2))
mypy/checkstrformat.py: note: In member "conversion_type" of class "StringFormatterChecker":
mypy/checkstrformat.py:288: error: Incompatible return value type (got None, expected "Type")
mypy/checker.py: note: In member "visit_file" of class "TypeChecker":
mypy/checker.py:167: error: Argument 2 to "fail" of "TypeChecker" has incompatible type "Optional[SymbolNode]"; expected "Context"
mypy/checker.py: note: In member "handle_cannot_determine_type" of class "TypeChecker":
mypy/checker.py:188: error: Incompatible types in assignment (expression has type None, variable has type "str")
mypy/checker.py: note: In member "accept" of class "TypeChecker":
mypy/checker.py:199: error: Argument 1 to "append" of "list" has incompatible type "Optional[Type]"; expected "Type"
mypy/checker.py: note: In member "check_func_item" of class "TypeChecker":
mypy/checker.py:446: error: Incompatible types in assignment (expression has type None, variable has type "FuncDef")
mypy/checker.py:462: error: Argument 3 to "check_func_def" of "TypeChecker" has incompatible type "Optional[str]"; expected "str"
mypy/checker.py: note: In member "check_func_def" of class "TypeChecker":
mypy/checker.py:490: error: Incompatible types in assignment (expression has type None, variable has type "FuncDef")
mypy/checker.py: note: In member "check_overlapping_op_methods" of class "TypeChecker":
mypy/checker.py:671: error: List item 0 has incompatible type None
mypy/checker.py:679: error: List item 0 has incompatible type None
mypy/checker.py: note: In member "check_getattr_method" of class "TypeChecker":
mypy/checker.py:725: error: List item 0 has incompatible type None
mypy/checker.py: note: In member "visit_block" of class "TypeChecker":
mypy/checker.py:972: error: Incompatible return value type (got None, expected "Type")
mypy/checker.py: note: In member "check_assignment" of class "TypeChecker":
mypy/checker.py:1021: error: Incompatible types in assignment (expression has type None, variable has type "Type")
mypy/checker.py: note: In member "check_assignment_to_multiple_lvalues" of class "TypeChecker":
mypy/checker.py:1076: error: "object" has no attribute "expr"
mypy/checker.py: note: In member "check_multi_assignment_from_tuple" of class "TypeChecker":
mypy/checker.py:1146: error: "object" has no attribute "expr"
mypy/checker.py: note: In member "lvalue_type_for_inference" of class "TypeChecker":
mypy/checker.py:1174: error: "object" has no attribute "expr"
mypy/checker.py: note: In member "check_lvalue" of class "TypeChecker":
mypy/checker.py:1222: error: Incompatible types in assignment (expression has type None, variable has type "Type")
mypy/checker.py:1223: error: Incompatible types in assignment (expression has type None, variable has type "IndexExpr")
mypy/checker.py:1224: error: Incompatible types in assignment (expression has type None, variable has type "Var")
mypy/checker.py: note: In member "visit_return_stmt" of class "TypeChecker":
mypy/checker.py:1430: error: Incompatible return value type (got None, expected "Type")
mypy/checker.py:1436: error: Incompatible return value type (got None, expected "Type")
mypy/checker.py:1449: error: Incompatible return value type (got None, expected "Type")
mypy/checker.py:1452: error: Incompatible return value type (got None, expected "Type")
mypy/checker.py:1455: error: Incompatible return value type (got None, expected "Type")
mypy/checker.py: note: In member "visit_if_stmt" of class "TypeChecker":
mypy/checker.py:1527: error: Incompatible return value type (got None, expected "Type")
mypy/checker.py: note: In member "visit_while_stmt" of class "TypeChecker":
mypy/checker.py:1531: error: Argument 3 to "IfStmt" has incompatible type None; expected "Block"
mypy/checker.py: note: In member "visit_try_stmt" of class "TypeChecker":
mypy/checker.py:1611: error: Incompatible return value type (got None, expected "Type")
mypy/checker.py: note: In member "visit_del_stmt" of class "TypeChecker":
mypy/checker.py:1759: error: List item 0 has incompatible type None
mypy/checker.py:1777: error: Incompatible return value type (got None, expected "Type")
mypy/checker.py: note: In member "visit_yield_from_expr" of class "TypeChecker":
mypy/checker.py:1875: error: Incompatible types in assignment (expression has type None, variable has type "Type")
mypy/checker.py: note: In member "visit_break_stmt" of class "TypeChecker":
mypy/checker.py:1923: error: Incompatible return value type (got None, expected "Type")
mypy/checker.py: note: In member "visit_continue_stmt" of class "TypeChecker":
mypy/checker.py:1928: error: Incompatible return value type (got None, expected "Type")
mypy/checker.py: note: In function "conditional_type_map":
mypy/checker.py:2275: error: Incompatible return value type (got "Tuple[Dict[Node, Type], None]", expected tuple(length 2))
mypy/checker.py:2277: error: Incompatible return value type (got "Tuple[None, Dict[Node, Type]]", expected tuple(length 2))
mypy/checker.py:2286: error: List item 0 has incompatible type "Tuple[Node, Optional[Type]]"
mypy/checker.py: note: In function "get_isinstance_type":
mypy/checker.py:2447: error: Incompatible return value type (got None, expected "Type")
mypy/checkexpr.py: note: In member "analyze_ref_expr" of class "ExpressionChecker":
mypy/checkexpr.py:82: error: Incompatible types in assignment (expression has type None, variable has type "Type")
mypy/checkexpr.py: note: In member "check_call" of class "ExpressionChecker":
mypy/checkexpr.py:233: error: Argument 2 to "map_actuals_to_formals" has incompatible type "Optional[List[str]]"; expected List[str]
mypy/checkexpr.py:248: error: Argument 4 to "check_argument_count" of "ExpressionChecker" has incompatible type "Optional[List[str]]"; expected List[str]
mypy/checkexpr.py:271: error: Argument 3 to "overload_call_target" of "ExpressionChecker" has incompatible type "Optional[List[str]]"; expected List[str]
mypy/checkexpr.py:288: error: Argument 8 to "analyze_member_access" has incompatible type Callable[[str, Context], None]; expected Callable[[str, Context], None]
mypy/checkexpr.py: note: In member "analyze_type_type_callee" of class "ExpressionChecker":
mypy/checkexpr.py:324: error: Incompatible types in assignment (expression has type None, variable has type "Type")
mypy/checkexpr.py:329: error: Incompatible types in assignment (expression has type None, variable has type "Type")
mypy/checkexpr.py: note: In member "infer_arg_types_in_context" of class "ExpressionChecker":
mypy/checkexpr.py:353: error: Incompatible types in assignment (expression has type None, variable has type "Type")
mypy/checkexpr.py:354: error: Incompatible types in assignment (expression has type None, variable has type "Type")
mypy/checkexpr.py: note: In member "infer_arg_types_in_context2" of class "ExpressionChecker":
mypy/checkexpr.py:381: error: List item 0 has incompatible type None
mypy/checkexpr.py: note: In member "infer_function_type_arguments_using_context" of class "ExpressionChecker":
mypy/checkexpr.py:431: error: Argument 1 to "append" of "list" has incompatible type None; expected "Type"
mypy/checkexpr.py: note: In member "infer_function_type_arguments_pass2" of class "ExpressionChecker":
mypy/checkexpr.py:524: error: No overload variant of "__setitem__" of "list" matches argument types [builtins.int, builtins.None]
mypy/checkexpr.py:531: error: Argument 2 to "infer_function_type_arguments" has incompatible type List[Type]; expected List[Optional[Type]]
mypy/checkexpr.py: note: In member "check_argument_types" of class "ExpressionChecker":
mypy/checkexpr.py:658: error: Incompatible types in assignment (expression has type union type (2 items), variable has type "Optional[Callable[[Type, Type, int, Type, int, int, CallableType, Context, MessageBuilder], None]]")
mypy/checkexpr.py:677: error: None not callable
mypy/checkexpr.py:691: error: None not callable
mypy/checkexpr.py: note: In member "erased_signature_similarity" of class "ExpressionChecker":
mypy/checkexpr.py:782: error: Argument 6 to "check_argument_count" of "ExpressionChecker" has incompatible type None; expected "Context"
mypy/checkexpr.py:801: error: Argument 6 to "check_argument_types" of "ExpressionChecker" has incompatible type Callable[[Type, Type, int, Type, int, int, CallableType, Context, MessageBuilder], None]; expected "Optional[Callable[[Type, Type, int, Type, int, int, CallableType, Context, MessageBuilder], None]]"
mypy/checkexpr.py: note: In member "match_signature_types" of class "ExpressionChecker":
mypy/checkexpr.py:831: error: Argument 6 to "check_argument_types" of "ExpressionChecker" has incompatible type Callable[[Type, Type, int, Type, int, int, CallableType, Context, MessageBuilder], None]; expected "Optional[Callable[[Type, Type, int, Type, int, int, CallableType, Context, MessageBuilder], None]]"
mypy/checkexpr.py: note: In member "analyze_external_member_access" of class "ExpressionChecker":
mypy/checkexpr.py:875: error: Argument 8 to "analyze_member_access" has incompatible type Callable[[str, Context], None]; expected Callable[[str, Context], None]
mypy/checkexpr.py: note: In member "visit_comparison_expr" of class "ExpressionChecker":
mypy/checkexpr.py:940: error: Incompatible types in assignment (expression has type None, variable has type "Type")
mypy/checkexpr.py:946: error: Incompatible types in assignment (expression has type None, variable has type "Type")
mypy/checkexpr.py:967: error: List item 0 has incompatible type None
mypy/checkexpr.py:984: error: Incompatible types in assignment (expression has type None, variable has type "Type")
mypy/checkexpr.py: note: In member "check_op_local" of class "ExpressionChecker":
mypy/checkexpr.py:1013: error: Argument 8 to "analyze_member_access" has incompatible type Callable[[str, Context], None]; expected Callable[[str, Context], None]
mypy/checkexpr.py: note: In member "check_boolean_op" of class "ExpressionChecker":
mypy/checkexpr.py:1099: error: Incompatible types in assignment (expression has type None, variable has type Dict[Node, Type])
mypy/checkexpr.py:1100: error: Incompatible types in assignment (expression has type None, variable has type Dict[Node, Type])
mypy/checkexpr.py: note: In member "visit_tuple_slice_helper" of class "ExpressionChecker":
mypy/checkexpr.py:1211: error: Incompatible types in assignment (expression has type None, variable has type "int")
mypy/checkexpr.py:1212: error: Incompatible types in assignment (expression has type None, variable has type "int")
mypy/checkexpr.py:1213: error: Incompatible types in assignment (expression has type None, variable has type "int")
mypy/checkexpr.py:1216: error: Incompatible types in assignment (expression has type "Optional[int]", variable has type "int")
mypy/checkexpr.py:1224: error: Incompatible types in assignment (expression has type "Optional[int]", variable has type "int")
mypy/checkexpr.py:1232: error: Incompatible types in assignment (expression has type "Optional[int]", variable has type "int")
mypy/checkexpr.py: note: In member "check_list_or_set_expr" of class "ExpressionChecker":
mypy/checkexpr.py:1298: error: List item 0 has incompatible type None
mypy/checkexpr.py: note: In member "visit_tuple_expr" of class "ExpressionChecker":
mypy/checkexpr.py:1309: error: Incompatible types in assignment (expression has type None, variable has type "TupleType")
mypy/checkexpr.py:1319: error: Incompatible types in assignment (expression has type None, variable has type "Type")
mypy/checkexpr.py: note: In member "visit_dict_expr" of class "ExpressionChecker":
mypy/checkexpr.py:1341: error: List item 0 has incompatible type None
mypy/checkexpr.py: note: In member "infer_lambda_type_using_context" of class "ExpressionChecker":
mypy/checkexpr.py:1389: error: Incompatible return value type (got None, expected "CallableType")
mypy/checkexpr.py:1413: error: Incompatible return value type (got None, expected "CallableType")
mypy/checkexpr.py: note: In member "analyze_super" of class "ExpressionChecker":
mypy/checkexpr.py:1438: error: Argument 8 to "analyze_member_access" has incompatible type Callable[[str, Context], None]; expected Callable[[str, Context], None]
mypy/checkexpr.py: note: In member "check_generator_or_comprehension" of class "ExpressionChecker":
mypy/checkexpr.py:1479: error: List item 0 has incompatible type None
mypy/checkexpr.py: note: In member "visit_dictionary_comprehension" of class "ExpressionChecker":
mypy/checkexpr.py:1500: error: List item 0 has incompatible type None
mypy/checkexpr.py:1500: error: List item 1 has incompatible type None
mypy/build.py: note: In function "list_dir":
mypy/build.py:519: error: Incompatible types in assignment (expression has type None, variable has type List[str])
mypy/build.py: note: In function "find_module":
mypy/build.py:585: error: Incompatible types in assignment (expression has type "Optional[str]", target has type "str")
mypy/build.py: note: In member "__init__" of class "State":
mypy/build.py:1038: error: Argument 1 to "find_module" has incompatible type "Optional[str]"; expected "str"
mypy/build.py:1051: error: Argument 1 to "skipping_ancestor" of "State" has incompatible type "Optional[str]"; expected "str"
mypy/build.py:1053: error: Argument 1 to "skipping_module" of "State" has incompatible type "Optional[str]"; expected "str"
mypy/build.py:1055: error: Argument 1 to "add" of "set" has incompatible type "Optional[str]"; expected "str"
mypy/build.py:1069: error: Argument 3 to "module_not_found" of "BuildManager" has incompatible type "Optional[str]"; expected "str"
mypy/build.py:1071: error: Argument 1 to "add" of "set" has incompatible type "Optional[str]"; expected "str"
mypy/build.py:1082: error: Argument 2 to "find_cache_meta" has incompatible type "Optional[str]"; expected "str"
mypy/build.py: note: In member "skipping_module" of class "State":
mypy/build.py:1120: error: Some element of union has no attribute "import_context"
mypy/build.py:1121: error: Some element of union has no attribute "xpath"
mypy/build.py: note: In member "wrap_context" of class "State":
mypy/build.py:1170: error: Yield value expected
mypy/build.py:1174: error: Argument 2 to "report_internal_error" has incompatible type "Optional[str]"; expected "str"
mypy/build.py: note: In member "load_tree" of class "State":
mypy/build.py:1181: error: Some element of union has no attribute "data_json"
mypy/build.py: note: In member "fix_cross_refs" of class "State":
mypy/build.py:1188: error: Argument 1 to "fixup_module_pass_one" has incompatible type "Optional[MypyFile]"; expected "MypyFile"
mypy/build.py: note: In member "calculate_mros" of class "State":
mypy/build.py:1191: error: Argument 1 to "fixup_module_pass_two" has incompatible type "Optional[MypyFile]"; expected "MypyFile"
mypy/build.py: note: In member "parse_file" of class "State":
mypy/build.py:1216: error: Argument 3 to "parse_file" of "BuildManager" has incompatible type "Optional[str]"; expected "str"
mypy/build.py: note: In member "semantic_analysis" of class "State":
mypy/build.py:1290: error: Argument 1 to "visit_file" of "SemanticAnalyzer" has incompatible type "Optional[MypyFile]"; expected "MypyFile"
mypy/build.py: note: In member "semantic_analysis_pass_three" of class "State":
mypy/build.py:1294: error: Argument 1 to "visit_file" of "ThirdPass" has incompatible type "Optional[MypyFile]"; expected "MypyFile"
mypy/build.py:1296: error: Argument 1 to "dump_type_stats" has incompatible type "Optional[MypyFile]"; expected "Node"
mypy/build.py: note: In member "type_check" of class "State":
mypy/build.py:1303: error: Argument 1 to "visit_file" of "TypeChecker" has incompatible type "Optional[MypyFile]"; expected "MypyFile"
mypy/build.py:1305: error: Argument 1 to "dump_type_stats" has incompatible type "Optional[MypyFile]"; expected "Node"
mypy/build.py:1307: error: Argument 1 to "report_file" of "BuildManager" has incompatible type "Optional[MypyFile]"; expected "MypyFile"
mypy/build.py: note: In member "write_cache" of class "State":
mypy/build.py:1312: error: Argument 3 to "write_cache" has incompatible type "Optional[MypyFile]"; expected "MypyFile"
mypy/build.py:1313: error: Argument 1 to "list" has incompatible type "Optional[Set[str]]"; expected Iterable[str]
mypy/build.py: note: In function "load_graph":
mypy/build.py:1352: error: Unsupported left operand type for + (some union)
mypy/build.py:1355: error: Unsupported right operand type for in (None)
mypy/build.py:1371: error: Unsupported right operand type for in (None)
mypy/build.py:1372: error: Some element of union has no attribute "add"
mypy/build.py: note: In function "process_graph":
mypy/build.py:1429: error: Some element of union has no attribute "data_mtime"
mypy/build.py:1430: error: Some element of union has no attribute "data_mtime"
mypy/build.py:1432: error: Some element of union has no attribute "data_mtime"
mypy/build.py:1435: error: Some element of union has no attribute "data_mtime"
mypy/build.py:1440: error: Some element of union has no attribute "data_mtime"
mypy/build.py:1444: error: Some element of union has no attribute "data_mtime"
mypy/test/testcheck.py: note: In member "cases" of class "TypeCheckSuite":
mypy/test/testcheck.py:75: error: Argument 2 to "parse_test_cases" has incompatible type Callable[[DataDrivenTestCase], None]; expected Callable[[DataDrivenTestCase], None]
mypy/test/testcheck.py: note: In member "run_test_once" of class "TypeCheckSuite":
mypy/test/testcheck.py:131: error: Incompatible types in assignment (expression has type None, variable has type "str")
mypy/test/testcheck.py:139: error: Incompatible types in assignment (expression has type None, variable has type "BuildResult")
mypy/stubgen.py: note: In function "generate_stub":
mypy/stubgen.py:172: error: Argument 3 to "parse" has incompatible type None; expected "Errors"
mypy/stubgen.py: note: In class "StubGenerator":
mypy/stubgen.py:216: error: Return type of "visit_mypy_file" incompatible with supertype "NodeVisitor"
mypy/stubgen.py:231: error: Return type of "visit_func_def" incompatible with supertype "NodeVisitor"
mypy/stubgen.py:284: error: Return type of "visit_decorator" incompatible with supertype "NodeVisitor"
mypy/stubgen.py:297: error: Return type of "visit_class_def" incompatible with supertype "NodeVisitor"
mypy/stubgen.py: note: In member "visit_class_def" of class "StubGenerator":
mypy/stubgen.py:302: error: Incompatible types in assignment (expression has type None, variable has type "int")
mypy/stubgen.py: note: In class "StubGenerator":
mypy/stubgen.py:335: error: Return type of "visit_assignment_stmt" incompatible with supertype "NodeVisitor"
mypy/stubgen.py:389: error: Return type of "visit_if_stmt" incompatible with supertype "NodeVisitor"
mypy/stubgen.py:400: error: Return type of "visit_import_all" incompatible with supertype "NodeVisitor"
mypy/stubgen.py:403: error: Return type of "visit_import_from" incompatible with supertype "NodeVisitor"
mypy/stubgen.py:440: error: Return type of "visit_import" incompatible with supertype "NodeVisitor"
mypy/stubgen.py: note: In member "get_init" of class "StubGenerator":
mypy/stubgen.py:458: error: Incompatible return value type (got None, expected "str")
mypy/stubgen.py:461: error: Incompatible return value type (got None, expected "str")
mypy/stubgen.py: note: In member "is_not_in_all" of class "StubGenerator":
mypy/stubgen.py:497: error: Unsupported right operand type for in (None)
mypy/stubgen.py: note: In member "find_self_initializers" of class "SelfTraverser":
mypy/stubgen.py:531: error: Return type of "visit_assignment_stmt" incompatible with supertype "NodeVisitor"
mypy/stubgen.py: note: In member "find_classes" of class "ClassTraverser":
mypy/stubgen.py:546: error: Return type of "visit_class_def" incompatible with supertype "NodeVisitor"
mypy/main.py: note: In function "main":
mypy/main.py:32: error: Incompatible types in assignment (expression has type None, variable has type "str")
mypy/main.py: note: In function "crawl_up":
mypy/main.py:346: error: Incompatible types in assignment (expression has type "Optional[str]", variable has type "str")
mypy/__main__.py: note: At top level:
mypy/__main__.py:5: error: Argument 1 to "main" has incompatible type None; expected "str"