Почему присваивание значения переменной не рассматривается как использование переменной?

В языке программирования Go присваивание значения переменной и использование переменной это две разные операции, и компилятор не рассматривает их как эквивалентные.
Когда вы присваиваете значение переменной в Go, это означает, что вы изменяете значение, которое хранится в памяти по адресу переменной. Присваивание выполняется с использованием оператора "=", который указывает компилятору скопировать значение из одного операнда в другой.

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

Компилятор Go не рассматривает присваивание значения переменной как использование потому, что такая операция не требует доступа к значению переменной и поэтому не имеет никакого эффекта на выполнение программы.

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

Потому что вы должны хотя бы раз прочитать значение переменной. Во всех случаях, которые вы приводите, где ошибки нет — значение переменной где-то читается. 
 Это сделано, чтобы исключить ряд багов, которые может допустить программист (например, зашедоуить переменную из скоупа выше и присвоить значение во временную переменную вместо оригинальной переменной).

Вопрос: Почему присвоение переменной значения не считается использованием ?
 В целом можно ответить, что так решили разрабы, но в целом это логично, т.к. при присовении нового значения вы ничего не делаете с переменной, т.е. она фактически просто занимает память и не используется ни в каком выражении. 
 
value = value + 1
 В целом по логике этот случай тоже можно было бы отнести к неиспользованию, но вероятно тут такая логика, что это значение используется для вычисления нового значения, что по сути является использованием, компилятор не чекает используется дальше вычисленное значение но в данном случае это уже не особо и важно.  В целом для обход not used есть такой способ 
 
 Про "if value > 5 {" еще проще, это уже полноценное использование переменной в условии