Upgrading mypy 0.530 to 0.540
Unknown0.530 → 0.540
Fetching 1 release from GitHub…0 / 1
UnknownUpgrade verdict
DepDelta is still reading the notes for this range, so breaking changes can't be ruled out yet.
In plain terms
- DepDelta is still reading the release notes in this range, so it can't rule out breaking changes yet.
- This page updates as the notes come in.
Must act Still reading release notes
DepDelta is still reading the release notes in this range. This updates as they come in.
API changes
Generated by DepDelta from published Python source. Not mixed with prose notes.
- added:
field ConditionalTypeBinder.type_assignments - added:
method ConditionalTypeBinder.accumulate_type_assignments() -> Iterator[Assigns] - added:
variable Assigns - added:
variable MYPY
- changed:
method State.mark_interface_stale() -> None → method State.mark_interface_stale(*, on_errors: bool=…) -> None - added:
function delete_cache(id: str, path: str, manager: BuildManager) -> None
- changed:
method TypeChecker.check_multi_assignment(lvalues: List[Lvalue], rvalue: Expression, context: Context, infer_lvalue_type: bool=…, msg: Optional[str]=…) -> None → method TypeChecker.check_multi_assignment(lvalues: List[Lvalue], rvalue: Expression, context: Context, infer_lvalue_type: bool=…, rv_type: Optional[Type]=…, undefined_rvalue: bool=…) -> None - added:
field TypeChecker.no_partial_types - added:
function builtin_item_type(tp: Type) -> Optional[Type] - added:
method Scope.enclosing_class() -> Optional[TypeInfo] - added:
method TypeChecker.check_multi_assignment_from_union(lvalues: List[Expression], rvalue: Expression, rvalue_type: UnionType, context: Context, infer_lvalue_type: bool) -> None - added:
method TypeChecker.flatten_lvalues(lvalues: List[Expression]) -> List[Expression]
- added:
class HasUninhabitedComponentsQuery(types.TypeQuery[bool]) - added:
constructor HasUninhabitedComponentsQuery() -> None - added:
function has_uninhabited_component(t: Optional[Type]) -> bool - added:
method HasUninhabitedComponentsQuery.visit_uninhabited_type(t: UninhabitedType) -> bool
- removed:
function check_method_type(functype: FunctionLike, itype: Instance, is_classmethod: bool, context: Context, msg: MessageBuilder) -> None - added:
function check_self_arg(functype: FunctionLike, dispatched_arg_type: Type, is_classmethod: bool, context: Context, name: str, msg: MessageBuilder) -> None
- removed:
method MessageBuilder.invalid_class_method_type(sig: CallableType, context: Context) -> None - removed:
method MessageBuilder.invalid_method_type(sig: CallableType, context: Context) -> None - added:
method MessageBuilder.incompatible_self_argument(name: str, arg: Type, sig: CallableType, is_classmethod: bool, context: Context) -> None - added:
method MessageBuilder.no_formal_self(name: str, item: CallableType, context: Context) -> None
- removed:
field Argument.initialization_statement - removed:
field SymbolTableNode.mod_id - removed:
field TypeInfo.subtypes - changed:
constructor Argument(variable: Var, type_annotation: Optional[mypy.types.Type], initializer: Optional[Expression], kind: int, initialization_statement: Optional[AssignmentStmt]=…) -> None → constructor Argument(variable: Var, type_annotation: Optional[mypy.types.Type], initializer: Optional[Expression], kind: int) -> None - changed:
constructor SymbolTableNode(kind: int, node: Optional[SymbolNode], mod_id: Optional[str]=…, typ: Optional[mypy.types.Type]=…, module_public: bool=…, normalized: bool=…, alias_tvars: Optional[List[str]]=…, implicit: bool=…, module_hidden: bool=…) -> None → constructor SymbolTableNode(kind: int, node: Optional[SymbolNode], typ: Optional[mypy.types.Type]=…, module_public: bool=…, normalized: bool=…, alias_tvars: Optional[List[str]]=…, implicit: bool=…, module_hidden: bool=…) -> None
- removed:
class FirstPass(NodeVisitor[None]) - removed:
class ForwardReferenceResolver(TypeTranslator) - removed:
class SemanticAnalyzer(NodeVisitor[None]) - removed:
class ThirdPass(TraverserVisitor) - removed:
constructor FirstPass(sem: SemanticAnalyzer) -> None - removed:
constructor ForwardReferenceResolver(fail: Callable[[str, Context], None], start: Union[Node, SymbolTableNode], warn: bool) -> None - removed:
constructor SemanticAnalyzer(modules: Dict[str, MypyFile], missing_modules: Set[str], lib_path: List[str], errors: Errors, plugin: Plugin) -> None - removed:
constructor ThirdPass(modules: Dict[str, MypyFile], errors: Errors, sem: SemanticAnalyzer) -> None - removed:
field SemanticAnalyzer.block_depth - removed:
field SemanticAnalyzer.bound_tvars - removed:
field SemanticAnalyzer.cur_mod_id - removed:
field SemanticAnalyzer.errors - removed:
field SemanticAnalyzer.function_stack - removed:
field SemanticAnalyzer.global_decls - removed:
field SemanticAnalyzer.globals - removed:
field SemanticAnalyzer.imports - removed:
field SemanticAnalyzer.is_stub_file - removed:
field SemanticAnalyzer.is_typeshed_stub_file - removed:
field SemanticAnalyzer.lib_path - removed:
field SemanticAnalyzer.locals - removed:
field SemanticAnalyzer.loop_depth - removed:
field SemanticAnalyzer.modules - removed:
field SemanticAnalyzer.nonlocal_decls - removed:
field SemanticAnalyzer.options - removed:
field SemanticAnalyzer.plugin - removed:
field SemanticAnalyzer.postpone_nested_functions_stack - removed:
field SemanticAnalyzer.postponed_functions_stack - removed:
field SemanticAnalyzer.tvar_scope - removed:
field SemanticAnalyzer.type - removed:
field SemanticAnalyzer.type_stack - removed:
function add_protocol_members(typ: TypeInfo) -> None - removed:
function calculate_return_type(expr: Expression) -> Optional[Type] - removed:
function find_fixed_callable_return(expr: Expression) -> Optional[CallableType] - removed:
function is_identity_signature(sig: Type) -> bool - removed:
method FirstPass.analyze_lvalue(lvalue: Lvalue, explicit_type: bool=…) -> None - removed:
method FirstPass.kind_by_scope() -> int - removed:
method FirstPass.process_nested_classes(outer_def: ClassDef) -> None - removed:
method FirstPass.visit_assignment_stmt(s: AssignmentStmt) -> None - removed:
method FirstPass.visit_block(b: Block) -> None - removed:
method FirstPass.visit_class_def(cdef: ClassDef) -> None - removed:
method FirstPass.visit_decorator(d: Decorator) -> None - removed:
method FirstPass.visit_file(file: MypyFile, fnam: str, mod_id: str, options: Options) -> None - removed:
method FirstPass.visit_for_stmt(s: ForStmt) -> None - removed:
method FirstPass.visit_func_def(func: FuncDef) -> None - removed:
method FirstPass.visit_if_stmt(s: IfStmt) -> None - removed:
method FirstPass.visit_import(node: Import) -> None - removed:
method FirstPass.visit_import_all(node: ImportAll) -> None - removed:
method FirstPass.visit_import_from(node: ImportFrom) -> None - removed:
method FirstPass.visit_overloaded_func_def(func: OverloadedFuncDef) -> None - removed:
method FirstPass.visit_try_stmt(s: TryStmt) -> None - removed:
method FirstPass.visit_while_stmt(s: WhileStmt) -> None - removed:
method FirstPass.visit_with_stmt(s: WithStmt) -> None - removed:
method ForwardReferenceResolver.check_recursion(t: Type) -> bool - removed:
method ForwardReferenceResolver.visit_callable_type(t: CallableType) -> Type - removed:
method ForwardReferenceResolver.visit_forwardref_type(t: ForwardRef) -> Type - removed:
method ForwardReferenceResolver.visit_instance(t: Instance, from_fallback: bool=…) -> Type - removed:
method ForwardReferenceResolver.visit_overloaded(t: Overloaded) -> Type - removed:
method ForwardReferenceResolver.visit_tuple_type(t: TupleType) -> Type - removed:
method ForwardReferenceResolver.visit_type_type(t: TypeType) -> Type - removed:
method ForwardReferenceResolver.visit_type_var(t: TypeVarType) -> Type - removed:
method ForwardReferenceResolver.visit_typeddict_type(t: TypedDictType) -> Type - removed:
method ForwardReferenceResolver.visit_union_type(t: UnionType) -> Type - removed:
method SemanticAnalyzer.accept(node: Node) -> None - removed:
method SemanticAnalyzer.add_exports(*exps: Expression) -> None - removed:
method SemanticAnalyzer.add_fixture_note(fullname: str, ctx: Context) -> None - removed:
method SemanticAnalyzer.add_local(node: Union[Var, FuncDef, OverloadedFuncDef], ctx: Context) -> None - removed:
method SemanticAnalyzer.add_module_symbol(id: str, as_id: str, module_public: bool, context: Context, module_hidden: bool=…) -> None - removed:
method SemanticAnalyzer.add_submodules_to_parent_modules(id: str, module_public: bool) -> None - removed:
method SemanticAnalyzer.add_symbol(name: str, node: SymbolTableNode, context: Context) -> None - removed:
method SemanticAnalyzer.add_unknown_symbol(name: str, context: Context, is_import: bool=…) -> None - removed:
method SemanticAnalyzer.alias_fallback(tp: Type) -> Instance - removed:
method SemanticAnalyzer.anal_type(t: Type, *, tvar_scope: Optional[TypeVarScope]=…, allow_tuple_literal: bool=…, aliasing: bool=…, third_pass: bool=…) -> Type - removed:
method SemanticAnalyzer.analyze_alias(rvalue: Expression, allow_unnormalized: bool) -> Tuple[Optional[Type], List[str]] - removed:
method SemanticAnalyzer.analyze_base_classes(defn: ClassDef) -> None - removed:
method SemanticAnalyzer.analyze_class_body(defn: ClassDef) -> Iterator[bool] - removed:
method SemanticAnalyzer.analyze_class_decorator(defn: ClassDef, decorator: Expression) -> None - removed:
method SemanticAnalyzer.analyze_class_keywords(defn: ClassDef) -> None - removed:
method SemanticAnalyzer.analyze_comp_for(expr: Union[GeneratorExpr, DictionaryComprehension]) -> None - removed:
method SemanticAnalyzer.analyze_comp_for_2(expr: Union[GeneratorExpr, DictionaryComprehension]) -> None - removed:
method SemanticAnalyzer.analyze_function(defn: FuncItem) -> None - removed:
method SemanticAnalyzer.analyze_lvalue(lval: Lvalue, nested: bool=…, add_global: bool=…, explicit_type: bool=…) -> None - removed:
method SemanticAnalyzer.analyze_member_lvalue(lval: MemberExpr) -> None - removed:
method SemanticAnalyzer.analyze_metaclass(defn: ClassDef) -> None - removed:
method SemanticAnalyzer.analyze_namedtuple_classdef(defn: ClassDef) -> Optional[TypeInfo] - removed:
method SemanticAnalyzer.analyze_newtype_declaration(s: AssignmentStmt) -> Tuple[Optional[str], Optional[CallExpr]] - removed:
method SemanticAnalyzer.analyze_property_with_multi_part_definition(defn: OverloadedFuncDef) -> None - removed:
method SemanticAnalyzer.analyze_simple_literal_type(rvalue: Expression) -> Optional[Type] - removed:
method SemanticAnalyzer.analyze_try_stmt(s: TryStmt, visitor: NodeVisitor[None], add_global: bool=…) -> None - removed:
method SemanticAnalyzer.analyze_tuple_or_list_lvalue(lval: Union[ListExpr, TupleExpr], add_global: bool=…, explicit_type: bool=…) -> None - removed:
method SemanticAnalyzer.analyze_typeddict_classdef(defn: ClassDef) -> bool - removed:
method SemanticAnalyzer.analyze_types(items: List[Expression]) -> List[Type] - removed:
method SemanticAnalyzer.analyze_typevar_declaration(t: Type) -> Optional[TypeVarList] - removed:
method SemanticAnalyzer.analyze_unbound_tvar(t: Type) -> Tuple[str, TypeVarExpr] - removed:
method SemanticAnalyzer.basic_new_typeinfo(name: str, basetype_or_fallback: Instance) -> TypeInfo - removed:
method SemanticAnalyzer.build_enum_call_typeinfo(name: str, items: List[str], fullname: str) -> TypeInfo - removed:
method SemanticAnalyzer.build_namedtuple_typeinfo(name: str, items: List[str], types: List[Type], default_items: Dict[str, Expression]) -> TypeInfo - removed:
method SemanticAnalyzer.build_newtype_typeinfo(name: str, old_type: Type, base_type: Instance) -> TypeInfo - removed:
method SemanticAnalyzer.build_typeddict_typeinfo(name: str, items: List[str], types: List[Type], required_keys: Set[str]) -> TypeInfo - removed:
method SemanticAnalyzer.builtin_type(fully_qualified_name: str) -> Instance - removed:
method SemanticAnalyzer.calculate_abstract_status(typ: TypeInfo) -> None - removed:
method SemanticAnalyzer.check_and_set_up_type_alias(s: AssignmentStmt) -> None - removed:
method SemanticAnalyzer.check_classvar(s: AssignmentStmt) -> None - removed:
method SemanticAnalyzer.check_classvar_in_signature(typ: Type) -> None - removed:
method SemanticAnalyzer.check_decorated_function_is_method(decorator: str, context: Context) -> None - removed:
method SemanticAnalyzer.check_enum_call(node: Expression, var_name: str=…) -> Optional[TypeInfo] - removed:
method SemanticAnalyzer.check_fixed_args(expr: CallExpr, numargs: int, name: str) -> bool - removed:
method SemanticAnalyzer.check_for_obsolete_short_name(name: str, ctx: Context) -> None - removed:
method SemanticAnalyzer.check_function_signature(fdef: FuncItem) -> None - removed:
method SemanticAnalyzer.check_lvalue_validity(node: Union[Expression, SymbolNode], ctx: Context) -> None - removed:
method SemanticAnalyzer.check_namedtuple(node: Expression, var_name: str=…) -> Optional[TypeInfo] - removed:
method SemanticAnalyzer.check_namedtuple_classdef(defn: ClassDef) -> Tuple[List[str], List[Type], Dict[str, Expression]] - removed:
method SemanticAnalyzer.check_newtype_args(name: str, call: CallExpr, context: Context) -> Optional[Type] - removed:
method SemanticAnalyzer.check_no_global(n: str, ctx: Context, is_overloaded_func: bool=…) -> None - removed:
method SemanticAnalyzer.check_typeddict(node: Expression, var_name: str=…) -> Optional[TypeInfo] - removed:
method SemanticAnalyzer.check_typeddict_classdef(defn: ClassDef, oldfields: List[str]=…) -> Tuple[List[str], List[Type], Set[str]] - removed:
method SemanticAnalyzer.check_typevar_name(call: CallExpr, name: str, context: Context) -> bool - removed:
method SemanticAnalyzer.class_type(info: TypeInfo) -> Type - removed:
method SemanticAnalyzer.clean_up_bases_and_infer_type_variables(defn: ClassDef) -> None - removed:
method SemanticAnalyzer.correct_relative_import(node: Union[ImportFrom, ImportAll]) -> str - removed:
method SemanticAnalyzer.detect_protocol_base(defn: ClassDef) -> bool - removed:
method SemanticAnalyzer.enter() -> None - removed:
method SemanticAnalyzer.enter_class(info: TypeInfo) -> None - removed:
method SemanticAnalyzer.expr_to_analyzed_type(expr: Expression) -> Type - removed:
method SemanticAnalyzer.fail(msg: str, ctx: Context, serious: bool=…, *, blocker: bool=…) -> None - removed:
method SemanticAnalyzer.fail_blocker(msg: str, ctx: Context) -> None - removed:
method SemanticAnalyzer.fail_enum_call_arg(message: str, context: Context) -> Tuple[List[str], List[Optional[Expression]], bool] - removed:
method SemanticAnalyzer.fail_invalid_classvar(context: Context) -> None - removed:
method SemanticAnalyzer.fail_namedtuple_arg(message: str, context: Context) -> Tuple[List[str], List[Type], bool] - removed:
method SemanticAnalyzer.fail_typeddict_arg(message: str, context: Context) -> Tuple[List[str], List[Type], bool, bool] - removed:
method SemanticAnalyzer.file_context(file_node: MypyFile, fnam: str, options: Options, active_type: Optional[TypeInfo]) -> Iterator[None] - removed:
method SemanticAnalyzer.get_all_bases_tvars(defn: ClassDef, removed: List[int]) -> TypeVarList - removed:
method SemanticAnalyzer.get_typevar_declaration(s: AssignmentStmt) -> Optional[CallExpr] - removed:
method SemanticAnalyzer.is_base_class(t: TypeInfo, s: TypeInfo) -> bool - removed:
method SemanticAnalyzer.is_class_scope() -> bool - removed:
method SemanticAnalyzer.is_classvar(typ: Type) -> bool - removed:
method SemanticAnalyzer.is_func_scope() -> bool - removed:
method SemanticAnalyzer.is_module_scope() -> bool - removed:
method SemanticAnalyzer.is_self_member_ref(memberexpr: MemberExpr) -> bool - removed:
method SemanticAnalyzer.is_typeddict(expr: Expression) -> bool - removed:
method SemanticAnalyzer.is_valid_del_target(s: Expression) -> bool - removed:
method SemanticAnalyzer.leave() -> None - removed:
method SemanticAnalyzer.leave_class() -> None - removed:
method SemanticAnalyzer.lookup(name: str, ctx: Context, suppress_errors: bool=…) -> Optional[SymbolTableNode] - removed:
method SemanticAnalyzer.lookup_fully_qualified(name: str) -> SymbolTableNode - removed:
method SemanticAnalyzer.lookup_fully_qualified_or_none(name: str) -> Optional[SymbolTableNode] - removed:
method SemanticAnalyzer.lookup_qualified(name: str, ctx: Context, suppress_errors: bool=…) -> Optional[SymbolTableNode] - removed:
method SemanticAnalyzer.lookup_type_node(expr: Expression) -> Optional[SymbolTableNode] - removed:
method SemanticAnalyzer.make_argument(name: str, type: Type) -> Argument - removed:
method SemanticAnalyzer.name_already_defined(name: str, ctx: Context, original_ctx: Optional[SymbolTableNode]=…) -> None - removed:
method SemanticAnalyzer.name_not_defined(name: str, ctx: Context) -> None - removed:
method SemanticAnalyzer.named_type(qualified_name: str, args: List[Type]=…) -> Instance - removed:
method SemanticAnalyzer.named_type_or_none(qualified_name: str, args: List[Type]=…) -> Instance - removed:
method SemanticAnalyzer.normalize_type_alias(node: SymbolTableNode, ctx: Context) -> SymbolTableNode - removed:
method SemanticAnalyzer.note(msg: str, ctx: Context) -> None - removed:
method SemanticAnalyzer.object_type() -> Instance - removed:
method SemanticAnalyzer.parse_bool(expr: Expression) -> Optional[bool] - removed:
method SemanticAnalyzer.parse_enum_call_args(call: CallExpr, class_name: str) -> Tuple[List[str], List[Optional[Expression]], bool] - removed:
method SemanticAnalyzer.parse_namedtuple_args(call: CallExpr, fullname: str) -> Tuple[List[str], List[Type], bool] - removed:
method SemanticAnalyzer.parse_namedtuple_fields_with_types(nodes: List[Expression], context: Context) -> Tuple[List[str], List[Type], bool] - removed:
method SemanticAnalyzer.parse_typeddict_args(call: CallExpr, fullname: str) -> Tuple[List[str], List[Type], bool, bool] - removed:
method SemanticAnalyzer.parse_typeddict_fields_with_types(dict_items: List[Tuple[Expression, Expression]], context: Context) -> Tuple[List[str], List[Type], bool] - removed:
method SemanticAnalyzer.prepare_method_signature(func: FuncDef) -> None - removed:
method SemanticAnalyzer.process_enum_call(s: AssignmentStmt) -> None - removed:
method SemanticAnalyzer.process_import_over_existing_name(imported_id: str, existing_symbol: SymbolTableNode, module_symbol: SymbolTableNode, import_node: ImportBase) -> bool - removed:
method SemanticAnalyzer.process_module_assignment(lvals: List[Expression], rval: Expression, ctx: AssignmentStmt) -> None - removed:
method SemanticAnalyzer.process_namedtuple_definition(s: AssignmentStmt) -> None - removed:
method SemanticAnalyzer.process_newtype_declaration(s: AssignmentStmt) -> None - removed:
method SemanticAnalyzer.process_typeddict_definition(s: AssignmentStmt) -> None - removed:
method SemanticAnalyzer.process_typevar_declaration(s: AssignmentStmt) -> None - removed:
method SemanticAnalyzer.process_typevar_parameters(args: List[Expression], names: List[Optional[str]], kinds: List[int], num_values: int, context: Context) -> Optional[Tuple[int, Type]] - removed:
method SemanticAnalyzer.qualified_name(n: str) -> str - removed:
method SemanticAnalyzer.refresh_class_def(defn: ClassDef) -> None - removed:
method SemanticAnalyzer.refresh_partial(node: Union[MypyFile, FuncItem]) -> None - removed:
method SemanticAnalyzer.refresh_top_level(file_node: MypyFile) -> None - removed:
method SemanticAnalyzer.set_original_def(previous: Node, new: FuncDef) -> bool - removed:
method SemanticAnalyzer.setup_class_def_analysis(defn: ClassDef) -> None - removed:
method SemanticAnalyzer.setup_type_promotion(defn: ClassDef) -> None - removed:
method SemanticAnalyzer.store_declared_types(lvalue: Lvalue, typ: Type) -> None - removed:
method SemanticAnalyzer.str_type() -> Instance - removed:
method SemanticAnalyzer.translate_dict_call(call: CallExpr) -> Optional[DictExpr] - removed:
method SemanticAnalyzer.tvar_scope_frame(frame: TypeVarScope) -> Iterator[None] - removed:
method SemanticAnalyzer.type_analyzer(*, tvar_scope: Optional[TypeVarScope]=…, allow_tuple_literal: bool=…, aliasing: bool=…, third_pass: bool=…) -> TypeAnalyser - removed:
method SemanticAnalyzer.undefined_name_extra_info(fullname: str) -> Optional[str] - removed:
method SemanticAnalyzer.update_function_type_variables(fun_type: CallableType, defn: FuncItem) -> None - removed:
method SemanticAnalyzer.update_metaclass(defn: ClassDef) -> None - removed:
method SemanticAnalyzer.verify_base_classes(defn: ClassDef) -> bool - removed:
method SemanticAnalyzer.visit__promote_expr(expr: PromoteExpr) -> None - removed:
method SemanticAnalyzer.visit_assert_stmt(s: AssertStmt) -> None - removed:
method SemanticAnalyzer.visit_assignment_stmt(s: AssignmentStmt) -> None - removed:
method SemanticAnalyzer.visit_await_expr(expr: AwaitExpr) -> None - removed:
method SemanticAnalyzer.visit_backquote_expr(expr: BackquoteExpr) -> None - removed:
method SemanticAnalyzer.visit_block(b: Block) -> None - removed:
method SemanticAnalyzer.visit_block_maybe(b: Block) -> None - removed:
method SemanticAnalyzer.visit_break_stmt(s: BreakStmt) -> None - removed:
method SemanticAnalyzer.visit_call_expr(expr: CallExpr) -> None - removed:
method SemanticAnalyzer.visit_cast_expr(expr: CastExpr) -> None - removed:
method SemanticAnalyzer.visit_class_def(defn: ClassDef) -> None - removed:
method SemanticAnalyzer.visit_comparison_expr(expr: ComparisonExpr) -> None - removed:
method SemanticAnalyzer.visit_conditional_expr(expr: ConditionalExpr) -> None - removed:
method SemanticAnalyzer.visit_continue_stmt(s: ContinueStmt) -> None - removed:
method SemanticAnalyzer.visit_decorator(dec: Decorator) -> None - removed:
method SemanticAnalyzer.visit_del_stmt(s: DelStmt) -> None - removed:
method SemanticAnalyzer.visit_dict_expr(expr: DictExpr) -> None - removed:
method SemanticAnalyzer.visit_dictionary_comprehension(expr: DictionaryComprehension) -> None - removed:
method SemanticAnalyzer.visit_exec_stmt(s: ExecStmt) -> None - removed:
method SemanticAnalyzer.visit_expression_stmt(s: ExpressionStmt) -> None - removed:
method SemanticAnalyzer.visit_file(file_node: MypyFile, fnam: str, options: Options, patches: List[Callable[[], None]]) -> None - removed:
method SemanticAnalyzer.visit_for_stmt(s: ForStmt) -> None - removed:
method SemanticAnalyzer.visit_func_def(defn: FuncDef) -> None - removed:
method SemanticAnalyzer.visit_generator_expr(expr: GeneratorExpr) -> None - removed:
method SemanticAnalyzer.visit_global_decl(g: GlobalDecl) -> None - removed:
method SemanticAnalyzer.visit_if_stmt(s: IfStmt) -> None - removed:
method SemanticAnalyzer.visit_import(i: Import) -> None - removed:
method SemanticAnalyzer.visit_import_all(i: ImportAll) -> None - removed:
method SemanticAnalyzer.visit_import_from(imp: ImportFrom) -> None - removed:
method SemanticAnalyzer.visit_index_expr(expr: IndexExpr) -> None - removed:
method SemanticAnalyzer.visit_lambda_expr(expr: LambdaExpr) -> None - removed:
method SemanticAnalyzer.visit_list_comprehension(expr: ListComprehension) -> None - removed:
method SemanticAnalyzer.visit_list_expr(expr: ListExpr) -> None - removed:
method SemanticAnalyzer.visit_member_expr(expr: MemberExpr) -> None - removed:
method SemanticAnalyzer.visit_name_expr(expr: NameExpr) -> None - removed:
method SemanticAnalyzer.visit_nonlocal_decl(d: NonlocalDecl) -> None - removed:
method SemanticAnalyzer.visit_op_expr(expr: OpExpr) -> None - removed:
method SemanticAnalyzer.visit_operator_assignment_stmt(s: OperatorAssignmentStmt) -> None - removed:
method SemanticAnalyzer.visit_overloaded_func_def(defn: OverloadedFuncDef) -> None - removed:
method SemanticAnalyzer.visit_print_stmt(s: PrintStmt) -> None - removed:
method SemanticAnalyzer.visit_raise_stmt(s: RaiseStmt) -> None - removed:
method SemanticAnalyzer.visit_return_stmt(s: ReturnStmt) -> None - removed:
method SemanticAnalyzer.visit_reveal_type_expr(expr: RevealTypeExpr) -> None - removed:
method SemanticAnalyzer.visit_set_comprehension(expr: SetComprehension) -> None - removed:
method SemanticAnalyzer.visit_set_expr(expr: SetExpr) -> None - removed:
method SemanticAnalyzer.visit_slice_expr(expr: SliceExpr) -> None - removed:
method SemanticAnalyzer.visit_star_expr(expr: StarExpr) -> None - removed:
method SemanticAnalyzer.visit_super_expr(expr: SuperExpr) -> None - removed:
method SemanticAnalyzer.visit_try_stmt(s: TryStmt) -> None - removed:
method SemanticAnalyzer.visit_tuple_expr(expr: TupleExpr) -> None - removed:
method SemanticAnalyzer.visit_type_application(expr: TypeApplication) -> None - removed:
method SemanticAnalyzer.visit_unary_expr(expr: UnaryExpr) -> None - removed:
method SemanticAnalyzer.visit_while_stmt(s: WhileStmt) -> None - removed:
method SemanticAnalyzer.visit_with_stmt(s: WithStmt) -> None - removed:
method SemanticAnalyzer.visit_yield_expr(expr: YieldExpr) -> None - removed:
method SemanticAnalyzer.visit_yield_from_expr(e: YieldFromExpr) -> None - removed:
method ThirdPass.accept(node: Node) -> None - removed:
method ThirdPass.analyze(type: Optional[Type], node: Union[Node, SymbolTableNode], warn: bool=…) -> None - removed:
method ThirdPass.analyze_types(types: List[Type], node: Node) -> None - removed:
method ThirdPass.builtin_type(name: str, args: List[Type]=…) -> Instance - removed:
method ThirdPass.check_for_omitted_generics(typ: Type) -> None - removed:
method ThirdPass.fail(msg: str, ctx: Context, *, blocker: bool=…) -> None - removed:
method ThirdPass.fail_blocker(msg: str, ctx: Context) -> None - removed:
method ThirdPass.make_type_analyzer(indicator: Dict[str, bool]) -> TypeAnalyserPass3 - removed:
method ThirdPass.perform_transform(node: Union[Node, SymbolTableNode], transform: Callable[[Type], Type]) -> None - removed:
method ThirdPass.refresh_partial(node: Union[MypyFile, FuncItem]) -> None - removed:
method ThirdPass.refresh_top_level(file_node: MypyFile) -> None - removed:
method ThirdPass.transform_types_in_lvalue(lvalue: Lvalue, transform: Callable[[Type], Type]) -> None - removed:
method ThirdPass.visit_assignment_stmt(s: AssignmentStmt) -> None - removed:
method ThirdPass.visit_block(b: Block) -> None - removed:
method ThirdPass.visit_cast_expr(e: CastExpr) -> None - removed:
method ThirdPass.visit_class_def(tdef: ClassDef) -> None - removed:
method ThirdPass.visit_decorator(dec: Decorator) -> None - removed:
method ThirdPass.visit_file(file_node: MypyFile, fnam: str, options: Options, patches: List[Callable[[], None]]) -> None - removed:
method ThirdPass.visit_for_stmt(s: ForStmt) -> None - removed:
method ThirdPass.visit_func_def(fdef: FuncDef) -> None - removed:
method ThirdPass.visit_reveal_type_expr(e: RevealTypeExpr) -> None - removed:
method ThirdPass.visit_type_application(e: TypeApplication) -> None - removed:
method ThirdPass.visit_with_stmt(s: WithStmt) -> None - added:
class SemanticAnalyzerPass2(NodeVisitor[None]) - added:
constructor SemanticAnalyzerPass2(modules: Dict[str, MypyFile], missing_modules: Set[str], lib_path: List[str], errors: Errors, plugin: Plugin) -> None - added:
field SemanticAnalyzerPass2.block_depth - added:
field SemanticAnalyzerPass2.bound_tvars - added:
field SemanticAnalyzerPass2.cur_mod_id - added:
field SemanticAnalyzerPass2.errors - added:
field SemanticAnalyzerPass2.function_stack - added:
field SemanticAnalyzerPass2.global_decls - added:
field SemanticAnalyzerPass2.globals - added:
field SemanticAnalyzerPass2.imports - added:
field SemanticAnalyzerPass2.is_stub_file - added:
field SemanticAnalyzerPass2.is_typeshed_stub_file - added:
field SemanticAnalyzerPass2.lib_path - added:
field SemanticAnalyzerPass2.locals - added:
field SemanticAnalyzerPass2.loop_depth - added:
field SemanticAnalyzerPass2.modules - added:
field SemanticAnalyzerPass2.nonlocal_decls - added:
field SemanticAnalyzerPass2.options - added:
field SemanticAnalyzerPass2.plugin - added:
field SemanticAnalyzerPass2.postpone_nested_functions_stack - added:
field SemanticAnalyzerPass2.postponed_functions_stack - added:
field SemanticAnalyzerPass2.tvar_scope - added:
field SemanticAnalyzerPass2.type - added:
field SemanticAnalyzerPass2.type_stack - added:
method SemanticAnalyzerPass2.accept(node: Node) -> None - added:
method SemanticAnalyzerPass2.add_exports(*exps: Expression) -> None - added:
method SemanticAnalyzerPass2.add_fixture_note(fullname: str, ctx: Context) -> None - added:
method SemanticAnalyzerPass2.add_local(node: Union[Var, FuncDef, OverloadedFuncDef], ctx: Context) -> None - added:
method SemanticAnalyzerPass2.add_module_symbol(id: str, as_id: str, module_public: bool, context: Context, module_hidden: bool=…) -> None - added:
method SemanticAnalyzerPass2.add_submodules_to_parent_modules(id: str, module_public: bool) -> None - added:
method SemanticAnalyzerPass2.add_symbol(name: str, node: SymbolTableNode, context: Context) -> None - added:
method SemanticAnalyzerPass2.add_unknown_symbol(name: str, context: Context, is_import: bool=…) -> None - added:
method SemanticAnalyzerPass2.alias_fallback(tp: Type) -> Instance - added:
method SemanticAnalyzerPass2.anal_type(t: Type, *, tvar_scope: Optional[TypeVarScope]=…, allow_tuple_literal: bool=…, aliasing: bool=…, third_pass: bool=…) -> Type - added:
method SemanticAnalyzerPass2.analyze_alias(rvalue: Expression, warn_bound_tvar: bool=…) -> Tuple[Optional[Type], List[str]] - added:
method SemanticAnalyzerPass2.analyze_base_classes(defn: ClassDef) -> None - added:
method SemanticAnalyzerPass2.analyze_class_body(defn: ClassDef) -> Iterator[bool] - added:
method SemanticAnalyzerPass2.analyze_class_decorator(defn: ClassDef, decorator: Expression) -> None - added:
method SemanticAnalyzerPass2.analyze_class_keywords(defn: ClassDef) -> None - added:
method SemanticAnalyzerPass2.analyze_comp_for(expr: Union[GeneratorExpr, DictionaryComprehension]) -> None - added:
method SemanticAnalyzerPass2.analyze_comp_for_2(expr: Union[GeneratorExpr, DictionaryComprehension]) -> None - added:
method SemanticAnalyzerPass2.analyze_function(defn: FuncItem) -> None - added:
method SemanticAnalyzerPass2.analyze_lvalue(lval: Lvalue, nested: bool=…, add_global: bool=…, explicit_type: bool=…) -> None - added:
method SemanticAnalyzerPass2.analyze_member_lvalue(lval: MemberExpr) -> None - added:
method SemanticAnalyzerPass2.analyze_metaclass(defn: ClassDef) -> None - added:
method SemanticAnalyzerPass2.analyze_namedtuple_classdef(defn: ClassDef) -> Optional[TypeInfo] - added:
method SemanticAnalyzerPass2.analyze_newtype_declaration(s: AssignmentStmt) -> Tuple[Optional[str], Optional[CallExpr]] - added:
method SemanticAnalyzerPass2.analyze_property_with_multi_part_definition(defn: OverloadedFuncDef) -> None - added:
method SemanticAnalyzerPass2.analyze_simple_literal_type(rvalue: Expression) -> Optional[Type] - added:
method SemanticAnalyzerPass2.analyze_try_stmt(s: TryStmt, visitor: NodeVisitor[None], add_global: bool=…) -> None - added:
method SemanticAnalyzerPass2.analyze_tuple_or_list_lvalue(lval: Union[ListExpr, TupleExpr], add_global: bool=…, explicit_type: bool=…) -> None - added:
method SemanticAnalyzerPass2.analyze_typeddict_classdef(defn: ClassDef) -> bool - added:
method SemanticAnalyzerPass2.analyze_types(items: List[Expression]) -> List[Type] - added:
method SemanticAnalyzerPass2.analyze_typevar_declaration(t: Type) -> Optional[TypeVarList] - added:
method SemanticAnalyzerPass2.analyze_unbound_tvar(t: Type) -> Tuple[str, TypeVarExpr] - added:
method SemanticAnalyzerPass2.basic_new_typeinfo(name: str, basetype_or_fallback: Instance) -> TypeInfo - added:
method SemanticAnalyzerPass2.build_enum_call_typeinfo(name: str, items: List[str], fullname: str) -> TypeInfo - added:
method SemanticAnalyzerPass2.build_namedtuple_typeinfo(name: str, items: List[str], types: List[Type], default_items: Dict[str, Expression]) -> TypeInfo - added:
method SemanticAnalyzerPass2.build_newtype_typeinfo(name: str, old_type: Type, base_type: Instance) -> TypeInfo - added:
method SemanticAnalyzerPass2.build_typeddict_typeinfo(name: str, items: List[str], types: List[Type], required_keys: Set[str]) -> TypeInfo - added:
method SemanticAnalyzerPass2.builtin_type(fully_qualified_name: str) -> Instance - added:
method SemanticAnalyzerPass2.calculate_abstract_status(typ: TypeInfo) -> None - added:
method SemanticAnalyzerPass2.check_and_set_up_type_alias(s: AssignmentStmt) -> None - added:
method SemanticAnalyzerPass2.check_classvar(s: AssignmentStmt) -> None - added:
method SemanticAnalyzerPass2.check_classvar_in_signature(typ: Type) -> None - added:
method SemanticAnalyzerPass2.check_decorated_function_is_method(decorator: str, context: Context) -> None - added:
method SemanticAnalyzerPass2.check_enum_call(node: Expression, var_name: str=…) -> Optional[TypeInfo] - added:
method SemanticAnalyzerPass2.check_fixed_args(expr: CallExpr, numargs: int, name: str) -> bool - added:
method SemanticAnalyzerPass2.check_for_obsolete_short_name(name: str, ctx: Context) -> None - added:
method SemanticAnalyzerPass2.check_function_signature(fdef: FuncItem) -> None - added:
method SemanticAnalyzerPass2.check_lvalue_validity(node: Union[Expression, SymbolNode], ctx: Context) -> None - added:
method SemanticAnalyzerPass2.check_namedtuple(node: Expression, var_name: str=…) -> Optional[TypeInfo] - added:
method SemanticAnalyzerPass2.check_namedtuple_classdef(defn: ClassDef) -> Tuple[List[str], List[Type], Dict[str, Expression]] - added:
method SemanticAnalyzerPass2.check_newtype_args(name: str, call: CallExpr, context: Context) -> Optional[Type] - added:
method SemanticAnalyzerPass2.check_no_global(n: str, ctx: Context, is_overloaded_func: bool=…) -> None - added:
method SemanticAnalyzerPass2.check_typeddict(node: Expression, var_name: str=…) -> Optional[TypeInfo] - added:
method SemanticAnalyzerPass2.check_typeddict_classdef(defn: ClassDef, oldfields: List[str]=…) -> Tuple[List[str], List[Type], Set[str]] - added:
method SemanticAnalyzerPass2.check_typevar_name(call: CallExpr, name: str, context: Context) -> bool - added:
method SemanticAnalyzerPass2.class_type(info: TypeInfo) -> Type - added:
method SemanticAnalyzerPass2.clean_up_bases_and_infer_type_variables(defn: ClassDef) -> None - added:
method SemanticAnalyzerPass2.correct_relative_import(node: Union[ImportFrom, ImportAll]) -> str - added:
method SemanticAnalyzerPass2.detect_protocol_base(defn: ClassDef) -> bool - added:
method SemanticAnalyzerPass2.enter() -> None - added:
method SemanticAnalyzerPass2.enter_class(info: TypeInfo) -> None - added:
method SemanticAnalyzerPass2.expr_to_analyzed_type(expr: Expression) -> Type - added:
method SemanticAnalyzerPass2.fail(msg: str, ctx: Context, serious: bool=…, *, blocker: bool=…) -> None - added:
method SemanticAnalyzerPass2.fail_blocker(msg: str, ctx: Context) -> None - added:
method SemanticAnalyzerPass2.fail_enum_call_arg(message: str, context: Context) -> Tuple[List[str], List[Optional[Expression]], bool] - added:
method SemanticAnalyzerPass2.fail_invalid_classvar(context: Context) -> None - added:
method SemanticAnalyzerPass2.fail_namedtuple_arg(message: str, context: Context) -> Tuple[List[str], List[Type], bool] - added:
method SemanticAnalyzerPass2.fail_typeddict_arg(message: str, context: Context) -> Tuple[List[str], List[Type], bool, bool] - added:
method SemanticAnalyzerPass2.file_context(file_node: MypyFile, fnam: str, options: Options, active_type: Optional[TypeInfo]) -> Iterator[None] - added:
method SemanticAnalyzerPass2.get_all_bases_tvars(defn: ClassDef, removed: List[int]) -> TypeVarList - added:
method SemanticAnalyzerPass2.get_typevar_declaration(s: AssignmentStmt) -> Optional[CallExpr] - added:
method SemanticAnalyzerPass2.is_base_class(t: TypeInfo, s: TypeInfo) -> bool - added:
method SemanticAnalyzerPass2.is_class_scope() -> bool - added:
method SemanticAnalyzerPass2.is_classvar(typ: Type) -> bool - added:
method SemanticAnalyzerPass2.is_func_scope() -> bool - added:
method SemanticAnalyzerPass2.is_module_scope() -> bool - added:
method SemanticAnalyzerPass2.is_self_member_ref(memberexpr: MemberExpr) -> bool - added:
method SemanticAnalyzerPass2.is_typeddict(expr: Expression) -> bool - added:
method SemanticAnalyzerPass2.is_valid_del_target(s: Expression) -> bool - added:
method SemanticAnalyzerPass2.leave() -> None - added:
method SemanticAnalyzerPass2.leave_class() -> None - added:
method SemanticAnalyzerPass2.lookup(name: str, ctx: Context, suppress_errors: bool=…) -> Optional[SymbolTableNode] - added:
method SemanticAnalyzerPass2.lookup_fully_qualified(name: str) -> SymbolTableNode - added:
method SemanticAnalyzerPass2.lookup_fully_qualified_or_none(name: str) -> Optional[SymbolTableNode] - added:
method SemanticAnalyzerPass2.lookup_qualified(name: str, ctx: Context, suppress_errors: bool=…) -> Optional[SymbolTableNode] - added:
method SemanticAnalyzerPass2.lookup_type_node(expr: Expression) -> Optional[SymbolTableNode] - added:
method SemanticAnalyzerPass2.make_argument(name: str, type: Type) -> Argument - added:
method SemanticAnalyzerPass2.name_already_defined(name: str, ctx: Context, original_ctx: Optional[SymbolTableNode]=…) -> None - added:
method SemanticAnalyzerPass2.name_not_defined(name: str, ctx: Context) -> None - added:
method SemanticAnalyzerPass2.named_type(qualified_name: str, args: List[Type]=…) -> Instance - added:
method SemanticAnalyzerPass2.named_type_or_none(qualified_name: str, args: List[Type]=…) -> Instance - added:
method SemanticAnalyzerPass2.normalize_type_alias(node: SymbolTableNode, ctx: Context) -> SymbolTableNode - added:
method SemanticAnalyzerPass2.note(msg: str, ctx: Context) -> None - added:
method SemanticAnalyzerPass2.object_type() -> Instance - added:
method SemanticAnalyzerPass2.parse_bool(expr: Expression) -> Optional[bool] - added:
method SemanticAnalyzerPass2.parse_enum_call_args(call: CallExpr, class_name: str) -> Tuple[List[str], List[Optional[Expression]], bool] - added:
method SemanticAnalyzerPass2.parse_namedtuple_args(call: CallExpr, fullname: str) -> Tuple[List[str], List[Type], bool] - added:
method SemanticAnalyzerPass2.parse_namedtuple_fields_with_types(nodes: List[Expression], context: Context) -> Tuple[List[str], List[Type], bool] - added:
method SemanticAnalyzerPass2.parse_typeddict_args(call: CallExpr, fullname: str) -> Tuple[List[str], List[Type], bool, bool] - added:
method SemanticAnalyzerPass2.parse_typeddict_fields_with_types(dict_items: List[Tuple[Expression, Expression]], context: Context) -> Tuple[List[str], List[Type], bool] - added:
method SemanticAnalyzerPass2.prepare_method_signature(func: FuncDef) -> None - added:
method SemanticAnalyzerPass2.process_enum_call(s: AssignmentStmt) -> None - added:
method SemanticAnalyzerPass2.process_import_over_existing_name(imported_id: str, existing_symbol: SymbolTableNode, module_symbol: SymbolTableNode, import_node: ImportBase) -> bool - added:
method SemanticAnalyzerPass2.process_module_assignment(lvals: List[Expression], rval: Expression, ctx: AssignmentStmt) -> None - added:
method SemanticAnalyzerPass2.process_namedtuple_definition(s: AssignmentStmt) -> None - added:
method SemanticAnalyzerPass2.process_newtype_declaration(s: AssignmentStmt) -> None - added:
method SemanticAnalyzerPass2.process_typeddict_definition(s: AssignmentStmt) -> None - added:
method SemanticAnalyzerPass2.process_typevar_declaration(s: AssignmentStmt) -> None - added:
method SemanticAnalyzerPass2.process_typevar_parameters(args: List[Expression], names: List[Optional[str]], kinds: List[int], num_values: int, context: Context) -> Optional[Tuple[int, Type]] - added:
method SemanticAnalyzerPass2.qualified_name(n: str) -> str - added:
method SemanticAnalyzerPass2.refresh_class_def(defn: ClassDef) -> None - added:
method SemanticAnalyzerPass2.refresh_partial(node: Union[MypyFile, FuncItem]) -> None - added:
method SemanticAnalyzerPass2.refresh_top_level(file_node: MypyFile) -> None - added:
method SemanticAnalyzerPass2.set_original_def(previous: Node, new: FuncDef) -> bool - added:
method SemanticAnalyzerPass2.setup_class_def_analysis(defn: ClassDef) -> None - added:
method SemanticAnalyzerPass2.setup_type_promotion(defn: ClassDef) -> None - added:
method SemanticAnalyzerPass2.store_declared_types(lvalue: Lvalue, typ: Type) -> None - added:
method SemanticAnalyzerPass2.str_type() -> Instance - added:
method SemanticAnalyzerPass2.translate_dict_call(call: CallExpr) -> Optional[DictExpr] - added:
method SemanticAnalyzerPass2.tvar_scope_frame(frame: TypeVarScope) -> Iterator[None] - added:
method SemanticAnalyzerPass2.type_analyzer(*, tvar_scope: Optional[TypeVarScope]=…, allow_tuple_literal: bool=…, aliasing: bool=…, third_pass: bool=…) -> TypeAnalyser - added:
method SemanticAnalyzerPass2.undefined_name_extra_info(fullname: str) -> Optional[str] - added:
method SemanticAnalyzerPass2.update_function_type_variables(fun_type: CallableType, defn: FuncItem) -> None - added:
method SemanticAnalyzerPass2.update_metaclass(defn: ClassDef) -> None - added:
method SemanticAnalyzerPass2.verify_base_classes(defn: ClassDef) -> bool - added:
method SemanticAnalyzerPass2.visit__promote_expr(expr: PromoteExpr) -> None - added:
method SemanticAnalyzerPass2.visit_assert_stmt(s: AssertStmt) -> None - added:
method SemanticAnalyzerPass2.visit_assignment_stmt(s: AssignmentStmt) -> None - added:
method SemanticAnalyzerPass2.visit_await_expr(expr: AwaitExpr) -> None - added:
method SemanticAnalyzerPass2.visit_backquote_expr(expr: BackquoteExpr) -> None - added:
method SemanticAnalyzerPass2.visit_block(b: Block) -> None - added:
method SemanticAnalyzerPass2.visit_block_maybe(b: Block) -> None - added:
method SemanticAnalyzerPass2.visit_break_stmt(s: BreakStmt) -> None - added:
method SemanticAnalyzerPass2.visit_call_expr(expr: CallExpr) -> None - added:
method SemanticAnalyzerPass2.visit_cast_expr(expr: CastExpr) -> None - added:
method SemanticAnalyzerPass2.visit_class_def(defn: ClassDef) -> None - added:
method SemanticAnalyzerPass2.visit_comparison_expr(expr: ComparisonExpr) -> None - added:
method SemanticAnalyzerPass2.visit_conditional_expr(expr: ConditionalExpr) -> None - added:
method SemanticAnalyzerPass2.visit_continue_stmt(s: ContinueStmt) -> None - added:
method SemanticAnalyzerPass2.visit_decorator(dec: Decorator) -> None - added:
method SemanticAnalyzerPass2.visit_del_stmt(s: DelStmt) -> None - added:
method SemanticAnalyzerPass2.visit_dict_expr(expr: DictExpr) -> None - added:
method SemanticAnalyzerPass2.visit_dictionary_comprehension(expr: DictionaryComprehension) -> None - added:
method SemanticAnalyzerPass2.visit_exec_stmt(s: ExecStmt) -> None - added:
method SemanticAnalyzerPass2.visit_expression_stmt(s: ExpressionStmt) -> None - added:
method SemanticAnalyzerPass2.visit_file(file_node: MypyFile, fnam: str, options: Options, patches: List[Callable[[], None]]) -> None - added:
method SemanticAnalyzerPass2.visit_for_stmt(s: ForStmt) -> None - added:
method SemanticAnalyzerPass2.visit_func_def(defn: FuncDef) -> None - added:
method SemanticAnalyzerPass2.visit_generator_expr(expr: GeneratorExpr) -> None - added:
method SemanticAnalyzerPass2.visit_global_decl(g: GlobalDecl) -> None - added:
method SemanticAnalyzerPass2.visit_if_stmt(s: IfStmt) -> None - added:
method SemanticAnalyzerPass2.visit_import(i: Import) -> None - added:
method SemanticAnalyzerPass2.visit_import_all(i: ImportAll) -> None - added:
method SemanticAnalyzerPass2.visit_import_from(imp: ImportFrom) -> None - added:
method SemanticAnalyzerPass2.visit_index_expr(expr: IndexExpr) -> None - added:
method SemanticAnalyzerPass2.visit_lambda_expr(expr: LambdaExpr) -> None - added:
method SemanticAnalyzerPass2.visit_list_comprehension(expr: ListComprehension) -> None - added:
method SemanticAnalyzerPass2.visit_list_expr(expr: ListExpr) -> None - added:
method SemanticAnalyzerPass2.visit_member_expr(expr: MemberExpr) -> None - added:
method SemanticAnalyzerPass2.visit_name_expr(expr: NameExpr) -> None - added:
method SemanticAnalyzerPass2.visit_nonlocal_decl(d: NonlocalDecl) -> None - added:
method SemanticAnalyzerPass2.visit_op_expr(expr: OpExpr) -> None - added:
method SemanticAnalyzerPass2.visit_operator_assignment_stmt(s: OperatorAssignmentStmt) -> None - added:
method SemanticAnalyzerPass2.visit_overloaded_func_def(defn: OverloadedFuncDef) -> None - added:
method SemanticAnalyzerPass2.visit_print_stmt(s: PrintStmt) -> None - added:
method SemanticAnalyzerPass2.visit_raise_stmt(s: RaiseStmt) -> None - added:
method SemanticAnalyzerPass2.visit_return_stmt(s: ReturnStmt) -> None - added:
method SemanticAnalyzerPass2.visit_reveal_type_expr(expr: RevealTypeExpr) -> None - added:
method SemanticAnalyzerPass2.visit_set_comprehension(expr: SetComprehension) -> None - added:
method SemanticAnalyzerPass2.visit_set_expr(expr: SetExpr) -> None - added:
method SemanticAnalyzerPass2.visit_slice_expr(expr: SliceExpr) -> None - added:
method SemanticAnalyzerPass2.visit_star_expr(expr: StarExpr) -> None - added:
method SemanticAnalyzerPass2.visit_super_expr(expr: SuperExpr) -> None - added:
method SemanticAnalyzerPass2.visit_try_stmt(s: TryStmt) -> None - added:
method SemanticAnalyzerPass2.visit_tuple_expr(expr: TupleExpr) -> None - added:
method SemanticAnalyzerPass2.visit_type_application(expr: TypeApplication) -> None - added:
method SemanticAnalyzerPass2.visit_unary_expr(expr: UnaryExpr) -> None - added:
method SemanticAnalyzerPass2.visit_while_stmt(s: WhileStmt) -> None - added:
method SemanticAnalyzerPass2.visit_with_stmt(s: WithStmt) -> None - added:
method SemanticAnalyzerPass2.visit_yield_expr(expr: YieldExpr) -> None - added:
method SemanticAnalyzerPass2.visit_yield_from_expr(e: YieldFromExpr) -> None
- added:
class SemanticAnalyzerPass1(NodeVisitor[None]) - added:
constructor SemanticAnalyzerPass1(sem: SemanticAnalyzerPass2) -> None - added:
method SemanticAnalyzerPass1.analyze_lvalue(lvalue: Lvalue, explicit_type: bool=…) -> None - added:
method SemanticAnalyzerPass1.kind_by_scope() -> int - added:
method SemanticAnalyzerPass1.process_nested_classes(outer_def: ClassDef) -> None - added:
method SemanticAnalyzerPass1.visit_assignment_stmt(s: AssignmentStmt) -> None - added:
method SemanticAnalyzerPass1.visit_block(b: Block) -> None - added:
method SemanticAnalyzerPass1.visit_class_def(cdef: ClassDef) -> None - added:
method SemanticAnalyzerPass1.visit_decorator(d: Decorator) -> None - added:
method SemanticAnalyzerPass1.visit_file(file: MypyFile, fnam: str, mod_id: str, options: Options) -> None - added:
method SemanticAnalyzerPass1.visit_for_stmt(s: ForStmt) -> None - added:
method SemanticAnalyzerPass1.visit_func_def(func: FuncDef) -> None - added:
method SemanticAnalyzerPass1.visit_if_stmt(s: IfStmt) -> None - added:
method SemanticAnalyzerPass1.visit_import(node: Import) -> None - added:
method SemanticAnalyzerPass1.visit_import_all(node: ImportAll) -> None - added:
method SemanticAnalyzerPass1.visit_import_from(node: ImportFrom) -> None - added:
method SemanticAnalyzerPass1.visit_overloaded_func_def(func: OverloadedFuncDef) -> None - added:
method SemanticAnalyzerPass1.visit_try_stmt(s: TryStmt) -> None - added:
method SemanticAnalyzerPass1.visit_while_stmt(s: WhileStmt) -> None - added:
method SemanticAnalyzerPass1.visit_with_stmt(s: WithStmt) -> None
- added:
class ForwardReferenceResolver(TypeTranslator) - added:
class SemanticAnalyzerPass3(TraverserVisitor) - added:
constructor ForwardReferenceResolver(fail: Callable[[str, Context], None], start: Union[Node, SymbolTableNode], warn: bool) -> None - added:
constructor SemanticAnalyzerPass3(modules: Dict[str, MypyFile], errors: Errors, sem: mypy.semanal.SemanticAnalyzerPass2) -> None - added:
function add_protocol_members(typ: TypeInfo) -> None - added:
function calculate_return_type(expr: Expression) -> Optional[Type] - added:
function find_fixed_callable_return(expr: Expression) -> Optional[CallableType] - added:
function is_identity_signature(sig: Type) -> bool - added:
method ForwardReferenceResolver.check_recursion(t: Type) -> bool - added:
method ForwardReferenceResolver.visit_callable_type(t: CallableType) -> Type - added:
method ForwardReferenceResolver.visit_forwardref_type(t: ForwardRef) -> Type - added:
method ForwardReferenceResolver.visit_instance(t: Instance, from_fallback: bool=…) -> Type - added:
method ForwardReferenceResolver.visit_overloaded(t: Overloaded) -> Type - added:
method ForwardReferenceResolver.visit_tuple_type(t: TupleType) -> Type - added:
method ForwardReferenceResolver.visit_type_type(t: TypeType) -> Type - added:
method ForwardReferenceResolver.visit_type_var(t: TypeVarType) -> Type - added:
method ForwardReferenceResolver.visit_typeddict_type(t: TypedDictType) -> Type - added:
method ForwardReferenceResolver.visit_union_type(t: UnionType) -> Type - added:
method SemanticAnalyzerPass3.accept(node: Node) -> None - added:
method SemanticAnalyzerPass3.analyze(type: Optional[Type], node: Union[Node, SymbolTableNode], warn: bool=…) -> None - added:
method SemanticAnalyzerPass3.analyze_types(types: List[Type], node: Node) -> None - added:
method SemanticAnalyzerPass3.builtin_type(name: str, args: List[Type]=…) -> Instance - added:
method SemanticAnalyzerPass3.check_for_omitted_generics(typ: Type) -> None - added:
method SemanticAnalyzerPass3.fail(msg: str, ctx: Context, *, blocker: bool=…) -> None - added:
method SemanticAnalyzerPass3.fail_blocker(msg: str, ctx: Context) -> None - added:
method SemanticAnalyzerPass3.make_type_analyzer(indicator: Dict[str, bool]) -> TypeAnalyserPass3 - added:
method SemanticAnalyzerPass3.perform_transform(node: Union[Node, SymbolTableNode], transform: Callable[[Type], Type]) -> None - added:
method SemanticAnalyzerPass3.refresh_partial(node: Union[MypyFile, FuncItem]) -> None - added:
method SemanticAnalyzerPass3.refresh_top_level(file_node: MypyFile) -> None - added:
method SemanticAnalyzerPass3.transform_types_in_lvalue(lvalue: Lvalue, transform: Callable[[Type], Type]) -> None - added:
method SemanticAnalyzerPass3.visit_assignment_stmt(s: AssignmentStmt) -> None - added:
method SemanticAnalyzerPass3.visit_block(b: Block) -> None - added:
method SemanticAnalyzerPass3.visit_cast_expr(e: CastExpr) -> None - added:
method SemanticAnalyzerPass3.visit_class_def(tdef: ClassDef) -> None - added:
method SemanticAnalyzerPass3.visit_decorator(dec: Decorator) -> None - added:
method SemanticAnalyzerPass3.visit_file(file_node: MypyFile, fnam: str, options: Options, patches: List[Callable[[], None]]) -> None - added:
method SemanticAnalyzerPass3.visit_for_stmt(s: ForStmt) -> None - added:
method SemanticAnalyzerPass3.visit_func_def(fdef: FuncDef) -> None - added:
method SemanticAnalyzerPass3.visit_reveal_type_expr(e: RevealTypeExpr) -> None - added:
method SemanticAnalyzerPass3.visit_type_application(e: TypeApplication) -> None - added:
method SemanticAnalyzerPass3.visit_with_stmt(s: WithStmt) -> None
- removed:
method TypeAnalyserPass3.update_type(tp: Type) -> Type - changed:
function analyze_type_alias(node: Expression, lookup_func: Callable[[str, Context], SymbolTableNode], lookup_fqn_func: Callable[[str], SymbolTableNode], tvar_scope: TypeVarScope, fail_func: Callable[[str, Context], None], note_func: Callable[[str, Context], None], plugin: Plugin, options: Options, is_typeshed_stub: bool, allow_unnormalized: bool=…, in_dynamic_func: bool=…, global_scope: bool=…) -… → function analyze_type_alias(node: Expression, lookup_func: Callable[[str, Context], SymbolTableNode], lookup_fqn_func: Callable[[str], SymbolTableNode], tvar_scope: TypeVarScope, fail_func: Callable[[str, Context], None], note_func: Callable[[str, Context], None], plugin: Plugin, options: Options, is_typeshed_stub: bool, allow_unnormalized: bool=…, in_dynamic_func: bool=…, global_scope: bool=…, w… - added:
method TypeAnalyserPass3.resolve_type(tp: Type) -> Type
- removed:
field ForwardRef.link - changed:
constructor ForwardRef(link: Type) -> None → constructor ForwardRef(unbound: UnboundType) -> None - changed:
method ForwardRef.serialize() → method ForwardRef.serialize() -> str - added:
method ForwardRef.resolve(resolved: Type) -> None - added:
property ForwardRef.resolved -> Optional[Type] - added:
property ForwardRef.unbound -> UnboundType