Go fails to infer type in assignment: “non-name on left side of :=”

Question

This snippet works as expected play.golang.org/p/VuCl-OKMav

i := 10
next := 11
prev, i := i, next

Ho

Answer 1

It's an open issue.

Issue 6842: spec: Assigning to fields with short declaration notation

Answer 2

From the spec's Short variable declarations section:

Unlike regular variable declarations, a short variable declaration may redeclare variables provided they were originally declared earlier in the same block...with the same type, and at least one of the non-blank variables is new.

So if you declare the variable inside another type (struct Foo in the example), it is disqualified by "provided they were originally declared earlier in the same block".

So the answer is to just set the pre-declared variable equal not using the := syntax to the value:

...
var prev int
prev, f.Bar = f.Bar, next
...

Answer 3

It's not really a type inference issue, it's just that the left-hand-side of := must be a list of identifiers, and f.Bar is not an identifier, so it can't be declared — not even with :='s slightly-more-permissive rules for what it can declare. See "Short variable declarations" in The Go Programming Language Specification.