Здравствуйте, σ, Вы писали:

σ>Каким образом это упрощает понимание какой из overloads вызовется?

Никаким. Иногда, даже зная тип, фиг поймешь, какая должна подхватиться перегрузка, приходится отладчик запускать.

σ>Функция будет разная выбираться, в зависимости от того, какие между auto var = func(); и verloads(var); «другие действия», что ли?

Нет, конечно. Я просто пытался высказать мысль, что чем сложнее код, тем более востребована явная спецификация типов для его понимания. Прямой связи с резолвингом перегрузок нет.