May 19, 2025 · May 19, 2025 · May 19, 2025 · May 19, 2025 · May 19, 2025 · May 19, 2025
diff --git a/mypy/checker.py b/mypy/checker.py
            and (self.options.check_untyped_defs or not defn.is_dynamic())
            and (
                # don't check override for synthesized __replace__ methods from dataclasses
                defn.name != "__replace__" or defn.info.metadata.get("dataclass_tag") is None
                defn.name != "__replace__"
                or defn.info.metadata.get("dataclass_tag") is None
            )
        )
        found_method_base_classes: list[TypeInfo] = []
            self.store_type(lvalue, lvalue_type)
        elif isinstance(lvalue, (TupleExpr, ListExpr)):
            types = [
                self.check_lvalue(sub_expr)[0]
                or
                self.check_lvalue(sub_expr)[0] or
                # This type will be used as a context for further inference of rvalue,
                # we put Uninhabited if there is no information available from lvalue.
                UninhabitedType()
Original file line number	Diff line number	Diff line change
Expand Up		@@ -2111,7 +2111,8 @@ def check_method_override(
		and (self.options.check_untyped_defs or not defn.is_dynamic())
		and (
		# don't check override for synthesized __replace__ methods from dataclasses
		defn.name != "__replace__" or defn.info.metadata.get("dataclass_tag") is None
		defn.name != "__replace__"
		or defn.info.metadata.get("dataclass_tag") is None
		)
		)
		found_method_base_classes: list[TypeInfo] = []
Expand DownExpand Up		@@ -4285,8 +4286,7 @@ def check_lvalue(
		self.store_type(lvalue, lvalue_type)
		elif isinstance(lvalue, (TupleExpr, ListExpr)):
		types = [
		self.check_lvalue(sub_expr)[0]
		or
		self.check_lvalue(sub_expr)[0] or
		# This type will be used as a context for further inference of rvalue,
		# we put Uninhabited if there is no information available from lvalue.
		UninhabitedType()
Expand Down