ch <- i
PCDATA $1, $0

CALL runtime.chansend1(SB)

ch <- i + 0

MOVQ (CX), CX

MOVQ CX, command-line-arguments..autotmp_0+16(SP)

LEAQ command-line-arguments..autotmp_0+16(SP), BX

PCDATA $1, $0

CALL runtime.chansend1(SB)

ch <- i + 1

MOVQ (CX), CX

INCQ CX

MOVQ CX, command-line-arguments..autotmp_0+16(SP)

LEAQ command-line-arguments..autotmp_0+16(SP), BX

PCDATA $1, $0

CALL runtime.chansend1(SB)

ch <- i + 2

MOVQ (CX), CX

ADDQ $2, CX

MOVQ CX, command-line-arguments..autotmp_0+16(SP)

LEAQ command-line-arguments..autotmp_0+16(SP), BX

PCDATA $1, $0

CALL runtime.chansend1(SB)

но лучше сами попробуйте, разные варианты, если дружите с ассемблером

> какая функция "замкнула" переменную и "изменяет" её? вы о чём? внешняя её изменяет но не замыкает (т.к. переменная глобальная) а внутренняя замыкает но не изменяет

хм, я честно говоря думал, что вы сможете сообразить, что это не полный пример а его основная часть, демонсрация поведения так сказать
Ну хорошо вот полный пример

package main

import "fmt"

func main() {
	example()
}

func example() {
	var i = 0
	f := func() int {
		i = 15
		return i
	}

	fmt.Println(i*i + 15)  // 15
	fmt.Println(i*i + f()) // 240
}

переменная i здесь не глобальная, а локальная для функции example, функция которую мы присвоили переменной f замкнула переменую i и... ну а далее надеюсь вы помните, и возможно даже увидите сходство примеров, что здесь f() выполняется до того как будет выполнена арифметическая операция, так как если бы было иначе, то первым должно было бы выполниться умножение в соответствии с приоритетом над +
но на всякий случай допишу - сходство примера здесь в том, что казалось бы на одной строчке кода, есть разные две операции имеющие разный приоритет выполнения, в этом примере функция выполнится до того как начнет выполняться арифметическая операция `i * i + (значение временной переменной хранящее значение функции f)` так же и в вашем примере ch <- i + 0 есть две совершенно разные операции, с разным приоритетом выполнения и арифметическая операция i + 0 будет выполнена первой и ее значение будет "записано во временную переменную" (сохранено на стек) и вот когда дело дойдет до кода `ch <- ...` то здесь уже нет переменной i здесь есть "временная переменная хранящая полученное значение операции которая уже завершилась" (значение хранящееся на стеке)

Честно говоря если после такой попытки разжевать все до элементарных вещей вы по прежнему останетесь при своем, то я умываю руки :)

    var i = 0
	f := func() int {
		i = 15
		return i
	}

	fmt.Println(i*i + 15) // 15
	fmt.Println(i*i + f()) // 240

казалось бы сначала выполняется умножение и только потом сложение, но мы можем использовать в выражении только то что подходит по типу, а f() не подходит по типу, так как это не int это функция результатом выполнения который будет значение с типом int, поэтому прежде, чем приступить к разбору арифметической операции и ее вычислению, мы выполняем функцию, которая замкнула переменную i и изменяет ее внутри тела, поэтому когда дело дойдет до самой арифметической операции, то значение переменной i уже изменилось
точно также в примере из статьи, когда дело доходит до `ch <-` там уже нет переменной i там есть результат выражения i + 0 сохраненный в локальную переменную, и поэтому никакое дальнейшее изменение i не влияет на то, что уйдет в канал

Отправка в канал происходит не в момент инструкции <- а в момент когда есть либо читатель либо буфер.

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