spec: clarify restrictions on RHS of non-constant shifts
spec: clarify restrictions on RHS of non-constant shifts

For non-constant shifts with an untyped constant shift count, the
spec only said that it must "be converted to unsigned integer type".
go/types accepts any (arbitrarily large) integer value. Both cmd/compile
and gccgo require that the shift count be representable as a uint value
in that case (if the shift count is typed, it may be any unsigned integer
type).

This change adjusts the spec to state what the compilers have been doing
all along. The new wording matches similar rules elsewhere (e.g., for
untyped array and slice indices). Also, while technically this is a
restriction (we could permit arbitrarily large shift counts), in practice
this is irrelevant.

Fixes #14822.

Change-Id: Ia75834c67483cf761c10025c8df758f225ef67c2
Reviewed-on: https://go-review.googlesource.com/45072
Reviewed-by: Ian Lance Taylor <87e9c6d529889242b7e184afb632328636553ab4@golang.org>

nawawi/go,josharian/go,cloudflare/go,josharian/go,Cofyc/go,CAFxX/go,CAFxX/go,CAFxX/go,polyverse-security/go,josharian/go,codestation/go,vsekhar/elastic-go,vsekhar/elastic-go,cloudflare/go,josharian/go,christopher-henderson/Go,codestation/go,Cofyc/go,polyverse-security/go,nawawi/go,Cofyc/go,josharian/go,polyverse-security/go,akutz/go,CAFxX/go,cloudflare/go,golang/go,golang/go,vsekhar/elastic-go,cloudflare/go,vsekhar/elastic-go,cloudflare/go,Cofyc/go,cloudflare/go,golang/go,golang/go,codestation/go,nawawi/go,josharian/go,polyverse-security/go,cloudflare/go,nawawi/go,akutz/go,Cofyc/go,CAFxX/go,codestation/go,polyverse-security/go,vsekhar/elastic-go,josharian/go,codestation/go,akutz/go,golang/go,vsekhar/elastic-go,akutz/go,akutz/go,polyverse-security/go,polyverse-security/go,nawawi/go,golang/go,vsekhar/elastic-go,vsekhar/elastic-go,nawawi/go,nawawi/go,cloudflare/go,CAFxX/go,Cofyc/go,akutz/go,akutz/go,golang/go,CAFxX/go,codestation/go,Cofyc/go,codestation/go,akutz/go,CAFxX/go,codestation/go,Cofyc/go,polyverse-security/go,nawawi/go,golang/go,josharian/go