Oct 16, 2025 · Jul 15, 2025 · Jul 16, 2025 · Jul 17, 2025 · Jul 17, 2025 · Jul 17, 2025
diff --git a/mypy/checker.py b/mypy/checker.py
            # attempt to narrow anything. Instead, we broaden the expr to Any to
            # avoid false positives
            return proposed_type, default
        elif not any(
            type_range.is_upper_bound for type_range in proposed_type_ranges
        ) and (
        elif not any(type_range.is_upper_bound for type_range in proposed_type_ranges) and (
            # concrete subtypes
            is_proper_subtype(current_type, proposed_type, ignore_promotions=True)
            # structural subtypes
Original file line number	Diff line number	Diff line change
Expand Up		@@ -8022,9 +8022,7 @@ def conditional_types(
		# attempt to narrow anything. Instead, we broaden the expr to Any to
		# avoid false positives
		return proposed_type, default
		elif not any(
		type_range.is_upper_bound for type_range in proposed_type_ranges
		) and (
		elif not any(type_range.is_upper_bound for type_range in proposed_type_ranges) and (
		# concrete subtypes
		is_proper_subtype(current_type, proposed_type, ignore_promotions=True)
		# structural subtypes
Expand Down