var sum: #decltype(values.0) でもいいか。

12:39 PM

ああ、いずれにせよ、足せないです。

12:40 PM

T はクロージャの中でしか具体的な型を持たない

言いたかったのはそういうことで、型システム的に異なる意味をもっているということです。