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

SP>не совсем понимаю логику языка

SP>почему такой код возможен

Так обобщенная же функция + вывод типов по использованию.

SP>а такой — нет

Перегрузки функций как в C++ в расте нет, хотя твой второй пример и в С++ не заработает, по возвращаемому значению же нет и в С++ перегрузки.