1 files changed, 33 insertions, 0 deletions
diff --git a/test/typeparam/issue48049.go b/test/typeparam/issue48049.go
new file mode 100644
index 0000000..3e87b38
--- /dev/null
+++ b/test/typeparam/issue48049.go
@@ -0,0 +1,33 @@
+// run
+
+// 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 main
+
+func main() {
+	Gooer2[byte]()
+}
+
+type Fooer[T any] interface {
+	Foo(p T)
+}
+
+type fooer1[T any] struct{}
+
+func (fooer1[T]) Foo(T) {}
+
+type fooer2[T any] struct {
+	r []Fooer[T]
+}
+
+//go:noinline
+func (mr fooer2[T]) Foo(p T) {
+	mr.r[0] = fooer1[T]{}
+	return
+}
+
+func Gooer2[T any]() Fooer[T] {
+	return fooer2[T]{}
+}