Гарантируется ли порядок вычисления аргументов функции в Go?

Да, порядок вычисления аргументов строго определён: выражения вычисляются слева направо. Это отличается от некоторых других языков, где порядок может быть не определён. Поэтому в Go можно уверенно полагаться на порядок вычисления аргументов при вызове функции.