我偶然发现了一个奇怪的问题，下面的代码无法编译：

func main() {
    var val reflect.Value
    var tm time.Time

    if tm, err := time.Parse(time.RFC3339, "2018-09-11T17:50:54.247Z"); err != nil {
        panic(err)
    }
    val = reflect.ValueOf(tm)

    fmt.Println(val, tm, reflect.TypeOf(tm))
}

错误（代码是linter推荐的代码）。：

$ go run main.go
# command-line-arguments
./main.go:13:5: tm declared and not used

注意，tm确实使用了该变量。

但是，如果我添加了else块-一切都会按预期编译：

func main() {
    var val reflect.Value
    var tm time.Time

    if tm, err := time.Parse(time.RFC3339, "2018-09-11T17:50:54.247Z"); err != nil {
        panic(err)
    } else {
        val = reflect.ValueOf(tm)
    }

    fmt.Println(val, tm, reflect.TypeOf(tm))
}

这看起来像是编译器中的错误，还是一个已知问题？任何想法？（我正在使用go 1.11）

编辑：到目前为止的所有被告。按照：https
:
//golang.org/ref/spec#Short_variable_declarations

与常规变量声明不同，短变量声明可以重新声明变量，前提是它们最初是在相同类型的同一个块中（如果该块是函数体的话，则在参数列表中）被声明为更早，且类型相同，并且至少有一个非空变量是新的。因此，重新声明只能出现在多变量简短声明中。重新声明不会引入新的变量；它只是为原始值分配一个新值。