Почему foo: = foo () не приводит к ошибке?

Question

Я пытаюсь понять, почему в Go следующий код не выдает ошибку.

func main() {
  foo := foo()
  fmt.Println(foo)
}

func foo() int {
  return 1 
}

Foo уже определен в глобальной области видимости, почему я могу переопределить его?

Answer 1

https://golang.org/ref/spec#Declarations_and_scope

Идентификатор, объявленный в блоке, может быть повторно объявлен во внутреннем блоке.Пока идентификатор внутренней декларации находится в области видимости, он обозначает сущность, объявленную внутренней декларацией.

Answer 2

Возможно переопределить идентификатор во внутреннем блоке. Программа выдает ошибку, если один и тот же идентификатор объявлен дважды в одном и том же блоке.

Рассмотрим этот пример для понимания области действия:

package main
import "fmt"
var v="global"

func main() {
v := v
fmt.Println(v)

//v := v 
//Error: Same identifier 'v' declared again

{
v := "inner"
fmt.Println(v)  
}
fmt.Println(v)
}

Вывод программы:

global
inner
global