diff options
| author | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2021-08-12 20:22:27 +0000 |
|---|---|---|
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2021-08-12 20:22:27 +0000 |
| commit | 4d3cc84774549d26e52cbba3a0ffc50d3ede80d5 (patch) | |
| tree | de3466e3b835e2c18fa03548ddf0619f5555575b /src/go/types/check_test.go | |
| parent | 7e9f911ec4fd08ce9b4296f0aea4864b53064573 (diff) | |
| parent | a64ab8d3ecb38e10007e136edc9dc3abde873e1e (diff) | |
| download | go-dev.typeparams.tar.gz go-dev.typeparams.zip | |
Merge "[dev.typeparams] all: merge master (46fd547) into dev.typeparams" into dev.typeparamsdev.typeparams
Diffstat (limited to 'src/go/types/check_test.go')
| -rw-r--r-- | src/go/types/check_test.go | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/go/types/check_test.go b/src/go/types/check_test.go index 692004facf..8c8452c9c6 100644 --- a/src/go/types/check_test.go +++ b/src/go/types/check_test.go @@ -354,6 +354,13 @@ func TestIndexRepresentability(t *testing.T) { testFiles(t, &StdSizes{4, 4}, []string{"index.go"}, [][]byte{[]byte(src)}, false, nil) } +func TestIssue47243_TypedRHS(t *testing.T) { + // The RHS of the shift expression below overflows uint on 32bit platforms, + // but this is OK as it is explicitly typed. + const src = "package issue47243\n\nvar a uint64; var _ = a << uint64(4294967296)" // uint64(1<<32) + testFiles(t, &StdSizes{4, 4}, []string{"p.go"}, [][]byte{[]byte(src)}, false, nil) +} + func TestCheck(t *testing.T) { DefPredeclaredTestFuncs(); testDirFiles(t, "testdata/check", false) } func TestExamples(t *testing.T) { testDirFiles(t, "testdata/examples", false) } func TestFixedbugs(t *testing.T) { testDirFiles(t, "testdata/fixedbugs", false) } |