go/analysis/passes/internal/analysisutil: add a test for generic type
assertions
Change-Id: I5e47a3070c2c91f18134980a3bcd32964f1df1a3
Reviewed-on: https://go-review.googlesource.com/c/tools/+/358616
Trust: Robert Findley <rfindley@google.com>
Run-TryBot: Robert Findley <rfindley@google.com>
gopls-CI: kokoro <noreply+kokoro@google.com>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Tim King <taking@google.com>
diff --git a/go/analysis/passes/internal/analysisutil/util_test.go b/go/analysis/passes/internal/analysisutil/util_test.go
new file mode 100644
index 0000000..2d7e94e
--- /dev/null
+++ b/go/analysis/passes/internal/analysisutil/util_test.go
@@ -0,0 +1,57 @@
+// Copyright 2021 The Go Authors. All rights reserved.
+// Use of this source code is governed by a BSD-style
+// license that can be found in the LICENSE file.
+
+package analysisutil_test
+
+import (
+ "go/ast"
+ "go/parser"
+ "go/token"
+ "go/types"
+ "testing"
+
+ "golang.org/x/tools/go/analysis/passes/internal/analysisutil"
+ "golang.org/x/tools/internal/typeparams"
+)
+
+func TestHasSideEffects(t *testing.T) {
+ if !typeparams.Enabled {
+ t.Skip("type parameters are not enabled")
+ }
+ src := `package p
+
+type T int
+
+type G[P any] int
+
+func _() {
+ var x int
+ _ = T(x)
+ _ = G[int](x)
+}
+`
+ fset := token.NewFileSet()
+ file, err := parser.ParseFile(fset, "p.go", src, 0)
+ if err != nil {
+ t.Fatal(err)
+ }
+ var conf types.Config
+ info := &types.Info{
+ Types: make(map[ast.Expr]types.TypeAndValue),
+ }
+ _, err = conf.Check("", fset, []*ast.File{file}, info)
+ if err != nil {
+ t.Fatal(err)
+ }
+ ast.Inspect(file, func(node ast.Node) bool {
+ call, ok := node.(*ast.CallExpr)
+ if !ok {
+ return true
+ }
+ if got := analysisutil.HasSideEffects(info, call); got != false {
+ t.Errorf("HasSideEffects(%s) = true, want false", types.ExprString(call))
+ }
+ return true
+ })
+}
