1 files changed, 33 insertions, 0 deletions
diff --git a/test/typeparam/issue54225.go b/test/typeparam/issue54225.go
new file mode 100644
index 0000000..4de3efc
--- /dev/null
+++ b/test/typeparam/issue54225.go
@@ -0,0 +1,33 @@
+// run
+
+// Copyright 2022 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() {
+	One[TextValue]()
+}
+
+func One[V Value]() { Two[Node[V]]() }
+
+func Two[V interface{ contentLen() int }]() {
+	var v V
+	v.contentLen()
+}
+
+type Value interface {
+	Len() int
+}
+
+type Node[V Value] struct{}
+
+func (Node[V]) contentLen() int {
+	var value V
+	return value.Len()
+}
+
+type TextValue struct{}
+
+func (TextValue) Len() int { return 0 }