这段代码的变量声明为什么不会有问题？

var t interface{}
t = functionOfSomeType()
switch t := t.(type) {
default:
    fmt.Printf("unexpected type %T", t)       // %T prints whatever type t has
case bool:
    fmt.Printf("boolean %t\n", t)             // t has type bool
case int:
    fmt.Printf("integer %d\n", t)             // t has type int
case *bool:
    fmt.Printf("pointer to boolean %t\n", *t) // t has type *bool
case *int:
    fmt.Printf("pointer to integer %d\n", *t) // t has type *int
} 

来自 Effective Go 里面的代码，不明白那个 t := t.(type) 这里为何不冲突呢。文档解释说，这里重用了这个名字，去重新声明了一个新变量，他们名字相同但是类型不同。还可以这样用？或者是仅仅在 类型 switch 才可以这样。