spec: incorrect annotation to code example

[3bodar]

The "int" in the comment below is incorrect, should be "int32" (example from here):

var n = 1.0<<s == j            // 1.0 has type int; n == true

According to the rules

If the left operand of a non-constant shift expression is an untyped constant, it is first implicitly converted to the type it would assume if the shift expression were replaced by its left operand alone.

So the untyped constant 1.0 will be converted to the type is would assume if the declaration was var n = 1.0 == j, which is the type of j, int32.

All other annotations in that snippet are in agreement with the rules, afaict.

[ianlancetaylor]

CC @griesemer

I think this is correct.

[griesemer]

Agreed that it should be int32. And the type checker agrees as well.

[gopherbot]

Change https://golang.org/cl/350409 mentions this issue: spec: fix incorrect type in a shift example

[gopherbot]

Change https://golang.org/cl/350410 mentions this issue: go/types, types2: add an additional shift test case