環境

Python 3.12.1
mypy 1.10.0

何が起きたか

sum()の戻り値をresult*という変数に代入しています。
result*という変数の型を間違えてfloatではなくintにしたとき、mypyでは以下のエラーが発生しました。

sample.py

result1_ok: float = sum([1.1, 2.2])
# mypy error
result1_error: int = sum([1.1, 2.2])

result2_ok: float = sum({"a":1.1, "b":2.2}.values())
# mypy error
result2_error: int = sum({"a":1.1, "b":2.2}.values())

$ mypy sample.py
sample.py:3: error: List item 0 has incompatible type "float"; expected "bool"  [list-item]
sample.py:3: error: List item 1 has incompatible type "float"; expected "bool"  [list-item]
sample.py:7: error: Argument 1 to "sum" has incompatible type "dict_values[str, float]"; expected "Iterable[bool]"  [arg-type]

3行目は、「listの要素の型はfloatではなくboolを期待している」と言っています。
7行目は、「boolのiterableが渡されることを期待している」と言っています。
なぜboolが期待されているか分からなかったので、エラーの原因を突き止めるのに少し時間がかかりました。

"boolを期待している"というメッセージはどこから来るのか

sum()関数は以下のstubを参照しているようです。

# In general, the return type of `x + x` is *not* guaranteed to be the same type as x.
# However, we can't express that in the stub for `sum()`
# without creating many false-positive errors (see #7578).
# Instead, we special-case the most common examples of this: bool and literal integers.
@overload
def sum(iterable: Iterable[bool | _LiteralInteger], /, start: int = 0) -> int: ...  # type: ignore[overload-overlap]
@overload
def sum(iterable: Iterable[_SupportsSumNoDefaultT], /) -> _SupportsSumNoDefaultT | Literal[0]: ...
@overload
def sum(iterable: Iterable[_AddableT1], /, start: _AddableT2) -> _AddableT1 | _AddableT2: ...

一番上のsum()関数はdef sum() -> intになっています。この定義を見てsum()の戻りの型がintならば、sum()の引数の型はIterable[bool | _LiteralInteger]で、「boolを期待している」というエラーメッセージが表示されるのかもしれません。
詳しい原因は分かりませんでした。