Upgrading mypy 0.711 to 0.720
Unknown0.711 → 0.720
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.
Adds typing-extensions >=3.7.4.
Installs 3 packages in all (was 2).
API changes
Generated by DepDelta from published Python source. Not mixed with prose notes.
- removed:
variable MYPY - added:
method ConditionalTypeBinder.is_unreachable_warning_suppressed() -> bool - added:
method ConditionalTypeBinder.suppress_unreachable_warnings() -> None
- removed:
variable MYPY
- removed:
function is_valid_inferred_type_component(typ: Type) -> bool - removed:
variable MYPY - changed:
method TypeChecker.set_inference_error_fallback_type(var: Var, lvalue: Lvalue, type: Type, context: Context) -> None → method TypeChecker.set_inference_error_fallback_type(var: Var, lvalue: Lvalue, type: Type) -> None - added:
class NothingSeeker(TypeQuery[bool]) - added:
class SetNothingToAny(TypeTranslator) - added:
constructor NothingSeeker() -> None - added:
function coerce_to_literal(typ: Type) -> Type - added:
function is_singleton_type(typ: Type) -> bool - added:
function try_expanding_enum_to_union(typ: Type, target_fullname: str) -> Type - added:
method NothingSeeker.visit_uninhabited_type(t: UninhabitedType) -> bool - added:
method SetNothingToAny.visit_uninhabited_type(t: UninhabitedType) -> Type - added:
method TypeChecker.is_raising_or_empty(s: Statement) -> bool
- removed:
variable MYPY - changed:
method ExpressionChecker.check_call_expr_with_callee_type(callee_type: Type, e: CallExpr, callable_name: Optional[str], object_type: Optional[Type]) -> Type → method ExpressionChecker.check_call_expr_with_callee_type(callee_type: Type, e: CallExpr, callable_name: Optional[str], object_type: Optional[Type], member: Optional[str]=…) -> Type - changed:
method ExpressionChecker.narrow_type_from_binder(expr: Expression, known_type: Type) -> Type → method ExpressionChecker.narrow_type_from_binder(expr: Expression, known_type: Type) -> Type | (expr: Expression, known_type: Type, skip_non_overlapping: bool) -> Optional[Type] - added:
method ExpressionChecker.check_union_call_expr(e: CallExpr, object_type: UnionType, member: str) -> Type - added:
method ExpressionChecker.check_union_method_call_by_name(method: str, base_type: UnionType, args: List[Expression], arg_kinds: List[int], context: Context, local_errors: MessageBuilder, original_type: Optional[Type]=…) -> Tuple[Type, Type] - added:
method ExpressionChecker.try_getting_int_literals(index: Expression) -> Optional[List[int]]
- removed:
variable MYPY - changed:
constructor MemberContext(is_lvalue: bool, is_super: bool, is_operator: bool, original_type: Type, context: Context, msg: MessageBuilder, chk: mypy.checker.TypeChecker) -> None → constructor MemberContext(is_lvalue: bool, is_super: bool, is_operator: bool, original_type: Type, context: Context, msg: MessageBuilder, chk: mypy.checker.TypeChecker, self_type: Optional[Type]) -> None - changed:
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 → 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=…, self_type: Optional[Type]=…) -> Type - changed:
method MemberContext.copy_modified(messages: MessageBuilder) -> MemberContext → method MemberContext.copy_modified(*, messages: Optional[MessageBuilder]=…, self_type: Optional[Type]=…) -> MemberContext
- removed:
variable MYPY
- removed:
variable MYPY
- removed:
variable MYPY
- removed:
variable MYPY
- removed:
variable MYPY
- removed:
variable MYPY
- removed:
variable MYPY
- removed:
variable MYPY - changed:
constructor TypeConverter(errors: Optional[Errors], line: int=…, assume_str_is_unicode: bool=…) -> None → constructor TypeConverter(errors: Optional[Errors], line: int=…, override_column: int=…, assume_str_is_unicode: bool=…) -> None - changed:
function parse_type_comment(type_comment: str, line: int, errors: Optional[Errors], assume_str_is_unicode: bool=…) -> Tuple[bool, Optional[Type]] → function parse_type_comment(type_comment: str, line: int, column: int, errors: Optional[Errors], assume_str_is_unicode: bool=…) -> Tuple[bool, Optional[Type]] - added:
method TypeConverter.convert_column(column: int) -> int
- removed:
variable MYPY
- removed:
variable MYPY
- removed:
variable MYPY
- removed:
variable MYPY
- removed:
variable MYPY
- removed:
variable MYPY
- added:
function typed_dict_mapping_overlap(left: Type, right: Type, overlapping: Callable[[Type, Type], bool]) -> bool - added:
function typed_dict_mapping_pair(left: Type, right: Type) -> bool
- removed:
variable MYPY
- removed:
variable MYPY - added:
method MessageBuilder.redundant_condition_in_assert(truthiness: bool, context: Context) -> None - added:
method MessageBuilder.redundant_condition_in_comprehension(truthiness: bool, context: Context) -> None - added:
method MessageBuilder.redundant_condition_in_if(truthiness: bool, context: Context) -> None - added:
method MessageBuilder.redundant_expr(description: str, truthiness: bool, context: Context) -> None - added:
method MessageBuilder.redundant_left_operand(op_name: str, context: Context) -> None - added:
method MessageBuilder.redundant_right_operand(op_name: str, context: Context) -> None - added:
method MessageBuilder.typeddict_setdefault_arguments_inconsistent(default: Type, expected: Type, context: Context) -> None - added:
method MessageBuilder.unreachable_statement(context: Context) -> None
- removed:
variable MYPY
- removed:
variable MYPY
- removed:
method NewSemanticAnalyzer.analyze_types(items: List[Expression]) -> List[Type] - removed:
method NewSemanticAnalyzer.check_for_obsolete_short_name(name: str, ctx: Context) -> None - removed:
method NewSemanticAnalyzer.undefined_name_extra_info(fullname: str) -> Optional[str] - removed:
variable MYPY - removed:
variable obsolete_name_mapping - changed:
method NewSemanticAnalyzer.defer() -> None → method NewSemanticAnalyzer.defer(debug_context: Optional[Context]=…) -> None - added:
method NewSemanticAnalyzer.analyze_identity_global_assignment(s: AssignmentStmt) -> bool - added:
method NewSemanticAnalyzer.analyze_value_types(items: List[Expression]) -> List[Type] - added:
method NewSemanticAnalyzer.get_name_repr_of_expr(expr: Expression) -> Optional[str] - added:
method NewSemanticAnalyzer.process_imported_symbol(node: SymbolTableNode, module_id: str, id: str, as_id: Optional[str], fullname: str, context: ImportBase) -> None
- removed:
variable MYPY
- removed:
variable MYPY
- removed:
variable MYPY
- removed:
variable MYPY
- removed:
method TypeArgumentAnalyzer.visit_any(t: AnyType) -> None
- removed:
variable MYPY
- removed:
variable MYPY - changed:
constructor InstanceFixer(fail: Callable[[str, Context], None]) -> None → constructor InstanceFixer(fail: Callable[[str, Context], None], disallow_any: bool) -> None - changed:
function expand_type_alias(target: Type, alias_tvars: List[str], args: List[Type], fail: Callable[[str, Context], None], no_args: bool, ctx: Context) -> Type → function expand_type_alias(target: Type, alias_tvars: List[str], args: List[Type], fail: Callable[[str, Context], None], no_args: bool, ctx: Context, *, disallow_any: bool=…) -> Type - changed:
function fix_instance(t: Instance, fail: Callable[[str, Context], None]) -> None → function fix_instance(t: Instance, fail: Callable[[str, Context], None], disallow_any: bool, use_generic_error: bool=…) -> None - changed:
function fix_instance_types(t: Type, fail: Callable[[str, Context], None]) -> None → function fix_instance_types(t: Type, fail: Callable[[str, Context], None], disallow_any: bool) -> None - changed:
function set_any_tvars(tp: Type, vars: List[str], newline: int, newcolumn: int, implicit: bool=…) -> Type → function set_any_tvars(tp: Type, vars: List[str], newline: int, newcolumn: int, *, from_error: bool=…, disallow_any: bool=…, fail: Optional[Callable[[str, Context], None]]=…) -> Type - added:
function get_omitted_any(disallow_any: bool, fail: Callable[[str, Context], None], ctx: Context, fullname: Optional[str]=…) -> AnyType - added:
method TypeAnalyser.get_omitted_any(ctx: Context, fullname: Optional[str]=…) -> AnyType - added:
method TypeAnalyser.note(msg: str, ctx: Context) -> None
- removed:
variable MYPY - changed:
constructor NewTypeExpr(name: str, old_type: Optional[mypy.types.Type], line: int) -> None → constructor NewTypeExpr(name: str, old_type: Optional[mypy.types.Type], line: int, column: int) -> None - added:
class FakeExpression(Expression)
- removed:
variable MYPY
- removed:
variable MYPY - added:
function is_valid_overloaded_converter(defn: OverloadedFuncDef) -> bool
- removed:
function try_getting_str_literal(expr: Expression, typ: Type) -> Optional[str] - added:
function try_getting_str_literals(expr: Expression, typ: Type) -> Optional[List[str]]
- removed:
variable MYPY
- removed:
variable MYPY
- removed:
variable MYPY
- removed:
variable MYPY
- removed:
variable MYPY
- removed:
variable MYPY
- removed:
variable MYPY
- removed:
variable MYPY
- removed:
variable MYPY
- removed:
variable MYPY
- removed:
variable MYPY
- removed:
variable MYPY
- removed:
variable MYPY
- removed:
variable MYPY
- removed:
variable MYPY
- removed:
variable MYPY
- removed:
variable MYPY
- removed:
variable MYPY - added:
variable Analyzer
- removed:
variable MYPY - changed:
constructor ProperSubtypeVisitor(right: Type, *, ignore_promotions: bool=…) -> None → constructor ProperSubtypeVisitor(right: Type, *, ignore_promotions: bool=…, erase_instances: bool=…) -> None - changed:
function is_proper_subtype(left: Type, right: Type, *, ignore_promotions: bool=…) -> bool → function is_proper_subtype(left: Type, right: Type, *, ignore_promotions: bool=…, erase_instances: bool=…) -> bool - changed:
static method ProperSubtypeVisitor.build_subtype_kind(*, ignore_promotions: bool=…) -> SubtypeKind → static method ProperSubtypeVisitor.build_subtype_kind(*, ignore_promotions: bool=…, erase_instances: bool=…) -> SubtypeKind - added:
function covers_at_runtime(item: Type, supertype: Type, ignore_promotions: bool) -> bool
- removed:
function score_callable(t: CallableType) -> int - removed:
function score_type(t: Type) -> int - changed:
constructor SuggestionEngine(fgmanager: FineGrainedBuildManager, json: bool, no_errors: bool=…, no_any: bool=…) -> None → constructor SuggestionEngine(fgmanager: FineGrainedBuildManager, json: bool, no_errors: bool=…, no_any: bool=…, try_text: bool=…) -> None - added:
class StrToText(TypeTranslator) - added:
constructor StrToText(builtin_type: Callable[[str], Instance]) -> None - added:
method StrToText.visit_instance(t: Instance) -> Type - added:
method SuggestionEngine.add_adjustments(typs: List[Type]) -> List[Type] - added:
method SuggestionEngine.extract_from_decorator(node: Decorator) -> Optional[FuncDef] - added:
method SuggestionEngine.score_callable(t: CallableType) -> int - added:
method SuggestionEngine.score_type(t: Type) -> int
- removed:
variable MYPY
- removed:
variable MYPY - changed:
constructor PlaceholderType(fullname: str, args: List[Type], line: int) -> None → constructor PlaceholderType(fullname: Optional[str], args: List[Type], line: int) -> None - changed:
method TupleType.slice(begin: Optional[int], stride: Optional[int], end: Optional[int]) -> TupleType → method TupleType.slice(begin: Optional[int], end: Optional[int], stride: Optional[int]) -> TupleType - changed:
static method UnionType.make_simplified_union(items: List[Type], line: int=…, column: int=…) -> Type → static method UnionType.make_simplified_union(items: Sequence[Type], line: int=…, column: int=…) -> Type
- removed:
variable MYPY
- removed:
variable MYPY