1 files changed, 26 insertions, 0 deletions
diff --git a/test/typeparam/issue49516.go b/test/typeparam/issue49516.go
new file mode 100644
index 0000000..11b460d
--- /dev/null
+++ b/test/typeparam/issue49516.go
@@ -0,0 +1,26 @@
+// compile
+
+// 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 p
+
+type Q[T any] struct {
+	s []T
+}
+
+func (q *Q[T]) Push(v ...T) {
+	q.s = append(q.s, v...)
+}
+
+func pushN(push func(*Q[int], ...int), n int) {
+	var q Q[int]
+	for i := 0; i < n; i++ {
+		push(&q, i)
+	}
+}
+
+func f() {
+	pushN((*Q[int]).Push, 100)
+}