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

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 才可以这样。