go/types, types2: add a test case for shifts that used to fail

For #42989.

Change-Id: Ic354edde23ed7bfb4cb3eec2794f7213ed862b47
Reviewed-on: https://go-review.googlesource.com/c/go/+/303090
Trust: Robert Griesemer <gri@golang.org>
Reviewed-by: Robert Findley <rfindley@google.com>

diff --git a/src/cmd/compile/internal/types2/testdata/issues.src b/src/cmd/compile/internal/types2/testdata/issues.src
index 940d20408415aa5326c01c0ee4cd89925ca73988..21aa208cc769d2b872dbf1c46cacf1e7ae9d2382 100644 (file)
--- a/src/cmd/compile/internal/types2/testdata/issues.src
+++ b/src/cmd/compile/internal/types2/testdata/issues.src
@@ -363,3 +363,9 @@ func issue35895() {
        // qualify packages with full path name in this case.
        var _ t1.Template = t2 /* ERROR cannot use .* \(value of type "html/template".Template\) as "text/template".Template */ .Template{}
 }
+
+func issue42989(s uint) {
+       var m map[int]string
+       delete(m, 1<<s)
+       delete(m, 1.<<s)
+}

diff --git a/src/go/types/testdata/issues.src b/src/go/types/testdata/issues.src
index db415eadfbf7080eccbbd67b07afdc6a1f7f1953..e2ac06759ba10e5305e9aacf5b7660651e0980e7 100644 (file)
--- a/src/go/types/testdata/issues.src
+++ b/src/go/types/testdata/issues.src
@@ -363,3 +363,9 @@ func issue35895() {
        // qualify packages with full path name in this case.
        var _ t1.Template = t2 /* ERROR cannot use .* \(value of type "html/template".Template\) as "text/template".Template */ .Template{}
 }
+
+func issue42989(s uint) {
+       var m map[int]string
+       delete(m, 1<<s)
+       delete(m, 1.<<s)
+}