Upgrading mypy 0.650 to 0.660
Unknown0.650 → 0.660
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.
Moves typed-ast 1.1.2 → 1.2.0. Your build may pick other versions.
API changes
Generated by DepDelta from published Python source. Not mixed with prose notes.
- changed:
function map_actuals_to_formals(caller_kinds: List[int], caller_names: Optional[Sequence[Optional[str]]], callee_kinds: List[int], callee_names: Sequence[Optional[str]], caller_arg_type: Callable[[int], Type]) -> List[List[int]] → function map_actuals_to_formals(actual_kinds: List[int], actual_names: Optional[Sequence[Optional[str]]], formal_kinds: List[int], formal_names: Sequence[Optional[str]], actual_arg_type: Callable[[int], Type]) -> List[List[int]] - changed:
function map_formals_to_actuals(caller_kinds: List[int], caller_names: Optional[Sequence[Optional[str]]], callee_kinds: List[int], callee_names: List[Optional[str]], caller_arg_type: Callable[[int], Type]) -> List[List[int]] → function map_formals_to_actuals(actual_kinds: List[int], actual_names: Optional[Sequence[Optional[str]]], formal_kinds: List[int], formal_names: List[Optional[str]], actual_arg_type: Callable[[int], Type]) -> List[List[int]]
- removed:
function atomic_write(filename: str, line1: str, line2: str) -> bool - removed:
function random_string() -> str - changed:
constructor BuildManager(data_dir: str, search_paths: SearchPaths, ignore_prefix: str, source_set: BuildSourceSet, reports: Reports, options: Options, version_id: str, plugin: Plugin, plugins_snapshot: Dict[str, str], errors: Errors, flush_errors: Callable[[List[str], bool], None], fscache: FileSystemCache) -> None → constructor BuildManager(data_dir: str, search_paths: SearchPaths, ignore_prefix: str, source_set: BuildSourceSet, reports: Optional[Reports], options: Options, version_id: str, plugin: Plugin, plugins_snapshot: Dict[str, str], errors: Errors, flush_errors: Callable[[List[str], bool], None], fscache: FileSystemCache) -> None - changed:
function get_protocol_deps_cache_name(manager: BuildManager) -> Tuple[str, str] → function get_protocol_deps_cache_name() -> Tuple[str, str] - added:
method BuildManager.dump_stats() -> None - added:
variable PLUGIN_SNAPSHOT_FILE
- added:
method TypeChecker.determine_type_of_class_member(sym: SymbolTableNode) -> Optional[Type]
- changed:
method ExpressionChecker.accept(node: Expression, type_context: Optional[Type]=…, allow_none_return: bool=…, always_allow_any: bool=…) -> Type → method ExpressionChecker.accept(node: Expression, type_context: Optional[Type]=…, allow_none_return: bool=…, always_allow_any: bool=…, in_final_declaration: bool=…) -> Type - changed:
method ExpressionChecker.apply_function_plugin(arg_types: List[Type], inferred_ret_type: Type, arg_kinds: List[int], formal_to_actual: List[List[int]], args: List[Expression], num_formals: int, fullname: str, object_type: Optional[Type], context: Context) -> Type → method ExpressionChecker.apply_function_plugin(callee: CallableType, arg_kinds: List[int], arg_types: List[Type], arg_names: Optional[Sequence[Optional[str]]], formal_to_actual: List[List[int]], args: List[Expression], fullname: str, object_type: Optional[Type], context: Context) -> Type - changed:
method ExpressionChecker.check_overload_call(callee: Overloaded, args: List[Expression], arg_types: List[Type], arg_kinds: List[int], arg_names: Optional[Sequence[Optional[str]]], callable_name: Optional[str], object_type: Optional[Type], context: Context, arg_messages: MessageBuilder) -> Tuple[Type, Type] → method ExpressionChecker.check_overload_call(callee: Overloaded, args: List[Expression], arg_kinds: List[int], arg_names: Optional[Sequence[Optional[str]]], callable_name: Optional[str], object_type: Optional[Type], context: Context, arg_messages: MessageBuilder) -> Tuple[Type, Type] - added:
function is_expr_literal_type(node: Expression) -> bool - added:
function is_literal_type_like(t: Optional[Type]) -> bool - added:
method ExpressionChecker.check_any_type_call(args: List[Expression], callee: Type) -> Tuple[Type, Type] - added:
method ExpressionChecker.check_callable_call(callee: CallableType, args: List[Expression], arg_kinds: List[int], context: Context, arg_names: Optional[Sequence[Optional[str]]], callable_node: Optional[Expression], arg_messages: MessageBuilder, callable_name: Optional[str], object_type: Optional[Type]) -> Tuple[Type, Type] - added:
method ExpressionChecker.check_union_call(callee: UnionType, args: List[Expression], arg_kinds: List[int], arg_names: Optional[Sequence[Optional[str]]], context: Context, arg_messages: MessageBuilder) -> Tuple[Type, Type] - added:
method ExpressionChecker.infer_literal_expr_type(value: LiteralValue, fallback_name: str) -> Type - added:
method ExpressionChecker.is_literal_context() -> bool
- changed:
function analyze_class_attribute_access(itype: Instance, name: str, context: Context, is_lvalue: bool, builtin_type: Callable[[str], Instance], not_ready_callback: Callable[[str, Context], None], msg: MessageBuilder, original_type: Type, chk: mypy.checker.TypeChecker) -> Optional[Type] → function analyze_class_attribute_access(itype: Instance, name: str, mx: MemberContext) -> Optional[Type] - changed:
function analyze_member_access(name: str, typ: Type, node: Context, is_lvalue: bool, is_super: bool, is_operator: bool, builtin_type: Callable[[str], Instance], not_ready_callback: Callable[[str, Context], None], msg: MessageBuilder, *, original_type: Type, chk: mypy.checker.TypeChecker, override_info: Optional[TypeInfo]=…) -> Type → function analyze_member_access(name: str, typ: Type, context: Context, is_lvalue: bool, is_super: bool, is_operator: bool, msg: MessageBuilder, *, original_type: Type, chk: mypy.checker.TypeChecker, override_info: Optional[TypeInfo]=…, in_literal_context: bool=…) -> Type - changed:
function analyze_member_var_access(name: str, itype: Instance, info: TypeInfo, node: Context, is_lvalue: bool, is_super: bool, builtin_type: Callable[[str], Instance], not_ready_callback: Callable[[str, Context], None], msg: MessageBuilder, original_type: Type, chk: mypy.checker.TypeChecker) -> Type → function analyze_member_var_access(name: str, itype: Instance, info: TypeInfo, mx: MemberContext) -> Type - changed:
function analyze_var(name: str, var: Var, itype: Instance, info: TypeInfo, node: Context, is_lvalue: bool, msg: MessageBuilder, original_type: Type, builtin_type: Callable[[str], Instance], not_ready_callback: Callable[[str, Context], None], *, chk: mypy.checker.TypeChecker, implicit: bool=…) -> Type → function analyze_var(name: str, var: Var, itype: Instance, info: TypeInfo, mx: MemberContext, *, implicit: bool=…) -> Type - added:
class MemberContext - added:
constructor MemberContext(is_lvalue: bool, is_super: bool, is_operator: bool, original_type: Type, context: Context, msg: MessageBuilder, chk: mypy.checker.TypeChecker) -> None - added:
function analyze_instance_member_access(name: str, typ: Instance, mx: MemberContext, override_info: Optional[TypeInfo]) -> Type - added:
function analyze_none_member_access(name: str, typ: NoneTyp, mx: MemberContext) -> Type - added:
function analyze_type_callable_member_access(name: str, typ: FunctionLike, mx: MemberContext) -> Type - added:
function analyze_type_type_member_access(name: str, typ: TypeType, mx: MemberContext) -> Type - added:
function analyze_union_member_access(name: str, typ: UnionType, mx: MemberContext) -> Type - added:
method MemberContext.builtin_type(name: str) -> Instance - added:
method MemberContext.copy_modified(messages: MessageBuilder) -> MemberContext - added:
method MemberContext.not_ready_callback(name: str, context: Context) -> None
- added:
variable REPORTER_NAMES
- changed:
function check_output(response: Dict[str, Any], verbose: bool, junit_xml: Optional[str]) -> None → function check_output(response: Dict[str, Any], verbose: bool, junit_xml: Optional[str], perf_stats_file: Optional[str]) -> None - changed:
function get_status() -> Tuple[int, str] → function get_status(status_file: str) -> Tuple[int, str] - changed:
function is_running() -> bool → function is_running(status_file: str) -> bool - changed:
function read_status() -> Dict[str, object] → function read_status(status_file: str) -> Dict[str, object] - changed:
function request(command: str, *, timeout: Optional[int]=…, **kwds: object) -> Dict[str, Any] → function request(status_file: str, command: str, *, timeout: Optional[int]=…, **kwds: object) -> Dict[str, Any] - changed:
function wait_for_server(timeout: float=…) -> None → function wait_for_server(status_file: str, timeout: float=…) -> None
- changed:
constructor Server(options: Options, timeout: Optional[int]=…) -> None → constructor Server(options: Options, status_file: str, timeout: Optional[int]=…) -> None - changed:
function daemonize(options: Options, timeout: Optional[int]=…, log_file: Optional[str]=…) -> int → function daemonize(options: Options, status_file: str, timeout: Optional[int]=…, log_file: Optional[str]=…) -> int - added:
method Server.update_stats(res: Dict[str, Any]) -> None
- removed:
variable STATUS_FILE - added:
variable DEFAULT_STATUS_FILE
- added:
variable MYPY
- removed:
function strict_optional_set(value: bool) -> Iterator[None] - removed:
variable STRICT_OPTIONAL - removed:
variable find_occurrences
- removed:
variable TYPE_COMMENT_AST_ERROR - changed:
constructor TypeConverter(errors: Optional[Errors], line: int=…) -> None → constructor TypeConverter(errors: Optional[Errors], line: int=…, assume_str_is_unicode: bool=…) -> None - changed:
function parse_type_comment(type_comment: str, line: int, errors: Optional[Errors]) -> Optional[Type] → function parse_type_comment(type_comment: str, line: int, errors: Optional[Errors], assume_str_is_unicode: bool=…) -> Optional[Type] - added:
function bytes_to_human_readable_repr(b: bytes) -> str - added:
function parse_type_string(expr_string: str, expr_fallback_name: str, line: int, column: int, assume_str_is_unicode: bool=…) -> Type - added:
method TypeConverter.invalid_type(node: AST, note: Optional[str]=…) -> RawExpressionType - added:
method TypeConverter.visit_Bytes(n: Bytes) -> Type - added:
method TypeConverter.visit_Num(n: Num) -> Type - added:
method TypeConverter.visit_UnaryOp(n: UnaryOp) -> Type
- changed:
constructor ASTConverter(options: Options, is_stub: bool, errors: Errors) -> None → constructor ASTConverter(options: Options, errors: Errors) -> None
- added:
method TypeIndirectionVisitor.visit_raw_expression_type(t: types.RawExpressionType) -> Set[str]
- added:
method InterpretedPlugin.lookup_fully_qualified(fullname: str) -> Optional[SymbolTableNode] - added:
method InterpretedPlugin.set_modules(modules: Dict[str, MypyFile]) -> None
- changed:
constructor IPCBase(name: str) -> None → constructor IPCBase(name: str, timeout: Optional[float]) -> None - changed:
constructor IPCClient(name: str, timeout: Optional[int]) -> None → constructor IPCClient(name: str, timeout: Optional[float]) -> None - changed:
constructor IPCServer(name: str, timeout: Optional[int]=…) -> None → constructor IPCServer(name: str, timeout: Optional[float]=…) -> None
- added:
function lookup_fully_qualified(name: str, modules: Dict[str, MypyFile], raise_on_missing: bool=…) -> Optional[SymbolTableNode]
- removed:
function infer_python_version_and_executable(options: Options, special_opts: argparse.Namespace) -> None - removed:
function readlinkabs(link: str) -> str - changed:
function process_options(args: List[str], require_targets: bool=…, server_options: bool=…, fscache: Optional[FileSystemCache]=…) -> Tuple[List[BuildSource], Options] → function process_options(args: List[str], require_targets: bool=…, server_options: bool=…, fscache: Optional[FileSystemCache]=…, program: str=…, header: str=…) -> Tuple[List[BuildSource], Options] - added:
function infer_python_executable(options: Options, special_opts: argparse.Namespace) -> None
- removed:
method MessageBuilder.overloaded_signatures_partial_overlap(index1: int, index2: int, context: Context) -> None - removed:
variable CANNOT_INFER_ITEM_TYPE - removed:
variable CANNOT_ISINSTANCE_NEWTYPE - removed:
variable CANNOT_ISINSTANCE_TYPEDDICT - removed:
variable UNSUPPORTED_ARGUMENT_2_FOR_SUPER - changed:
method MessageBuilder.argument_incompatible_with_supertype(arg_num: int, name: str, name_in_supertype: str, supertype: str, context: Context) -> None → method MessageBuilder.argument_incompatible_with_supertype(arg_num: int, name: str, type_name: Optional[str], name_in_supertype: str, supertype: str, context: Context) -> None - added:
method MessageBuilder.cannot_use_function_with_type(method_name: str, type_name: str, context: Context) -> None - added:
method MessageBuilder.comparison_method_example_msg(class_name: str) -> str - added:
method MessageBuilder.note_multiline(messages: str, context: Context, file: Optional[str]=…, origin: Optional[Context]=…, offset: int=…) -> None - added:
method MessageBuilder.typeddict_key_cannot_be_deleted(typ: TypedDictType, item_name: str, context: Context) -> None - added:
variable CANNOT_ACCESS_FINAL_INSTANCE_ATTR - added:
variable CANNOT_INHERIT_FROM_FINAL - added:
variable CANNOT_INSTANTIATE_PROTOCOL - added:
variable CANNOT_OVERRIDE_CLASS_VAR - added:
variable CANNOT_OVERRIDE_INSTANCE_VAR - added:
variable CANNOT_USE_TYPEVAR_AS_EXPRESSION - added:
variable DEPENDENT_FINAL_IN_CLASS_BODY - added:
variable DESCRIPTOR_GET_NOT_CALLABLE - added:
variable DESCRIPTOR_SET_NOT_CALLABLE - added:
variable ERASED_SELF_TYPE_NOT_SUPERTYPE - added:
variable INVALID_SELF_TYPE_OR_EXTRA_ARG - added:
variable MISSING_OR_INVALID_SELF_TYPE - added:
variable MODULE_LEVEL_GETATTRIBUTE - added:
variable MULTIPLE_OVERLOADS_REQUIRED - added:
variable RETURN_IN_ASYNC_GENERATOR - added:
variable RUNTIME_PROTOCOL_EXPECTED - added:
variable SUPER_ARG_2_NOT_INSTANCE_OF_ARG_1 - added:
variable SUPER_ENCLOSING_POSITIONAL_ARGS_REQUIRED - added:
variable SUPER_OUTSIDE_OF_METHOD_NOT_SUPPORTED - added:
variable SUPER_POSITIONAL_ARGS_REQUIRED - added:
variable SUPER_VARARGS_NOT_SUPPORTED - added:
variable SUPER_WITH_SINGLE_ARG_NOT_SUPPORTED - added:
variable TOO_FEW_ARGS_FOR_SUPER - added:
variable TOO_MANY_ARGS_FOR_SUPER - added:
variable UNSUPPORTED_ARG_1_FOR_SUPER - added:
variable UNSUPPORTED_ARG_2_FOR_SUPER
- added:
class FilesystemMetadataStore(MetadataStore) - added:
class MetadataStore - added:
class SqliteMetadataStore(MetadataStore) - added:
constructor FilesystemMetadataStore(cache_dir_prefix: str) -> None - added:
constructor SqliteMetadataStore(cache_dir_prefix: str) -> None - added:
function connect_db(db_file: str) -> sqlite3.Connection - added:
function random_string() -> str - added:
method FilesystemMetadataStore.commit() -> None - added:
method FilesystemMetadataStore.getmtime(name: str) -> float - added:
method FilesystemMetadataStore.list_all() -> Iterable[str] - added:
method FilesystemMetadataStore.read(name: str) -> str - added:
method FilesystemMetadataStore.remove(name: str) -> None - added:
method FilesystemMetadataStore.write(name: str, data: str, mtime: Optional[float]=…) -> bool - added:
method MetadataStore.commit() -> None - added:
method MetadataStore.getmtime(name: str) -> float - added:
method MetadataStore.list_all() -> Iterable[str] - added:
method MetadataStore.read(name: str) -> str - added:
method MetadataStore.remove(name: str) -> None - added:
method MetadataStore.write(name: str, data: str, mtime: Optional[float]=…) -> bool - added:
method SqliteMetadataStore.commit() -> None - added:
method SqliteMetadataStore.getmtime(name: str) -> float - added:
method SqliteMetadataStore.list_all() -> Iterable[str] - added:
method SqliteMetadataStore.read(name: str) -> str - added:
method SqliteMetadataStore.remove(name: str) -> None - added:
method SqliteMetadataStore.write(name: str, data: str, mtime: Optional[float]=…) -> bool - added:
variable MIGRATIONS - added:
variable SCHEMA
- added:
class MroError(Exception) - added:
function calculate_mro(info: TypeInfo, obj_type: Optional[Callable[[], Instance]]=…) -> None - added:
function linearize_hierarchy(info: TypeInfo, obj_type: Optional[Callable[[], Instance]]=…) -> List[TypeInfo] - added:
function merge(seqs: List[List[TypeInfo]]) -> List[TypeInfo]
- changed:
constructor StrExpr(value: str) -> None → constructor StrExpr(value: str, from_python_3: bool=…) -> None - added:
field StrExpr.from_python_3
- removed:
class DefaultPlugin(Plugin) - removed:
function contextmanager_callback(ctx: FunctionContext) -> Type - removed:
function int_pow_callback(ctx: MethodContext) -> Type - removed:
function open_callback(ctx: FunctionContext) -> Type - removed:
function typed_dict_get_callback(ctx: MethodContext) -> Type - removed:
function typed_dict_get_signature_callback(ctx: MethodSigContext) -> CallableType - removed:
method DefaultPlugin.get_attribute_hook(fullname: str) -> Optional[Callable[[AttributeContext], Type]] - removed:
method DefaultPlugin.get_class_decorator_hook(fullname: str) -> Optional[Callable[[ClassDefContext], None]] - removed:
method DefaultPlugin.get_function_hook(fullname: str) -> Optional[Callable[[FunctionContext], Type]] - removed:
method DefaultPlugin.get_method_hook(fullname: str) -> Optional[Callable[[MethodContext], Type]] - removed:
method DefaultPlugin.get_method_signature_hook(fullname: str) -> Optional[Callable[[MethodSigContext], CallableType]] - changed:
class Plugin → class Plugin(CommonPluginApi) - changed:
method SemanticAnalyzerPluginInterface.anal_type(t: Type, *, tvar_scope: Optional[TypeVarScope]=…, allow_tuple_literal: bool=…, allow_unbound_tvars: bool=…, third_pass: bool=…) -> Type → method SemanticAnalyzerPluginInterface.anal_type(t: Type, *, tvar_scope: Optional[TypeVarScope]=…, allow_tuple_literal: bool=…, allow_unbound_tvars: bool=…, report_invalid_types: bool=…, third_pass: bool=…) -> Type - added:
class CommonPluginApi - added:
field CommonPluginApi.options - added:
method ChainedPlugin.set_modules(modules: Dict[str, MypyFile]) -> None - added:
method CheckerPluginInterface.fail(msg: str, ctx: Context) -> None - added:
method CommonPluginApi.lookup_fully_qualified(fullname: str) -> Optional[SymbolTableNode] - added:
method Plugin.lookup_fully_qualified(fullname: str) -> Optional[SymbolTableNode] - added:
method Plugin.set_modules(modules: Dict[str, MypyFile]) -> None - added:
method WrapperPlugin.lookup_fully_qualified(fullname: str) -> Optional[SymbolTableNode] - added:
method WrapperPlugin.set_modules(modules: Dict[str, MypyFile]) -> None
- changed:
constructor Attribute(name: str, info: TypeInfo, has_default: bool, init: bool, converter: Converter, context: Context) -> None → constructor Attribute(name: str, info: TypeInfo, has_default: bool, init: bool, kw_only: bool, converter: Converter, context: Context) -> None - added:
variable KW_ONLY_PYTHON_2_UNSUPPORTED
- added:
function try_getting_str_literal(expr: Expression, typ: Type) -> Optional[str]
- added:
class DefaultPlugin(Plugin) - added:
function contextmanager_callback(ctx: FunctionContext) -> Type - added:
function int_pow_callback(ctx: MethodContext) -> Type - added:
function open_callback(ctx: FunctionContext) -> Type - added:
function typed_dict_delitem_callback(ctx: MethodContext) -> Type - added:
function typed_dict_delitem_signature_callback(ctx: MethodSigContext) -> CallableType - added:
function typed_dict_get_callback(ctx: MethodContext) -> Type - added:
function typed_dict_get_signature_callback(ctx: MethodSigContext) -> CallableType - added:
function typed_dict_pop_callback(ctx: MethodContext) -> Type - added:
function typed_dict_pop_signature_callback(ctx: MethodSigContext) -> CallableType - added:
function typed_dict_setdefault_callback(ctx: MethodContext) -> Type - added:
function typed_dict_setdefault_signature_callback(ctx: MethodSigContext) -> CallableType - added:
function typed_dict_update_signature_callback(ctx: MethodSigContext) -> CallableType - added:
method DefaultPlugin.get_attribute_hook(fullname: str) -> Optional[Callable[[AttributeContext], Type]] - added:
method DefaultPlugin.get_class_decorator_hook(fullname: str) -> Optional[Callable[[ClassDefContext], None]] - added:
method DefaultPlugin.get_function_hook(fullname: str) -> Optional[Callable[[FunctionContext], Type]] - added:
method DefaultPlugin.get_method_hook(fullname: str) -> Optional[Callable[[MethodContext], Type]] - added:
method DefaultPlugin.get_method_signature_hook(fullname: str) -> Optional[Callable[[MethodSigContext], CallableType]]
- added:
class MarkImportsMypyOnlyVisitor(TraverserVisitor) - added:
class MarkImportsUnreachableVisitor(TraverserVisitor) - added:
function assert_will_always_fail(s: AssertStmt, options: Options) -> bool - added:
function consider_sys_platform(expr: Expression, platform: str) -> int - added:
function consider_sys_version_info(expr: Expression, pyversion: Tuple[int, ...]) -> int - added:
function contains_int_or_tuple_of_ints(expr: Expression) -> Union[None, int, Tuple[int], Tuple[int, ...]] - added:
function contains_sys_version_info(expr: Expression) -> Union[None, int, Tuple[Optional[int], Optional[int]]] - added:
function fixed_comparison(left: Targ, op: str, right: Targ) -> int - added:
function infer_condition_value(expr: Expression, options: Options) -> int - added:
function infer_reachability_of_if_statement(s: IfStmt, options: Options) -> None - added:
function is_sys_attr(expr: Expression, name: str) -> bool - added:
function mark_block_mypy_only(block: Block) -> None - added:
function mark_block_unreachable(block: Block) -> None - added:
method MarkImportsMypyOnlyVisitor.visit_import(node: Import) -> None - added:
method MarkImportsMypyOnlyVisitor.visit_import_all(node: ImportAll) -> None - added:
method MarkImportsMypyOnlyVisitor.visit_import_from(node: ImportFrom) -> None - added:
method MarkImportsUnreachableVisitor.visit_import(node: Import) -> None - added:
method MarkImportsUnreachableVisitor.visit_import_all(node: ImportAll) -> None - added:
method MarkImportsUnreachableVisitor.visit_import_from(node: ImportFrom) -> None - added:
variable ALWAYS_FALSE - added:
variable ALWAYS_TRUE - added:
variable MYPY - added:
variable MYPY_FALSE - added:
variable MYPY_TRUE - added:
variable TRUTH_VALUE_UNKNOWN - added:
variable Targ - added:
variable inverted_truth_mapping
- removed:
class MarkImportsMypyOnlyVisitor(TraverserVisitor) - removed:
class MarkImportsUnreachableVisitor(TraverserVisitor) - removed:
class MroError(Exception) - removed:
function assert_will_always_fail(s: AssertStmt, options: Options) -> bool - removed:
function calculate_mro(info: TypeInfo, obj_type: Optional[Callable[[], Instance]]=…) -> None - removed:
function consider_sys_platform(expr: Expression, platform: str) -> int - removed:
function consider_sys_version_info(expr: Expression, pyversion: Tuple[int, ...]) -> int - removed:
function contains_int_or_tuple_of_ints(expr: Expression) -> Union[None, int, Tuple[int], Tuple[int, ...]] - removed:
function contains_sys_version_info(expr: Expression) -> Union[None, int, Tuple[Optional[int], Optional[int]]] - removed:
function fixed_comparison(left: Targ, op: str, right: Targ) -> int - removed:
function infer_condition_value(expr: Expression, options: Options) -> int - removed:
function infer_reachability_of_if_statement(s: IfStmt, options: Options) -> None - removed:
function is_sys_attr(expr: Expression, name: str) -> bool - removed:
function linearize_hierarchy(info: TypeInfo, obj_type: Optional[Callable[[], Instance]]=…) -> List[TypeInfo] - removed:
function mark_block_mypy_only(block: Block) -> None - removed:
function mark_block_unreachable(block: Block) -> None - removed:
function merge(seqs: List[List[TypeInfo]]) -> List[TypeInfo] - removed:
method MarkImportsMypyOnlyVisitor.visit_import(node: Import) -> None - removed:
method MarkImportsMypyOnlyVisitor.visit_import_all(node: ImportAll) -> None - removed:
method MarkImportsMypyOnlyVisitor.visit_import_from(node: ImportFrom) -> None - removed:
method MarkImportsUnreachableVisitor.visit_import(node: Import) -> None - removed:
method MarkImportsUnreachableVisitor.visit_import_all(node: ImportAll) -> None - removed:
method MarkImportsUnreachableVisitor.visit_import_from(node: ImportFrom) -> None - removed:
variable ALWAYS_FALSE - removed:
variable ALWAYS_TRUE - removed:
variable MYPY_FALSE - removed:
variable MYPY_TRUE - removed:
variable TRUTH_VALUE_UNKNOWN - removed:
variable Targ - removed:
variable inverted_truth_mapping - changed:
method SemanticAnalyzerPass2.anal_type(t: Type, *, tvar_scope: Optional[TypeVarScope]=…, allow_tuple_literal: bool=…, allow_unbound_tvars: bool=…, third_pass: bool=…) -> Type → method SemanticAnalyzerPass2.anal_type(t: Type, *, tvar_scope: Optional[TypeVarScope]=…, allow_tuple_literal: bool=…, allow_unbound_tvars: bool=…, report_invalid_types: bool=…, third_pass: bool=…) -> Type - changed:
method SemanticAnalyzerPass2.analyze_simple_literal_type(rvalue: Expression) -> Optional[Type] → method SemanticAnalyzerPass2.analyze_simple_literal_type(rvalue: Expression, is_final: bool) -> Optional[Type] - changed:
method SemanticAnalyzerPass2.expr_to_analyzed_type(expr: Expression) -> Type → method SemanticAnalyzerPass2.expr_to_analyzed_type(expr: Expression, report_invalid_types: bool=…) -> Type - changed:
method SemanticAnalyzerPass2.type_analyzer(*, tvar_scope: Optional[TypeVarScope]=…, allow_tuple_literal: bool=…, allow_unbound_tvars: bool=…, third_pass: bool=…) -> TypeAnalyser → method SemanticAnalyzerPass2.type_analyzer(*, tvar_scope: Optional[TypeVarScope]=…, allow_tuple_literal: bool=…, allow_unbound_tvars: bool=…, report_invalid_types: bool=…, third_pass: bool=…) -> TypeAnalyser - added:
method SemanticAnalyzerPass2.find_overload_sigs_and_impl(defn: OverloadedFuncDef) -> Tuple[List[CallableType], Optional[OverloadPart], List[int]] - added:
method SemanticAnalyzerPass2.handle_missing_overload_decorators(defn: OverloadedFuncDef, non_overload_indexes: List[int], some_overload_decorators: bool) -> None - added:
method SemanticAnalyzerPass2.handle_missing_overload_implementation(defn: OverloadedFuncDef) -> None - added:
method SemanticAnalyzerPass2.process_final_in_overload(defn: OverloadedFuncDef) -> None - added:
method SemanticAnalyzerPass2.process_static_or_class_method_in_overload(defn: OverloadedFuncDef) -> None
- removed:
method SemanticAnalyzerPass3.analyze_info(info: TypeInfo) -> None - added:
method ForwardReferenceResolver.visit_literal_type(t: LiteralType) -> Type - added:
method SemanticAnalyzerPass3.analyze_synthetic_info(info: TypeInfo) -> None
- changed:
method SemanticAnalyzerInterface.anal_type(t: Type, *, tvar_scope: Optional[TypeVarScope]=…, allow_tuple_literal: bool=…, allow_unbound_tvars: bool=…, third_pass: bool=…) -> Type → method SemanticAnalyzerInterface.anal_type(t: Type, *, tvar_scope: Optional[TypeVarScope]=…, allow_tuple_literal: bool=…, allow_unbound_tvars: bool=…, report_invalid_types: bool=…, third_pass: bool=…) -> Type
- added:
method TypeReplaceVisitor.visit_raw_expression_type(t: RawExpressionType) -> None
- removed:
function aggregate_by_type(objs: List[object]) -> Dict[type, List[object]] - removed:
function find_all_reachable(root: object) -> List[object]
- added:
function strict_optional_set(value: bool) -> Iterator[None] - added:
variable find_occurrences - added:
variable strict_optional
- removed:
function usage(exit_nonzero: bool=…) -> None - added:
variable DESCRIPTION - added:
variable HEADER
- changed:
function restrict_subtype_away(t: Type, s: Type) -> Type → function restrict_subtype_away(t: Type, s: Type, *, ignore_promotions: bool=…) -> Type - changed:
method SubtypeVisitor.visit_literal_type(t: LiteralType) -> bool → method SubtypeVisitor.visit_literal_type(left: LiteralType) -> bool
- added:
method SyntheticTypeVisitor.visit_raw_expression_type(t: RawExpressionType) -> T - added:
method TypeQuery.visit_raw_expression_type(t: RawExpressionType) -> T
- changed:
constructor TypeAnalyser(api: SemanticAnalyzerCoreInterface, tvar_scope: Optional[TypeVarScope], plugin: Plugin, options: Options, is_typeshed_stub: bool, *, defining_alias: bool=…, allow_tuple_literal: bool=…, allow_unnormalized: bool=…, allow_unbound_tvars: bool=…, third_pass: bool=…) -> None → constructor TypeAnalyser(api: SemanticAnalyzerCoreInterface, tvar_scope: Optional[TypeVarScope], plugin: Plugin, options: Options, is_typeshed_stub: bool, *, defining_alias: bool=…, allow_tuple_literal: bool=…, allow_unnormalized: bool=…, allow_unbound_tvars: bool=…, report_invalid_types: bool=…, third_pass: bool=…) -> None - added:
method TypeAnalyser.analyze_literal_param(idx: int, arg: Type, ctx: Context) -> Optional[List[Type]] - added:
method TypeAnalyser.analyze_literal_type(t: UnboundType) -> Type - added:
method TypeAnalyser.analyze_unbound_type_with_type_info(t: UnboundType, info: TypeInfo) -> Type - added:
method TypeAnalyser.analyze_unbound_type_without_type_info(t: UnboundType, sym: SymbolTableNode) -> Type - added:
method TypeAnalyser.named_type_with_normalized_str(fully_qualified_name: str) -> Instance - added:
method TypeAnalyser.try_analyze_special_unbound_type(t: UnboundType, fullname: str) -> Optional[Type] - added:
method TypeAnalyser.visit_raw_expression_type(t: RawExpressionType) -> Type
- removed:
function is_invariant_instance(tp: Type) -> bool - removed:
method CallableType.max_fixed_args() -> int - removed:
method FunctionLike.is_concrete_type_obj() -> bool - changed:
constructor Instance(typ: mypy.nodes.TypeInfo, args: List[Type], line: int=…, column: int=…, erased: bool=…) -> None → constructor Instance(typ: mypy.nodes.TypeInfo, args: List[Type], line: int=…, column: int=…, erased: bool=…, final_value: Optional[LiteralType]=…) -> None - changed:
constructor UnboundType(name: str, args: Optional[List[Type]]=…, line: int=…, column: int=…, optional: bool=…, empty_tuple_index: bool=…) -> None → constructor UnboundType(name: Optional[str], args: Optional[List[Type]]=…, line: int=…, column: int=…, optional: bool=…, empty_tuple_index: bool=…, original_str_expr: Optional[str]=…, original_str_fallback: Optional[str]=…) -> None - changed:
method Instance.copy_modified(*, args: List[Type]) -> Instance → method Instance.copy_modified(*, args: Bogus[List[Type]]=…, final_value: Bogus[Optional[LiteralType]]=…) -> Instance - added:
class RawExpressionType(Type) - added:
constructor RawExpressionType(literal_value: Optional[LiteralValue], base_type_name: str, line: int=…, column: int=…, note: Optional[str]=…) -> None - added:
function is_generic_instance(tp: Type) -> bool - added:
method LiteralType.value_repr() -> str - added:
method RawExpressionType.accept(visitor: TypeVisitor[T]) -> T - added:
method RawExpressionType.serialize() -> JsonDict - added:
method RawExpressionType.simple_name() -> str - added:
method TypeStrVisitor.visit_raw_expression_type(t: RawExpressionType) -> str - added:
property AnyType.is_from_error -> bool
- added:
function fill_typevars_with_any(typ: TypeInfo) -> Union[Instance, TupleType]
- removed:
function array_repr(a: List[T]) -> List[str] - changed:
function write_junit_xml(dt: float, serious: bool, messages: List[str], path: str) -> None → function write_junit_xml(dt: float, serious: bool, messages: List[str], path: str, version: str, platform: str) -> None - added:
class redirect_stderr(_RedirectStream) - added:
class redirect_stdout(_RedirectStream)