Upgrading mypy 0.620 to 0.630
Unknown0.620 → 0.630
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 mypy-extensions <0.5.0,>=0.4.0.
Installs 2 packages in all (was 1).
API changes
Generated by DepDelta from published Python source. Not mixed with prose notes.
- added:
variable Bogus - added:
variable T
- removed:
class FreshState(State) - removed:
field FreshState.meta - removed:
method BuildManager.add_stats(**kwds: Any) -> None - removed:
method BuildManager.log(*message: str) -> None - removed:
method BuildManager.log_fine_grained(*message: str) -> None - removed:
method BuildManager.trace(*message: str) -> None - changed:
class BuildManager → class BuildManager(BuildManagerBase) - changed:
constructor FindModuleCache(fscache: Optional[FileSystemCache]=…) -> None → constructor FindModuleCache(fscache: Optional[FileSystemCache]=…, options: Optional[Options]=…) -> None - changed:
function atomic_write(filename: str, *lines: str) -> bool → function atomic_write(filename: str, line1: str, line2: str) -> bool - changed:
function default_data_dir(bin_dir: Optional[str]) -> str → function default_data_dir() -> str - added:
function exist_added_packages(suppressed: List[str], manager: BuildManager, options: Options) -> bool - added:
function find_module_simple(id: str, manager: BuildManager) -> Optional[str] - added:
property State.xmeta -> CacheMeta - added:
variable MYPY
- removed:
function is_equivalent_type_var_def(tv1: TypeVarDef, tv2: TypeVarDef) -> bool - removed:
function is_more_precise_signature(t: CallableType, s: CallableType) -> bool - removed:
function is_unsafe_overlapping_operator_signatures(signature: Type, other: Type) -> bool - added:
class TypeVarExtractor(TypeQuery[List[TypeVarType]]) - added:
constructor TypeVarExtractor() -> None - added:
function detach_callable(typ: CallableType) -> CallableType - added:
function is_overlapping_types_no_promote(left: Type, right: Type) -> bool - added:
function is_subtype_no_promote(left: Type, right: Type) -> bool - added:
method TypeChecker.get_op_other_domain(tp: FunctionLike) -> Optional[Type] - added:
method TypeChecker.is_forward_op_method(method_name: str) -> bool - added:
method TypeChecker.is_reverse_op_method(method_name: str) -> bool - added:
method TypeChecker.is_unsafe_overlapping_op(forward_item: CallableType, forward_base: Type, reverse_type: CallableType) -> bool - added:
method TypeVarExtractor.visit_type_var(t: TypeVarType) -> List[TypeVarType]
- removed:
function overload_arg_similarity(actual: Type, formal: Type) -> int - removed:
method ExpressionChecker.analyze_descriptor_access(instance_type: Type, descriptor_type: Type, context: Context) -> Type - removed:
method ExpressionChecker.match_signature_types(arg_types: List[Type], arg_kinds: List[int], arg_names: Optional[Sequence[Optional[str]]], callee: CallableType, context: Context) -> bool - removed:
method ExpressionChecker.union_overload_matches(types: Sequence[Type]) -> Union[AnyType, CallableType] - changed:
function merge_typevars_in_callables_by_name(callables: List[CallableType]) -> Tuple[List[CallableType], List[TypeVarDef]] → function merge_typevars_in_callables_by_name(callables: Sequence[CallableType]) -> Tuple[List[CallableType], List[TypeVarDef]] - changed:
method ExpressionChecker.check_generator_or_comprehension(gen: GeneratorExpr, type_name: str, id_for_messages: str) -> Type → method ExpressionChecker.check_generator_or_comprehension(gen: GeneratorExpr, type_name: str, id_for_messages: str, additional_args: List[Type]=…) -> Type - changed:
method ExpressionChecker.check_op_local(method: str, base_type: Type, arg: Expression, context: Context, local_errors: MessageBuilder) -> Tuple[Type, Type] → method ExpressionChecker.check_op_local(method_name: str, method_type: Type, base_type: Type, arg: Expression, context: Context, local_errors: MessageBuilder) -> Tuple[Type, Type] - changed:
method ExpressionChecker.erased_signature_similarity(arg_types: List[Type], arg_kinds: List[int], arg_names: Optional[Sequence[Optional[str]]], callee: CallableType, context: Context) -> int → method ExpressionChecker.erased_signature_similarity(arg_types: List[Type], arg_kinds: List[int], arg_names: Optional[Sequence[Optional[str]]], callee: CallableType, context: Context) -> bool - added:
function arg_approximate_similarity(actual: Type, formal: Type) -> bool - added:
method ExpressionChecker.check_op_local_by_name(method: str, base_type: Type, arg: Expression, context: Context, local_errors: MessageBuilder) -> Tuple[Type, Type] - added:
method ExpressionChecker.check_op_reversible(op_name: str, left_type: Type, left_expr: Expression, right_type: Type, right_expr: Expression, context: Context, msg: MessageBuilder) -> Tuple[Type, Type] - added:
method ExpressionChecker.combine_function_signatures(types: Sequence[Type]) -> Union[AnyType, CallableType] - added:
method ExpressionChecker.visit_call_expr_inner(e: CallExpr, allow_none_return: bool=…) -> Type - added:
variable MYPY
- 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) -> Optional[Type] → 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] - changed:
function analyze_var(name: str, var: Var, itype: Instance, info: TypeInfo, node: Context, is_lvalue: bool, msg: MessageBuilder, original_type: Type, not_ready_callback: Callable[[str, Context], None], *, chk: mypy.checker.TypeChecker) -> Type → 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 - added:
function analyze_descriptor_access(instance_type: Type, descriptor_type: Type, builtin_type: Callable[[str], Instance], msg: MessageBuilder, context: Context, *, chk: mypy.checker.TypeChecker) -> Type
- changed:
constructor ConversionSpecifier(key: str, flags: str, width: str, precision: str, type: str) -> None → constructor ConversionSpecifier(key: Optional[str], flags: str, width: str, precision: str, type: str) -> None
- changed:
function remove_path_prefix(path: str, prefix: str) -> str → function remove_path_prefix(path: str, prefix: Optional[str]) -> str
- added:
function overload(x: Any) -> Any - added:
variable MISSING_FALLBACK - added:
variable MYPY
- added:
variable MISSING_FALLBACK - added:
variable MYPY
- added:
function unpack_callback_protocol(t: Instance) -> Optional[Type]
- changed:
class AugmentedHelpFormatter(argparse.HelpFormatter) → class AugmentedHelpFormatter(argparse.RawDescriptionHelpFormatter) - added:
variable DESCRIPTION - added:
variable HEADER
- removed:
function is_overlapping_tuples(t: Type, s: Type, use_promotions: bool) -> Optional[bool] - removed:
function is_partially_overlapping_types(t: Type, s: Type) -> bool - changed:
function is_overlapping_types(t: Type, s: Type, use_promotions: bool=…) -> bool → function is_overlapping_types(left: Type, right: Type, ignore_promotions: bool=…, prohibit_none_typevar_overlap: bool=…) -> bool - added:
function are_tuples_overlapping(left: Type, right: Type, *, ignore_promotions: bool=…, prohibit_none_typevar_overlap: bool=…) -> bool - added:
function are_typed_dicts_overlapping(left: TypedDictType, right: TypedDictType, *, ignore_promotions: bool=…, prohibit_none_typevar_overlap: bool=…) -> bool - added:
function get_possible_variants(typ: Type) -> List[Type] - added:
function is_overlapping_erased_types(left: Type, right: Type, *, ignore_promotions: bool=…) -> bool - added:
function is_tuple(typ: Type) -> bool
- added:
method MessageBuilder.overload_signature_incompatible_with_supertype(name: str, name_in_super: str, supertype: str, overload: Overloaded, context: Context) -> None - added:
method MessageBuilder.overloaded_signatures_partial_overlap(index1: int, index2: int, context: Context) -> None - added:
method MessageBuilder.warn_both_operands_are_from_unions(context: Context) -> None - added:
method MessageBuilder.warn_operand_was_from_union(side: str, original: Type, context: Context) -> None
- added:
class BuildManagerBase - added:
class TypeOfAny(Enum) - added:
constructor BuildManagerBase() -> None - added:
field TypeOfAny.explicit - added:
field TypeOfAny.from_another_any - added:
field TypeOfAny.from_error - added:
field TypeOfAny.from_omitted_generics - added:
field TypeOfAny.from_unimported_type - added:
field TypeOfAny.implementation_artifact - added:
field TypeOfAny.special_form - added:
field TypeOfAny.unannotated - added:
method BuildManagerBase.add_stats(**kwds: Any) -> None - added:
method BuildManagerBase.log(*message: str) -> None - added:
method BuildManagerBase.log_fine_grained(*message: str) -> None - added:
method BuildManagerBase.trace(*message: str) -> None - added:
method BuildManagerBase.verbosity() -> int
- removed:
field ComplexExpr.value - changed:
constructor DictExpr(items: List[Tuple[Expression, Expression]]) -> None → constructor DictExpr(items: List[Tuple[Optional[Expression], Expression]]) -> None - changed:
constructor FakeInfo(*args: Any, **kwargs: Any) -> None → constructor FakeInfo(msg: str) -> None - changed:
constructor NamedTupleExpr(info: TypeInfo) -> None → constructor NamedTupleExpr(info: TypeInfo, is_typed: bool=…) -> None - changed:
method Decorator.fullname() -> str → method Decorator.fullname() -> Bogus[str] - changed:
method FuncBase.fullname() -> str → method FuncBase.fullname() -> Bogus[str] - changed:
method MypyFile.fullname() -> str → method MypyFile.fullname() -> Bogus[str] - changed:
method SymbolNode.fullname() -> str → method SymbolNode.fullname() -> Bogus[str] - changed:
method TypeInfo.fullname() -> str → method TypeInfo.fullname() -> Bogus[str] - changed:
method Var.fullname() -> str → method Var.fullname() -> Bogus[str] - added:
field NamedTupleExpr.is_typed - added:
field OverloadedFuncDef.unanalyzed_items - added:
variable CLASSDEF_NO_INFO - added:
variable FUNC_NO_INFO - added:
variable VAR_NO_INFO - added:
variable op_methods_that_shortcut - added:
variable op_methods_to_symbols
- removed:
field Options.OPTIONS_AFFECTING_CACHE - removed:
field Options.PER_MODULE_OPTIONS - added:
variable MYPY - added:
variable OPTIONS_AFFECTING_CACHE - added:
variable PER_MODULE_OPTIONS
- added:
method ChainedPlugin.get_customize_class_mro_hook(fullname: str) -> Optional[Callable[[ClassDefContext], None]] - added:
method Plugin.get_customize_class_mro_hook(fullname: str) -> Optional[Callable[[ClassDefContext], None]]
- changed:
constructor Attribute(name: str, info: TypeInfo, has_default: bool, init: bool, converter_name: Optional[str], context: Context) -> None → constructor Attribute(name: str, info: TypeInfo, has_default: bool, init: bool, converter: Converter, context: Context) -> None - added:
class Converter - added:
constructor Converter(name: Optional[str]=…, is_attr_converters_optional: bool=…) -> None
- removed:
field Scope.SavedScope - added:
variable SavedScope
- removed:
field SemanticAnalyzerPass2.is_typeshed_stub_file - removed:
function calculate_class_mro(defn: ClassDef, fail: Callable[[str, Context], None]) -> None - changed:
function calculate_mro(info: TypeInfo) -> None → function calculate_mro(info: TypeInfo, obj_type: Optional[Callable[[], Instance]]=…) -> None - changed:
function linearize_hierarchy(info: TypeInfo) -> List[TypeInfo] → function linearize_hierarchy(info: TypeInfo, obj_type: Optional[Callable[[], Instance]]=…) -> List[TypeInfo] - changed:
method SemanticAnalyzerPass2.add_exports(*exps: Expression) -> None → method SemanticAnalyzerPass2.add_exports(exp_or_exps: Union[Iterable[Expression], Expression]) -> None - changed:
method SemanticAnalyzerPass2.add_unknown_symbol(name: str, context: Context, is_import: bool=…) -> None → method SemanticAnalyzerPass2.add_unknown_symbol(name: str, context: Context, is_import: bool=…, target_name: Optional[str]=…) -> None - added:
method SemanticAnalyzerPass2.analyze_type_expr(expr: Expression) -> None - added:
method SemanticAnalyzerPass2.calculate_class_mro(defn: ClassDef, obj_type: Optional[Callable[[], Instance]]=…) -> None - added:
property SemanticAnalyzerPass2.is_typeshed_stub_file -> bool
- changed:
method NamedTupleAnalyzer.build_namedtuple_typeinfo(name: str, items: List[str], types: List[Type], default_items: Dict[str, Expression]) -> TypeInfo → method NamedTupleAnalyzer.build_namedtuple_typeinfo(name: str, items: List[str], types: List[Type], default_items: Mapping[str, Expression]) -> TypeInfo - changed:
method NamedTupleAnalyzer.fail_namedtuple_arg(message: str, context: Context) -> Tuple[List[str], List[Type], bool] → method NamedTupleAnalyzer.fail_namedtuple_arg(message: str, context: Context) -> Tuple[List[str], List[Type], List[Expression], bool] - changed:
method NamedTupleAnalyzer.parse_namedtuple_args(call: CallExpr, fullname: str) -> Tuple[List[str], List[Type], bool] → method NamedTupleAnalyzer.parse_namedtuple_args(call: CallExpr, fullname: str) -> Tuple[List[str], List[Type], List[Expression], bool] - changed:
method NamedTupleAnalyzer.parse_namedtuple_fields_with_types(nodes: List[Expression], context: Context) -> Tuple[List[str], List[Type], bool] → method NamedTupleAnalyzer.parse_namedtuple_fields_with_types(nodes: List[Expression], context: Context) -> Tuple[List[str], List[Type], List[Expression], bool] - added:
method NamedTupleAnalyzer.store_namedtuple_info(info: TypeInfo, name: str, call: CallExpr, is_typed: bool) -> None
- changed:
constructor SemanticAnalyzerPass3(modules: Dict[str, MypyFile], errors: Errors, sem: mypy.semanal.SemanticAnalyzerPass2) -> None → constructor SemanticAnalyzerPass3(modules: Dict[str, MypyFile], errors: Errors, sem: SemanticAnalyzerPass2) -> None
- changed:
method TypedDictAnalyzer.parse_typeddict_fields_with_types(dict_items: List[Tuple[Expression, Expression]], context: Context) -> Tuple[List[str], List[Type], bool] → method TypedDictAnalyzer.parse_typeddict_fields_with_types(dict_items: List[Tuple[Optional[Expression], Expression]], context: Context) -> Tuple[List[str], List[Type], bool]
- added:
method NodeStripVisitor.visit_block(b: Block) -> None
- changed:
constructor DependencyVisitor(type_map: Dict[Expression, Type], python_version: Tuple[int, int], alias_deps: DefaultDict[str, Set[str]]) -> None → constructor DependencyVisitor(type_map: Dict[Expression, Type], python_version: Tuple[int, int], alias_deps: DefaultDict[str, Set[str]], options: Optional[Options]=…) -> None - changed:
function dump_all_dependencies(modules: Dict[str, MypyFile], type_map: Dict[Expression, Type], python_version: Tuple[int, int]) -> None → function dump_all_dependencies(modules: Dict[str, MypyFile], type_map: Dict[Expression, Type], python_version: Tuple[int, int], options: Options) -> None - changed:
function get_dependencies(target: MypyFile, type_map: Dict[Expression, Type], python_version: Tuple[int, int]) -> Dict[str, Set[str]] → function get_dependencies(target: MypyFile, type_map: Dict[Expression, Type], python_version: Tuple[int, int], options: Options) -> Dict[str, Set[str]] - added:
method DependencyVisitor.get_unimported_fullname(e: MemberExpr, typ: AnyType) -> Optional[str] - added:
method DependencyVisitor.use_logical_deps() -> bool
- removed:
field SubexpressionFinder.visit__promote_expr - removed:
field SubexpressionFinder.visit_bytes_expr - removed:
field SubexpressionFinder.visit_complex_expr - removed:
field SubexpressionFinder.visit_ellipsis - removed:
field SubexpressionFinder.visit_float_expr - removed:
field SubexpressionFinder.visit_int_expr - removed:
field SubexpressionFinder.visit_name_expr - removed:
field SubexpressionFinder.visit_namedtuple_expr - removed:
field SubexpressionFinder.visit_newtype_expr - removed:
field SubexpressionFinder.visit_str_expr - removed:
field SubexpressionFinder.visit_super_expr - removed:
field SubexpressionFinder.visit_type_alias_expr - removed:
field SubexpressionFinder.visit_type_var_expr - removed:
field SubexpressionFinder.visit_typeddict_expr - removed:
field SubexpressionFinder.visit_unicode_expr - added:
method SubexpressionFinder.visit__promote_expr(o: Expression) -> None - added:
method SubexpressionFinder.visit_bytes_expr(o: Expression) -> None - added:
method SubexpressionFinder.visit_complex_expr(o: Expression) -> None - added:
method SubexpressionFinder.visit_ellipsis(o: Expression) -> None - added:
method SubexpressionFinder.visit_float_expr(o: Expression) -> None - added:
method SubexpressionFinder.visit_int_expr(o: Expression) -> None - added:
method SubexpressionFinder.visit_name_expr(o: Expression) -> None - added:
method SubexpressionFinder.visit_namedtuple_expr(o: Expression) -> None - added:
method SubexpressionFinder.visit_newtype_expr(o: Expression) -> None - added:
method SubexpressionFinder.visit_str_expr(o: Expression) -> None - added:
method SubexpressionFinder.visit_super_expr(o: Expression) -> None - added:
method SubexpressionFinder.visit_type_alias_expr(o: Expression) -> None - added:
method SubexpressionFinder.visit_type_var_expr(o: Expression) -> None - added:
method SubexpressionFinder.visit_typeddict_expr(o: Expression) -> None - added:
method SubexpressionFinder.visit_unicode_expr(o: Expression) -> None
- added:
class ReturnSeeker(mypy.traverser.TraverserVisitor) - added:
class SelfTraverser(mypy.traverser.TraverserVisitor) - added:
constructor ReturnSeeker() -> None - added:
constructor SelfTraverser() -> None - added:
method ReturnSeeker.visit_return_stmt(o: ReturnStmt) -> None - added:
method SelfTraverser.visit_assignment_stmt(o: AssignmentStmt) -> None
- changed:
constructor ProperSubtypeVisitor(right: Type) -> None → constructor ProperSubtypeVisitor(right: Type, *, ignore_promotions: bool=…) -> None - changed:
constructor SubtypeVisitor(right: Type, type_parameter_checker: TypeParameterChecker, *, ignore_pos_arg_names: bool=…, ignore_declared_variance: bool=…) -> None → constructor SubtypeVisitor(right: Type, *, ignore_type_params: bool, ignore_pos_arg_names: bool=…, ignore_declared_variance: bool=…, ignore_promotions: bool=…) -> None - changed:
function is_equivalent(a: Type, b: Type, type_parameter_checker: TypeParameterChecker=…, *, ignore_pos_arg_names: bool=…) -> bool → function is_equivalent(a: Type, b: Type, *, ignore_type_params: bool=…, ignore_pos_arg_names: bool=…) -> bool - changed:
function is_more_precise(left: Type, right: Type) -> bool → function is_more_precise(left: Type, right: Type, *, ignore_promotions: bool=…) -> bool - changed:
function is_proper_subtype(left: Type, right: Type) -> bool → function is_proper_subtype(left: Type, right: Type, *, ignore_promotions: bool=…) -> bool - changed:
function is_subtype(left: Type, right: Type, type_parameter_checker: TypeParameterChecker=…, *, ignore_pos_arg_names: bool=…, ignore_declared_variance: bool=…) -> bool → function is_subtype(left: Type, right: Type, *, ignore_type_params: bool=…, ignore_pos_arg_names: bool=…, ignore_declared_variance: bool=…, ignore_promotions: bool=…) -> bool - added:
function ignore_type_parameter(s: Type, t: Type, v: int) -> bool - added:
static method ProperSubtypeVisitor.build_subtype_kind(*, ignore_promotions: bool=…) -> SubtypeKind - added:
static method SubtypeVisitor.build_subtype_kind(*, ignore_type_params: bool=…, ignore_pos_arg_names: bool=…, ignore_declared_variance: bool=…, ignore_promotions: bool=…) -> SubtypeKind
- added:
constructor TraverserVisitor() -> None
- added:
class SyntheticTypeVisitor(TypeVisitor[T]) - added:
class TypeQuery(SyntheticTypeVisitor[T]) - added:
class TypeTranslator(TypeVisitor[Type]) - added:
class TypeVisitor(Generic[T]) - added:
constructor TypeQuery(strategy: Callable[[Iterable[T]], T]) -> None - added:
method SyntheticTypeVisitor.visit_callable_argument(t: CallableArgument) -> T - added:
method SyntheticTypeVisitor.visit_ellipsis_type(t: EllipsisType) -> T - added:
method SyntheticTypeVisitor.visit_star_type(t: StarType) -> T - added:
method SyntheticTypeVisitor.visit_type_list(t: TypeList) -> T - added:
method TypeQuery.query_types(types: Iterable[Type]) -> T - added:
method TypeQuery.visit_any(t: AnyType) -> T - added:
method TypeQuery.visit_callable_argument(t: CallableArgument) -> T - added:
method TypeQuery.visit_callable_type(t: CallableType) -> T - added:
method TypeQuery.visit_deleted_type(t: DeletedType) -> T - added:
method TypeQuery.visit_ellipsis_type(t: EllipsisType) -> T - added:
method TypeQuery.visit_erased_type(t: ErasedType) -> T - added:
method TypeQuery.visit_forwardref_type(t: ForwardRef) -> T - added:
method TypeQuery.visit_instance(t: Instance) -> T - added:
method TypeQuery.visit_none_type(t: NoneTyp) -> T - added:
method TypeQuery.visit_overloaded(t: Overloaded) -> T - added:
method TypeQuery.visit_partial_type(t: PartialType) -> T - added:
method TypeQuery.visit_star_type(t: StarType) -> T - added:
method TypeQuery.visit_tuple_type(t: TupleType) -> T - added:
method TypeQuery.visit_type_list(t: TypeList) -> T - added:
method TypeQuery.visit_type_type(t: TypeType) -> T - added:
method TypeQuery.visit_type_var(t: TypeVarType) -> T - added:
method TypeQuery.visit_typeddict_type(t: TypedDictType) -> T - added:
method TypeQuery.visit_unbound_type(t: UnboundType) -> T - added:
method TypeQuery.visit_uninhabited_type(t: UninhabitedType) -> T - added:
method TypeQuery.visit_union_type(t: UnionType) -> T - added:
method TypeTranslator.translate_types(types: List[Type]) -> List[Type] - added:
method TypeTranslator.translate_variables(variables: List[TypeVarDef]) -> List[TypeVarDef] - added:
method TypeTranslator.visit_any(t: AnyType) -> Type - added:
method TypeTranslator.visit_callable_type(t: CallableType) -> Type - added:
method TypeTranslator.visit_deleted_type(t: DeletedType) -> Type - added:
method TypeTranslator.visit_erased_type(t: ErasedType) -> Type - added:
method TypeTranslator.visit_forwardref_type(t: ForwardRef) -> Type - added:
method TypeTranslator.visit_instance(t: Instance) -> Type - added:
method TypeTranslator.visit_none_type(t: NoneTyp) -> Type - added:
method TypeTranslator.visit_overloaded(t: Overloaded) -> Type - added:
method TypeTranslator.visit_partial_type(t: PartialType) -> Type - added:
method TypeTranslator.visit_tuple_type(t: TupleType) -> Type - added:
method TypeTranslator.visit_type_type(t: TypeType) -> Type - added:
method TypeTranslator.visit_type_var(t: TypeVarType) -> Type - added:
method TypeTranslator.visit_typeddict_type(t: TypedDictType) -> Type - added:
method TypeTranslator.visit_unbound_type(t: UnboundType) -> Type - added:
method TypeTranslator.visit_uninhabited_type(t: UninhabitedType) -> Type - added:
method TypeTranslator.visit_union_type(t: UnionType) -> Type - added:
method TypeVisitor.visit_any(t: AnyType) -> T - added:
method TypeVisitor.visit_callable_type(t: CallableType) -> T - added:
method TypeVisitor.visit_deleted_type(t: DeletedType) -> T - added:
method TypeVisitor.visit_erased_type(t: ErasedType) -> T - added:
method TypeVisitor.visit_forwardref_type(t: ForwardRef) -> T - added:
method TypeVisitor.visit_instance(t: Instance) -> T - added:
method TypeVisitor.visit_none_type(t: NoneTyp) -> T - added:
method TypeVisitor.visit_overloaded(t: Overloaded) -> T - added:
method TypeVisitor.visit_partial_type(t: PartialType) -> T - added:
method TypeVisitor.visit_tuple_type(t: TupleType) -> T - added:
method TypeVisitor.visit_type_type(t: TypeType) -> T - added:
method TypeVisitor.visit_type_var(t: TypeVarType) -> T - added:
method TypeVisitor.visit_typeddict_type(t: TypedDictType) -> T - added:
method TypeVisitor.visit_unbound_type(t: UnboundType) -> T - added:
method TypeVisitor.visit_uninhabited_type(t: UninhabitedType) -> T - added:
method TypeVisitor.visit_union_type(t: UnionType) -> T - added:
variable T
- added:
function fix_instance(t: Instance, fail: Callable[[str, Context], None]) -> None
- removed:
class SyntheticTypeVisitor(TypeVisitor[T]) - removed:
class TypeOfAny(Enum) - removed:
class TypeQuery(SyntheticTypeVisitor[T]) - removed:
class TypeTranslator(TypeVisitor[Type]) - removed:
class TypeVisitor(Generic[T]) - removed:
constructor TypeQuery(strategy: Callable[[Iterable[T]], T]) -> None - removed:
field TypeOfAny.explicit - removed:
field TypeOfAny.from_another_any - removed:
field TypeOfAny.from_error - removed:
field TypeOfAny.from_omitted_generics - removed:
field TypeOfAny.from_unimported_type - removed:
field TypeOfAny.implementation_artifact - removed:
field TypeOfAny.special_form - removed:
field TypeOfAny.unannotated - removed:
method SyntheticTypeVisitor.visit_callable_argument(t: CallableArgument) -> T - removed:
method SyntheticTypeVisitor.visit_ellipsis_type(t: EllipsisType) -> T - removed:
method SyntheticTypeVisitor.visit_star_type(t: StarType) -> T - removed:
method SyntheticTypeVisitor.visit_type_list(t: TypeList) -> T - removed:
method TypeQuery.query_types(types: Iterable[Type]) -> T - removed:
method TypeQuery.visit_any(t: AnyType) -> T - removed:
method TypeQuery.visit_callable_argument(t: CallableArgument) -> T - removed:
method TypeQuery.visit_callable_type(t: CallableType) -> T - removed:
method TypeQuery.visit_deleted_type(t: DeletedType) -> T - removed:
method TypeQuery.visit_ellipsis_type(t: EllipsisType) -> T - removed:
method TypeQuery.visit_erased_type(t: ErasedType) -> T - removed:
method TypeQuery.visit_forwardref_type(t: ForwardRef) -> T - removed:
method TypeQuery.visit_instance(t: Instance) -> T - removed:
method TypeQuery.visit_none_type(t: NoneTyp) -> T - removed:
method TypeQuery.visit_overloaded(t: Overloaded) -> T - removed:
method TypeQuery.visit_partial_type(t: PartialType) -> T - removed:
method TypeQuery.visit_star_type(t: StarType) -> T - removed:
method TypeQuery.visit_tuple_type(t: TupleType) -> T - removed:
method TypeQuery.visit_type_list(t: TypeList) -> T - removed:
method TypeQuery.visit_type_type(t: TypeType) -> T - removed:
method TypeQuery.visit_type_var(t: TypeVarType) -> T - removed:
method TypeQuery.visit_typeddict_type(t: TypedDictType) -> T - removed:
method TypeQuery.visit_unbound_type(t: UnboundType) -> T - removed:
method TypeQuery.visit_uninhabited_type(t: UninhabitedType) -> T - removed:
method TypeQuery.visit_union_type(t: UnionType) -> T - removed:
method TypeTranslator.translate_types(types: List[Type]) -> List[Type] - removed:
method TypeTranslator.translate_variables(variables: List[TypeVarDef]) -> List[TypeVarDef] - removed:
method TypeTranslator.visit_any(t: AnyType) -> Type - removed:
method TypeTranslator.visit_callable_type(t: CallableType) -> Type - removed:
method TypeTranslator.visit_deleted_type(t: DeletedType) -> Type - removed:
method TypeTranslator.visit_erased_type(t: ErasedType) -> Type - removed:
method TypeTranslator.visit_forwardref_type(t: ForwardRef) -> Type - removed:
method TypeTranslator.visit_instance(t: Instance) -> Type - removed:
method TypeTranslator.visit_none_type(t: NoneTyp) -> Type - removed:
method TypeTranslator.visit_overloaded(t: Overloaded) -> Type - removed:
method TypeTranslator.visit_partial_type(t: PartialType) -> Type - removed:
method TypeTranslator.visit_tuple_type(t: TupleType) -> Type - removed:
method TypeTranslator.visit_type_type(t: TypeType) -> Type - removed:
method TypeTranslator.visit_type_var(t: TypeVarType) -> Type - removed:
method TypeTranslator.visit_typeddict_type(t: TypedDictType) -> Type - removed:
method TypeTranslator.visit_unbound_type(t: UnboundType) -> Type - removed:
method TypeTranslator.visit_uninhabited_type(t: UninhabitedType) -> Type - removed:
method TypeTranslator.visit_union_type(t: UnionType) -> Type - removed:
method TypeVisitor.visit_any(t: AnyType) -> T - removed:
method TypeVisitor.visit_callable_type(t: CallableType) -> T - removed:
method TypeVisitor.visit_deleted_type(t: DeletedType) -> T - removed:
method TypeVisitor.visit_erased_type(t: ErasedType) -> T - removed:
method TypeVisitor.visit_forwardref_type(t: ForwardRef) -> T - removed:
method TypeVisitor.visit_instance(t: Instance) -> T - removed:
method TypeVisitor.visit_none_type(t: NoneTyp) -> T - removed:
method TypeVisitor.visit_overloaded(t: Overloaded) -> T - removed:
method TypeVisitor.visit_partial_type(t: PartialType) -> T - removed:
method TypeVisitor.visit_tuple_type(t: TupleType) -> T - removed:
method TypeVisitor.visit_type_type(t: TypeType) -> T - removed:
method TypeVisitor.visit_type_var(t: TypeVarType) -> T - removed:
method TypeVisitor.visit_typeddict_type(t: TypedDictType) -> T - removed:
method TypeVisitor.visit_unbound_type(t: UnboundType) -> T - removed:
method TypeVisitor.visit_uninhabited_type(t: UninhabitedType) -> T - removed:
method TypeVisitor.visit_union_type(t: UnionType) -> T - changed:
constructor TypeType(item: Union[Instance, AnyType, TypeVarType, TupleType, NoneTyp, CallableType], *, line: int=…, column: int=…) -> None → constructor TypeType(item: Bogus[Union[Instance, AnyType, TypeVarType, TupleType, NoneTyp, CallableType]], *, line: int=…, column: int=…) -> None - changed:
method AnyType.copy_modified(type_of_any: TypeOfAny=…, original_any: Optional[AnyType]=…) -> AnyType → method AnyType.copy_modified(type_of_any: Bogus[TypeOfAny]=…, original_any: Bogus[Optional[AnyType]]=…) -> AnyType - changed:
method CallableType.copy_modified(arg_types: List[Type]=…, arg_kinds: List[int]=…, arg_names: List[Optional[str]]=…, ret_type: Type=…, fallback: Instance=…, name: Optional[str]=…, definition: SymbolNode=…, variables: List[TypeVarDef]=…, line: int=…, column: int=…, is_ellipsis_args: bool=…, implicit: bool=…, special_sig: Optional[str]=…, from_type_type: bool=…, bound_args: List[Optional[Type]]=…,… → method CallableType.copy_modified(arg_types: Bogus[List[Type]]=…, arg_kinds: Bogus[List[int]]=…, arg_names: Bogus[List[Optional[str]]]=…, ret_type: Bogus[Type]=…, fallback: Bogus[Instance]=…, name: Bogus[Optional[str]]=…, definition: Bogus[SymbolNode]=…, variables: Bogus[List[TypeVarDef]]=…, line: Bogus[int]=…, column: Bogus[int]=…, is_ellipsis_args: Bogus[bool]=…, implicit: Bogus[bool]=…, specia… - added:
method TypeVarDef.erase_to_union_or_bound() -> Type
- removed:
static method TypeState.is_cached_proper_subtype_check(left: Instance, right: Instance) -> bool - removed:
static method TypeState.record_proper_subtype_cache_entry(left: Instance, right: Instance) -> None - changed:
static method TypeState.is_cached_subtype_check(left: Instance, right: Instance) -> bool → static method TypeState.is_cached_subtype_check(kind: SubtypeKind, left: Instance, right: Instance) -> bool - changed:
static method TypeState.record_subtype_cache_entry(left: Instance, right: Instance) -> None → static method TypeState.record_subtype_cache_entry(kind: SubtypeKind, left: Instance, right: Instance) -> None - added:
variable SubtypeCache - added:
variable SubtypeKind - added:
variable SubtypeRelationship
- changed:
function replace_object_state(new: object, old: object) -> None → function replace_object_state(new: object, old: object, copy_dict: bool=…) -> None - added:
function get_class_descriptors(cls: Type[object]) -> Sequence[str] - added:
variable MYPY - added:
variable fields_cache